Comparative metric semantics for concurrent PROLOG

DOI10.1016/0304-3975(90)90060-UzbMath0702.68077MaRDI QIDQ915474

J. W. de Bakker, Joost N. Kok

Publication date: 1990

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

parallelismconcurrencyConcurrent Prologparallel logic languages

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Artificial intelligence (68T99)

Related Items

Nonwellfounded sets and programming language semantics, Four domains for concurrency, An introduction to metric semantics: Operational and denotational models for programming and specification languages, The semantics of the combination of atomized statements and parallel choice, Unique, guarded fixed points in an additive setting, Comparative semantics for flow of control in logic programming without logic

Uses Software

• GHC

Cites Work

• Solving reflexive domain equations in a category of complete metric spaces
• Comparative semantics for flow of control in logic programming without logic
• Specification-oriented semantics for communicating processes
• Metric semantics for concurrency
• Truly concurrent constraint programming
• PARLOG: parallel programming in logic
• Countable nondeterminism and random assignment
• Operational and denotational semantics of prolog
• Contributions to the Theory of Logic Programming
• Processes and the denotational semantics of concurrency
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item