Search Results - "Security and Protection—Verification. Keywords Program equivalence"

Author manuscript, published in '40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages- POPL'13 (2013) (2013)' Fully Abstract Compilation to JavaScript

Authors: Cédric Fournet Nikhil Swamy Juan Chen et al.

Contributors: Cédric Fournet Nikhil Swamy Juan Chen et al.

Source: http://hal.inria.fr/docs/00/78/08/03/PDF/js-star-popl-2013.pdf.

Subject Terms: Categories and Subject Descriptors D.2.4 [Software / Program Verification, Validation, D.3.4 [Processors, Compilers, D.4.6 [Operating Systems, Security and Protection—Verification. Keywords Program equivalence, full abstraction, refinement types

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.382.3674
http://hal.inria.fr/docs/00/78/08/03/PDF/js-star-popl-2013.pdf

Fully Abstract Compilation to JavaScript

Authors: Cédric Fournet Nikhil Swamy Juan Chen et al.

Contributors: Cédric Fournet Nikhil Swamy Juan Chen et al.

Source: http://research.microsoft.com/en-us/um/people/livshits/papers%5Cpdf%5Cpopl13b.pdf.

Subject Terms: Verification, Validation, D.3.4 [Processors, Compilers, D.4.6 [Operating Systems, Security and Protection—Verification. Keywords Program equivalence, full abstraction, refinement types

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.252.3577
http://research.microsoft.com/en-us/um/people/livshits/papers%5Cpdf%5Cpopl13b.pdf