Safe adaptation through implicit effect coercion

DOI10.1007/978-3-319-25527-9_10MaRDI QIDQ3460866zbMATH OpenOpenAlexFDO

Authors Letterio Galletta, Gianluca Mezzetti, D. Basile

Publication date 8 January 2016

Published in Programming Languages with Applications to Biology and Security (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-25527-9_10

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• Linguistic mechanisms for context-aware security
• Adaptive functional programming
• A sound type system for layer subtyping and dynamically activated first-class layers
• A new approach to compiling adaptive programs
• scientific article; zbMATH DE number 2100549

Cites work

• A theory of typed coercions and its applications
• Linguistic mechanisms for context-aware security
• Types and Effects for Resource Usage Analysis
• Types and trace effects of higher order programs

Cited in

(2)

• Linguistic mechanisms for context-aware security
• A sound type system for layer subtyping and dynamically activated first-class layers

Describes a project that uses

Uses Software

• JCop
• ContextFJ
• Featherweight Java

This page was built for publication: Safe adaptation through implicit effect coercion

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