A Calculus of Gamma Programs.

Chris Hankin Daniel Le Métayer David Sands

Published in: LCPC (1992)

Keyphrases

provably correct
databases
computer programs
real time
artificial intelligence
image processing
high level
natural language
expressive power
automated deduction
computer algebra