scientific article; zbMATH DE number 4050951

MaRDI QIDQ3787443zbMATH OpenFDO

Authors Joost N. Kok

Publication date 1988

zbMATH Keywords

Concurrent logic languagesConcurrent Prologdeadlockdomain equationgoal statementinfinite computationssemanticstree like structures

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Compositional operational semantics for Prolog programs
• scientific article; zbMATH DE number 3958700
• Compositional Semantics for the Procedural Interpretation of Logic
• A compositional semantics for logic programs
• Compositional reasoning for shared-variable concurrent programs
• Publication:4721627
• A structured alternative to Prolog with simple compositional semantics
• scientific article; zbMATH DE number 1113818
• A concurrent operational semantics for constraint functional logic programming
• Comparative metric semantics for concurrent PROLOG

Cited in

(11)

• Bounded-wait merge in Shapiro's concurrent Prolog
• Semantic models for concurrent logic languages
• Four domains for concurrency
• A structured alternative to Prolog with simple compositional semantics
• scientific article; zbMATH DE number 3951990 (Why is no real title available?)
• Lock-free atom garbage collection for multithreaded Prolog
• scientific article; zbMATH DE number 1407676 (Why is no real title available?)
• Logic Programming
• Comparative semantics for flow of control in logic programming without logic
• Comparative metric semantics for concurrent PROLOG
• Finite failures and partial computations in concurrent logic languages

This page was built for publication:

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