A fibrational framework for possible-world semantics of Algol-like languages.

Claudio Hermida Robert D. Tennent

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

Keyphrases

theoretical framework
framework enables
main contribution
real time
neural network
programming language
computational model
key features
databases
search algorithm
evolutionary algorithm
expressive power
conceptual framework
language independent