Unifying Theories of Programming

#	Item
1	Unifying Theories of Programming with Monads Jeremy Gibbons UTP 2012, Aug 2012 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-28 02:47:30 Higher-order functions Functional programming Adjoint functors Fold Recursion Programming paradigms Map Monad Unification Software engineering Declarative programming Computing
2	Formal Derivation of State-Rich Reactive Programs using Circus Marcel Vin´ıcius Medeiros Oliveira Submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2014-11-17 14:56:11 Computer science Logic in computer science Formal methods Programming language semantics Denotational semantics JCSP Circus Refinement calculus Unifying Theories of Programming Theoretical computer science Computing Concurrent computing
3	Grant Agreement: [removed]Comprehensive Modelling for Advanced Systems of Systems CML Definition 3 – Denotational Semantics Deliverable Number: D23.4a Version: 0.7 Add to Reading List Source URL: www.compass-research.eu Language: English - Date: 2014-01-16 05:35:54 Programming language semantics Logic in computer science Models of computation Formal methods Denotational semantics Unifying Theories of Programming Hoare logic Semantics Operational semantics Theoretical computer science Computer science Applied mathematics