Login / Signup
Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics.
Steve J. Hodges
Cliff B. Jones
Published in:
Object Orientation with Parallelism and Persistence (1995)
Keyphrases
</>
operational semantics
model theoretic
formal semantics
declarative semantics
agent programming
data model
mental states
denotational semantics
activity diagrams
databases
natural language
logic programming
programming language
object oriented
relational databases
cooperative
artificial intelligence
machine learning