Computable Models

DOI10.1007/978-1-84882-052-4zbMath1166.68028OpenAlexW4242926226MaRDI QIDQ3528043

Raymond Turner

Publication date: 2 October 2008

Full work available at URL: https://doi.org/10.1007/978-1-84882-052-4

zbMATH Keywords

SpecificationData TypesAxiomatic TheoriesComputer ModellingFormal OntologyProgramming Language Semantics

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Type-theoretic logic with an operational account of intensionality ⋮ Imperatives: a judgemental analysis

This page was built for publication: Computable Models