Programming languages and operational semantics. A concise overview

DOI10.1007/978-1-4471-6368-8zbMath1296.68001OpenAlexW637102270MaRDI QIDQ405750

Maribel Fernández

Publication date: 5 September 2014

Published in: Undergraduate Topics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4471-6368-8

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (1)

Elements for a formal model of intentional systems

Uses Software

• Prolog
• Python

This page was built for publication: Programming languages and operational semantics. A concise overview