Partial evaluation and non-interference for object calculi

DOI10.1007/10705424_4MaRDI QIDQ2766771zbMATH OpenFDO

Authors Gilles Barthe, Bernard Paul Serpette

Publication date 22 July 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10705424_4

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• On Normalization by Evaluation for Object Calculi
• Partial evaluation, self-application and types
• A semantic account of type-directed partial evaluation
• scientific article; zbMATH DE number 1231588
• Operational equivalences for untyped and polymorphic object calculi

Cited in

(2)

• Information Flow Control-by-Construction for an Object-Oriented Language
• Security types preserving compilation

This page was built for publication: Partial evaluation and non-interference for object calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2766771)