scientific article

zbMath0657.68011MaRDI QIDQ3805880

Kazunori Ueda

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

operational semanticsparallel logic programming languageHorn-clause program

Mathematics Subject Classification ID

Data structures (68P05) Theory of operating systems (68N25) Theory of software (68N99)

Related Items (6)

Bounded quantifications for iteration and concurrency in logic programming ⋮ Making exhaustive search programs deterministic ⋮ Comparative metric semantics for concurrent PROLOG ⋮ Semantic models for concurrent logic languages ⋮ The semantics of the combination of atomized statements and parallel choice ⋮ Locally parallel cache design based on KL1 memory access characteristics

Uses Software

• GHC

This page was built for publication: