Selected papers from the 28th Nordic workshop on programming theory (NWPT'16)

DOI10.1016/j.jlamp.2019.07.002zbMath1431.68008OpenAlexW2968826346MaRDI QIDQ2329446

No author found.

Publication date: 17 October 2019

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2019.07.002

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of software (68Nxx)

Uses Software

• MAC

Cites Work

• A secrecy-preserving language for distributed and object-oriented systems
• To every manifest domain a CSP expression -- a rôle for mereology in computer science
• Virtually timed ambients: a calculus of nested virtualization
• On the metric-based approximate minimization of Markov chains
• Demand-driven interprocedural analysis for map-based abstract domains
• Multilevel coupled model transformations for precise and reusable definition of model behaviour

This page was built for publication: Selected papers from the 28th Nordic workshop on programming theory (NWPT'16)