A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language.

Published in: Computational Logic: Logic Programming and Beyond (2002)

Keyphrases

constraint language
integrity constraints
object oriented
constraint networks
modeling language
programming language
uml diagrams
metamodel
production system
process model
open source
temporal reasoning
databases
artificial intelligence
computational complexity
software engineering