نتائج البحث

The Next 700 Program Transformers

• Authors : Hamilton, Geoffrey

Subjects: Computer Science - Programming Languages; D.3.4; I.2.2

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

Secure Information Flow Connections

• Authors : Bhardwaj, Chandrika; Prasad, Sanjiva

Subjects: Computer Science - Cryptography and Security; Computer Science - Logic in Computer Science; Computer Science - Programming Languages

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

Language Support for Adaptation: Intent-Driven Programming in FAST

• Authors : Yang, Yao-Hsiang; Duracz, Adam; Bartha, Ferenc A.

Subjects: Computer Science - Programming Languages; D.3.3; I.2.2

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

Only Connect, Securely

• Authors : Bhardwaj, Chandrika; Prasad, Sanjiva

Subjects: Computer Science - Cryptography and Security; Computer Science - Logic in Computer Science; Computer Science - Programming Languages

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

Termination of canonical context-sensitive rewriting and productivity of rewrite systems

• Authors : Lucas, Salvador

Subjects: Computer Science - Programming Languages; Computer Science - Logic in Computer Science; F.3.2

• Source: EPTCS 200, 2015, pp. 18-31

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

Data-flow Analysis of Programs with Associative Arrays

• Authors : Hauzar, David; Kofroň, Jan; Baštecký, Pavel

Subjects: Computer Science - Software Engineering; Computer Science - Programming Languages; D.2.4

• Source: EPTCS 150, 2014, pp. 56-70

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

Inference of Field-Sensitive Reachability and Cyclicity

• Authors : Zanardini, Damiano; Genaim, Samir

Subjects: Computer Science - Programming Languages; D.2.4; F.3.1

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

From Syntactic Theories to Interpreters: A Specification Language and Its Compilation

• Authors : Xiao, Yong; Ariola, Zena M.; Mauny, Michel

Subjects: Computer Science - Programming Languages; Computer Science - Software Engineering; D.2.1

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

Verifying Temporal Properties of Reactive Systems by Transformation

• Authors : Hamilton, Geoff

Subjects: Computer Science - Logic in Computer Science; Computer Science - Programming Languages; I.2.2

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

Optimal abstraction on real-valued programs

• Authors : Monniaux, David;

Subjects: quantifier elimination; real closed fields; static analysisKongens Lyngby; Denmark

• Source: Static Analysis ; 14th International Static Analysis Symposium (SAS 2007) ; https://hal.archives-ouvertes.fr/hal-00148608 ; 14th International Static Analysis Symposium (SAS 2007), 2007, Kongens

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