Axiomatics for Data Refinement in Call by Value Programming Languages.

John Power Miki Tanaka

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

programming language
object oriented
database
data processing
software engineering
program code
high level
data structure
general purpose
databases
query processing
data sources
higher order
logic programming