A view of programming languages as symbiosis of meaning and computations

DOI10.1007/BF03037116zbMath0598.68009MaRDI QIDQ1079942

Paul J. Voda

Publication date: 1985

Published in: New Generation Computing (Search for Journal in Brave)

zbMATH Keywords

predicate logicfirst order theoryformal theoriesdeadlocks and termination of programsFunction and logic programming languagesoperational semantics of programming languages

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Related Items (2)

Computation of full logic programs using one-variable environments ⋮ A logical semantics for depth-first Prolog with ground negation

Cites Work

• Term logic with choice operator. Revised and Enlarged Translation of the first German Edition
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A view of programming languages as symbiosis of meaning and computations