Comparative metric semantics for concurrent PROLOG

DOI10.1016/0304-3975(90)90060-UMaRDI QIDQ915474zbMATH OpenFDO

Authors J. W. de Bakker, Joost N. Kok

Publication date 1990

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

Full work available at URL https://doi.org/10.1016/0304-3975(90)90060-U

zbMATH Keywords

concurrencyConcurrent Prologparallel logic languagesparallelism

Mathematics Subject Classification ID

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

Recommendations

• Semantic models for concurrent logic languages
• scientific article; zbMATH DE number 4050951
• Comparative semantics for prolog with cut
• scientific article; zbMATH DE number 17699
• Semantic Correctness for a Parallel Object-Oriented Language

Cites work

• Comparative semantics for flow of control in logic programming without logic
• Contributions to the Theory of Logic Programming
• Countable nondeterminism and random assignment
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 4215379 (Why is no real title available?)
• scientific article; zbMATH DE number 3808928 (Why is no real title available?)
• scientific article; zbMATH DE number 3958700 (Why is no real title available?)
• scientific article; zbMATH DE number 4050951 (Why is no real title available?)
• scientific article; zbMATH DE number 4060684 (Why is no real title available?)
• scientific article; zbMATH DE number 4074449 (Why is no real title available?)
• scientific article; zbMATH DE number 3716749 (Why is no real title available?)
• scientific article; zbMATH DE number 17798 (Why is no real title available?)
• scientific article; zbMATH DE number 41233 (Why is no real title available?)
• scientific article; zbMATH DE number 3581219 (Why is no real title available?)
• scientific article; zbMATH DE number 1980915 (Why is no real title available?)
• scientific article; zbMATH DE number 4119659 (Why is no real title available?)
• Metric semantics for concurrency
• Operational and denotational semantics of prolog
• PARLOG: parallel programming in logic
• Processes and the denotational semantics of concurrency
• Solving reflexive domain equations in a category of complete metric spaces
• Specification-oriented semantics for communicating processes
• Truly concurrent constraint programming

Cited in

(14)

• Metric semantics for concurrency
• Semantic models for concurrent logic languages
• Four domains for concurrency
• The semantics of the combination of atomized statements and parallel choice
• Rendez-vous with metric semantics
• Unique, guarded fixed points in an additive setting: extended abstract
• Induction on concurrent terms
• scientific article; zbMATH DE number 4050951 (Why is no real title available?)
• scientific article; zbMATH DE number 1107487 (Why is no real title available?)
• scientific article; zbMATH DE number 4119659 (Why is no real title available?)
• scientific article; zbMATH DE number 1407676 (Why is no real title available?)
• An introduction to metric semantics: Operational and denotational models for programming and specification languages
• Nonwellfounded sets and programming language semantics
• Comparative semantics for flow of control in logic programming without logic

Describes a project that uses

Uses Software

• GHC

This page was built for publication: Comparative metric semantics for concurrent PROLOG

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q915474)