The Operational Semantics of a Java Secure Processor.
Pieter H. HartelMichael J. ButlerMoshe LevyPublished in: Formal Syntax and Semantics of Java (1999)
Keyphrases
- operational semantics
- lightweight
- formal semantics
- object oriented
- denotational semantics
- model theoretic
- mobile agent system
- programming language
- mental states
- data model
- open source
- source code
- agent programming
- activity diagrams
- multithreading
- security requirements
- speech acts
- logic programs
- knowledge representation