Search alternatives:
coder implementation » code implementation (Expand search), decoder implementation (Expand search), model implementation (Expand search)
theories programming » theory programming (Expand search), the reprogramming (Expand search), phones programming (Expand search)
coding pythons » codigo python (Expand search), coding methods (Expand search)
pythons python » python python (Expand search), pitons python (Expand search), piton python (Expand search)
python coding » action coding (Expand search), python code (Expand search)
coder implementation » code implementation (Expand search), decoder implementation (Expand search), model implementation (Expand search)
theories programming » theory programming (Expand search), the reprogramming (Expand search), phones programming (Expand search)
coding pythons » codigo python (Expand search), coding methods (Expand search)
pythons python » python python (Expand search), pitons python (Expand search), piton python (Expand search)
python coding » action coding (Expand search), python code (Expand search)
1
“... Denotational Semantics of Circus in the Unifying Theories of Programming (UTP), that is a framework that allows...”
Access document
Access document
Doctoral thesis
2
3
4
“... implementation of computer programming languages. This work describes a formalization effort, using the Coq proof...”
Access document
Access document
Doctoral thesis
5
6
7