Mechanising a Type-Safe Model of Multithreaded Java with a Verified Compiler.
Andreas LochbihlerPublished in: J. Autom. Reason. (2018)
Keyphrases
- mathematical model
- experimental data
- conceptual model
- object oriented
- programming language
- high level
- network structure
- probability distribution
- statistical model
- computational model
- metamodel
- theoretical analysis
- general purpose
- software engineering
- probabilistic model
- cost function
- prior knowledge
- artificial neural networks