scientific article; zbMATH DE number 5042669

MaRDI QIDQ5480165zbMATH OpenFDO

Authors Dag Björklund, Johan Lilius

Publication date 26 July 2006

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• Realizability models for BLL-like languages
• Toward formal development of programs from algebraic specifications: model-theoretic foundations
• Rialto 2.0: A language for heterogeneous computations
• Formal languages and computation. Models and their applications
• Models for the computational \(\lambda\)-calculus
• Concrete abstractions. Formalizing and analyzing discrete theories and algorithms with the RISCAL model checker
• Formal models for some features of programming languages
• A formal model for a hybrid programming language

Cited in

(1)

• Rialto 2.0: A language for heterogeneous computations

This page was built for publication:

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