Combining Analysis and synthesis in the Chuck Programming Language.

Ge Wang Rebecca Fiebrink Perry R. Cook

Published in: ICMC (2007)

Keyphrases

programming language
general purpose
high level
object oriented
programming environment
logic programming
computer programs
object oriented programming
database language
denotational semantics
database
expert systems
software engineering
specification language
data abstraction