Semantics, Applications, and Implementation of Program Generation.

Published in: J. Funct. Program. (2003)

Keyphrases

real time
data sets
databases
artificial intelligence
website
web services
formal semantics
specification language
high level programming language
semantic information
efficient implementation
computer programs
implementation details
implementation issues