Program Proving-Expression Languages.

Published in: IFIP Congress (1977)

Keyphrases

computer programs
expressive power
language independent
real time
relational databases
program execution
database
website
text summarization
programming environment
multi lingual