Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming.
Simon FosterFrank ZeydaYakoub NemouchiPedro RibeiroBurkhart WolffPublished in: Arch. Formal Proofs (2019)
Keyphrases
- theoretical framework
- programming language
- design theory
- general theory
- engineering design
- cognitive psychology
- artificial intelligence
- theorem prover
- decision theory
- computer science
- computational models
- causal reasoning
- logical theories
- machine learning
- propositional theories
- mechanical engineering
- systems engineering
- computer aided design
- domain theory
- mathematical models
- general purpose
- object oriented