Search Results - "Language Classifications— constraint and logic languages General Terms Languages"

ActionScript bytecode verification with co-logic programming

Authors: Brian W. Devries Gopal Gupta Kevin W. Hamlen et al.

Contributors: Brian W. Devries Gopal Gupta Kevin W. Hamlen et al.

Source: http://www.utdallas.edu/~kxh060100/plas09-devries.pdf.

Subject Terms: Categories and Subject Descriptors D.2.4 [Programming Languages, Software/Program Verification, D.4.6 [Operating Systems, Security and Protection—access controls, D.3.2 [Programming Languages, Language Classifications— constraint and logic languages General Terms Languages, Security Keywords ActionScript, Verification, Coinductive Logic Programming, Model Checking, In-lined Reference Monitoring

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.376.2643

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.376.2643
http://www.utdallas.edu/~kxh060100/plas09-devries.pdf