New

DOI10.1016/J.ENTCS.2012.08.003MaRDI QIDQ3178271zbMATH OpenOpenAlexWikidataFDO

Authors Dexter Kozen

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

zbMATH Keywords

functional programmingimperative programmingindiscerniblesobject-oriented programmingoperational semantics

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 4047058
• Objects, interference, and the Yoneda embedding
• scientific article; zbMATH DE number 4049008
• scientific article; zbMATH DE number 1231473
• Inter-deriving semantic artifacts for object-oriented programming

Cites work

• A new approach to abstract syntax with variable binding
• A relational modal logic for higher-order stateful ADTs
• Capsules and closures
• Capsules and separation
• Computing with capsules
• Fast congruence closure and extensions
• scientific article; zbMATH DE number 1105469 (Why is no real title available?)
• Just do it
• Nominal (universal) algebra: equational logic with names and binding
• Operational reasoning for functions with local state
• Realization of coinductive types
• Small bisimulations for reasoning about higher-order imperative programs
• State-dependent representation independence
• Testing the equivalence of regular languages
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The marriage of bisimulations and Kripke logical relations
• Types and programing languages

Cited in

(3)

• New stellations
• The new dinv is not so new
• Inter-deriving Semantic Artifacts for Object-Oriented Programming

Describes a project that uses

Uses Software

• Eiffel

This page was built for publication: New

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