GHC
From MaRDI portal
GHC Q35532
Cited in
(64)- The semantics of the combination of atomized statements and parallel choice
- Contributions to the semantics of logic perpetual processes
- Semantic models for concurrent logic languages
- An execution model for exploiting AND-parallelism in logic programs
- Flat Parlog: A basis for comparison
- An abstract machine for the implementation of PARLOG on uniprocessors
- Unfolding rules for GHC programs
- Bounded quantifications for iteration and concurrency in logic programming
- A parallel parsing system for natural language analysis
- An algebraic semantics for structured transition systems and its application to logic programs
- Constraint-based concurrency and beyond
- An integrated framework for the diagnosis and correction of rule-based programs
- scientific article; zbMATH DE number 4074449 (Why is no real title available?)
- scientific article; zbMATH DE number 2242583 (Why is no real title available?)
- MLOG
- HYPROLOG
- KLIC
- DASWAM
- clpfd
- CDAOstore
- wamcc
- LMNtal
- PhyloWS
- Kima
- Kernel-LEAF
- Janus
- Multilisp
- TeaBag
- WebPIE
- OPTYap
- YapOr
- PARLOG
- April
- LPaaS
- HaLoop
- tccp
- Yedalog
- DiSCiPl
- SWISH DataLab
- 2P-Kt
- tuProlog
- Real number computation with committed choice logic programming languages
- MLOG: A strongly typed confluent functional language with logical variables
- TCC, with history
- Locally parallel cache design based on KL1 memory access characteristics
- scientific article; zbMATH DE number 1497827 (Why is no real title available?)
- Unfolding and fixpoint semantics of concurrent constraint logic programs
- VeriFly
- A canonical form for generalized linear constraints
- Models and emerging trends of concurrent constraint programming
- Transforming generate-and-test programs to execute under committed-choice AND-parallelism
- Kima: An automated error correction system for concurrent logic programs
- Making exhaustive search programs deterministic
- A declarative semantics of flat guarded Horn clauses for programs with perpetual processes
- Finite failures and partial computations in concurrent logic languages
- The implementation of a distributed model for logic programming based on multiple-headed clauses
- Compiling OR-parallelism into AND-parallelism
- P-Prolog: A parallel logic language based on exclusive relation
- scientific article; zbMATH DE number 4092730 (Why is no real title available?)
- scientific article; zbMATH DE number 1926605 (Why is no real title available?)
- Specification and initialization of a logic computer system
- Comparative metric semantics for concurrent PROLOG
- CUD@SAT
- Control and data driven execution of logic programs: A comparison
This page was built for software: GHC
