The Derivation of Compositional Programs.

K. Mani Chandy Carl Kesselman

Published in: JICSLP (1992)

Keyphrases

computer programs
machine learning
three dimensional
stable models
expert systems
relational databases
object oriented
programming language
answer sets
fixpoint
provably correct
functional programs