From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics.
Pietro CenciarelliAlexander KnappBernhard ReusMartin WirsingPublished in: AMAST (1997)
Keyphrases
- multi threaded
- operational semantics
- java programs
- multi core processors
- formal semantics
- operating system
- multithreading
- information flow
- mental states
- computer architecture
- real time
- databases
- parallel computing
- highly efficient
- distributed systems
- computational intelligence
- knowledge representation
- data model
- high level