scientific article; zbMATH DE number 5042669

zbMATH Open1096.68669MaRDI QIDQ5480165FDOQ5480165

Authors: Dag Björklund, Johan Lilius 

Publication date: 26 July 2006

Title of this publication is not available (Why is that?)

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

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)

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)