Type theory and rewriting theory for expressive, efficient and reliable programming languages.

Published in: ACM SIGSOFT Softw. Eng. Notes (2000)

Keyphrases

programming language
object oriented
general purpose
artificial intelligence
software engineering
relational databases
database management systems
object oriented databases
programming environment
specification language