Full Abstraction for Idealized Algol with Passive Expressions.

Samson Abramsky Guy McCusker

Published in: Theor. Comput. Sci. (1999)

Keyphrases

programming language
high level
facial expressions
data abstraction
image processing
natural language
data sets
real world
special case
mathematical expressions
object oriented concepts
mobile devices
low cost
rewrite rules