Computer Science Logic

DOI10.1007/B13224zbMath1116.03323OpenAlexW2623947920MaRDI QIDQ5292665

Kess F. M. Vermeulen

Publication date: 21 June 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b13224

zbMATH Keywords

denotational semanticsdeclarative programmingexpressivity of programming languages

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Computer Science Logic