Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Formalizing quality rules on music notation. An ontology-based approach

Subjects: [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]Coruna; Spain

  • Source: International Conference on Technologies for Music Notation and Representation - TENOR'17 ; https://hal.science/hal-02475753 ; International Conference on Technologies for Music Notation and

تفاصيل العنوان

×
Academic Journal

Improving static analyses of C programs with conditional predicates

Subjects: Static analysis; Abstract interpretation; Dataflow analysis

  • Source: ISSN: 0167-6423 ; Science of Computer Programming ; https://inria.hal.science/hal-01242077 ; Science of Computer Programming, 2016, 118, ⟨10.1145/2854065.2854082⟩.

تفاصيل العنوان

×
  • 1-7 ل  7 نتائج ل ""Collections""