Login / Signup
Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming.
Sanjiva Prasad
Alessandro Giacalone
Prateek Mishra
Published in:
ICALP (1990)
Keyphrases
</>
functional programming
functional language
programming language
execution model
quantifier elimination
logic programming
object oriented programming
formal semantics
data integration
database systems
general purpose