- 2009-7-28 0 Cameras Everywhere
- 2005-9-7 p. 235 precedence of moved from level 12 to level 2 2005-9-15 p.235 change "means" to "means the same as" 3 times.
- Probabilistic Predicative Programming Eric C.R. Hehner
- FUNCTION THEORY v: D b "map v in D to b "
- Specifications, Programs, and Total Correctness Eric C.R. Hehner
- Interaction shared variables
- Programming 2011-1-3 edition
- Retrospective and Prospective for Unifying Theories of Programming
- Programming Telepathy: Implementing Quantum Non-locality Games
- Eric Hehner University of Toronto
- Refinement Semantics and Loop Rules Eric C.R. Hehner1, Andrew M. Gravell2
- Data-Stack Theory syntax: stack empty push pop top
- 2005-10-10 0 Specified Blocks
- Roadmap for Enhanced Languages and Methods to Aid Verification
- Independent Composition Dependent Composition P.Q (sequential execution)
- INTERACTION var a: T S = a, a: T S boundary variable
- BOOLEAN THEORY boolean expressions
- Problems with the Halting Problem Eric C.R. Hehner
- What's Wrong With Formal Programming Methods? Eric C.R. Hehner
- Variable Declaration var x: T P = x, x: T P
- Money and Taxes Eric Hehner
- 2009-8-18 0 Insurance and Gambling
- Your Workshop Name Programming with Quantum Communication
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- Quantum Predicative Programming Anya Tafliovich and E.C.R. Hehner
- From: Daddy Date: 2004 February 19
- High-level circuit design Eric C.R. Hehner, Theodore S. Norvell,
- Variables and Scopes Considered Formally Eric C.R. Hehner
- Formal Aspects of Computing (1999) 0: 000000 1999 BCS Formal Aspects
- 1996 February 7 0 Abstractions of Time
- 2006-3-24 1 Relational Arithmetic
- Beautifying Gdel Eric C.R. Hehner
- applications communication protocols
- boolean expressions: represent anything that comes in two kinds represent statements about the world (natural or constructed, real or imaginary)
- Recursive Data Definition example: nat
- Data-Stack Theory stack all stacks of items of type X
- 9 Interaction We have been describing computation according to the initial values and final values of state
- Quantifier Use Yannis Kassios
- Programming Theory Basics Yannis Kassios
- BUNCH THEORY Bunches can be used to represent collections.
- RECURSIVE DATA DEFINITION construction
- Dependent Composition P.Q (sequential execution) P and Q must have exactly the same state variables
- Unified Algebra Eric C. R. Hehner
- 5 Programming Language We have been using a very simple programming language consisting of only ok , assignment,
- a Probability Perspective Eric C.R. Hehner
- PROGRAM THEORY state space (memory) [int; (0,..20); char; rat]
- Bunches for Object-Oriented, Concurrent, and Real-Time Specification
- Function Theory v: D b "map v in D to b "
- Variable Declaration var x: T P declare local state variable x with type T and scope P
- Boolean Formalism and Explanations Eric C. R. Hehner
- program2circuit ERIC C.R. HEHNER
- bunch unpackaged unindexed set packaged unindexed
- from Boolean Algebra to Unified Algebra
- A NEW REPRESENTATION OF THE RATIONAL NUMBERS FOR FAST EASY ARITHMETIC
- Formal Proof Yannis Kassios
- the Netty Project Eric Hehner, Robert Will, Lev Naiman, David Kordalewski
- Information Content of Programs and Operation Encoding ERIC C. R. HEHNER
- 0.0 Introduction What good is a theory of programming? Who wants one? Thousands of programmers program
- Formalism and the Variable (work in regress)
- Specification state space memory int; (0,..20); char; rat
- Theories, Implementations, and Transformations
- Programming Telepathy: Implementing Quantum Non-locality Games
- Netty: A Prover's Assistant Eric Hehner and Lev Naiman
- 2011-11-15 0 the Gambler and the Mathematician
- Anti Counterfactuals Eric C.R. Hehner
- Embelleciendo a Godel Eric C.R. Hehner -Universidad de Toronto