The following pages link to (Q4288282):
Displaying 3 items.
- Paragon: a language using type hierarchies for the specification, implementation and selection of abstract data types (Q761792) (← links)
- An operational formal definition of PROLOG: A specification method and its application (Q1186100) (← links)
- Algebraic computational models of OR-parallel execution of Prolog (Q1920217) (← links)