The following pages link to GHC (Q35532):
Displaying 35 items.
- A parallel parsing system for natural language analysis (Q580997) (← links)
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- Locally parallel cache design based on KL1 memory access characteristics (Q756397) (← links)
- Transforming generate-and-test programs to execute under committed-choice AND-parallelism (Q914360) (← links)
- Comparative metric semantics for concurrent PROLOG (Q915474) (← links)
- Finite failures and partial computations in concurrent logic languages (Q915476) (← links)
- A declarative semantics of flat guarded Horn clauses for programs with perpetual processes (Q915481) (← links)
- Specification and initialization of a logic computer system (Q1076506) (← links)
- Control and data driven execution of logic programs: A comparison (Q1083186) (← links)
- Making exhaustive search programs deterministic (Q1094889) (← links)
- An execution model for exploiting AND-parallelism in logic programs (Q1098621) (← links)
- Flat Parlog: A basis for comparison (Q1099945) (← links)
- Unfolding rules for GHC programs (Q1108817) (← links)
- Contributions to the semantics of logic perpetual processes (Q1113661) (← links)
- An abstract machine for the implementation of PARLOG on uniprocessors (Q1115584) (← links)
- Semantic models for concurrent logic languages (Q1177921) (← links)
- A canonical form for generalized linear constraints (Q1186697) (← links)
- The implementation of a distributed model for logic programming based on multiple-headed clauses (Q1198092) (← links)
- An algebraic semantics for structured transition systems and its application to logic programs (Q1199528) (← links)
- Unfolding and fixpoint semantics of concurrent constraint logic programs (Q1200981) (← links)
- The semantics of the combination of atomized statements and parallel choice (Q1267037) (← links)
- MLOG: A strongly typed confluent functional language with logical variables (Q1314424) (← links)
- Bounded quantifications for iteration and concurrency in logic programming (Q1326573) (← links)
- Real number computation with committed choice logic programming languages (Q1779564) (← links)
- P-Prolog: A parallel logic language based on exclusive relation (Q1819929) (← links)
- Compiling OR-parallelism into AND-parallelism (Q1819930) (← links)
- Kima: An automated error correction system for concurrent logic programs (Q1857277) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- (Q3805880) (← links)
- (Q3819962) (← links)
- (Q4499249) (← links)
- (Q4707737) (← links)
- Constraint-Based Concurrency and Beyond (Q5262978) (← links)
- TCC, with History (Q5418978) (← links)
- (Q5714436) (← links)
