New
DOI10.1016/j.entcs.2012.08.003zbMath1342.68090OpenAlexW4241627427WikidataQ113318091 ScholiaQ113318091MaRDI QIDQ3178271
Publication date: 8 July 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2012.08.003
operational semanticsobject-oriented programmingfunctional programmingindiscerniblesimperative programming
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
Cites Work
- A new approach to abstract syntax with variable binding
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Fast congruence closure and extensions
- The marriage of bisimulations and Kripke logical relations
- Capsules and Separation
- Computing with Capsules
- Nominal (Universal) Algebra: Equational Logic with Names and Binding
- Just do it
- A relational modal logic for higher-order stateful ADTs
- State-dependent representation independence
- Small bisimulations for reasoning about higher-order imperative programs
- Capsules and Closures
- Realization of Coinductive Types
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: New