A Denotational Model for the Integration of Concurrent, Functional, and Imperative Programming.

Dominique Bolignano Mourad Debbabi

Published in: ICCI (1993)

Keyphrases

probabilistic model
computational model
cost function
mathematical model
high level
prior knowledge
database
website
formal model