Filter Results:
- Full text PDF available (34)
Publication Year
1969
2018
- This year (2)
- Last 5 years (21)
- Last 10 years (45)
Publication Type
Co-author
Journals and Conferences
Learn More
- Cliff B. Jones
- Prentice Hall International Series in Computer…
- 1986
- Cliff B. Jones
- ACM Trans. Program. Lang. Syst.
- 1983
Development methods for (sequential) programs that run in isolation have been studied elsewhere. Programs that run in parallel can interfere with each other, either via shared storage or by sending… (More)
- Cliff B. Jones
- IFIP Congress
- 1983
- Dines Bjørner, Cliff B. Jones
- Lecture Notes in Computer Science
- 1978
Why should wait for some days to get or receive the the vienna development method the meta language book that you order? Why should you take it if you can get the faster one? You can find the same… (More)
- Cliff B. Jones
- 1981
- Cliff B. Jones, K. D. Jones, Peter A. Lindsay, Richard C. Moore
- Springer London
- 1991
syntax In Extended BNF (Backus-Naur Form), the syntax is roughly: Term = Exp | Type Exp = VSymb | CESymb{Exp}{Type} | DESymb VSymb‘:’Type‘·’Exp Type = CTSymb{Exp}{Type} | DTSymb VSymb‘:’Type‘·’Type |… (More)
syntax An abstract syntax de nes the structure of objects. The term was rst used in the description of programming languages where objects which are de ned abstract away from the details of the… (More)
- Howard Barringer, J. H. Cheng, Cliff B. Jones
- Acta Informatica
- 1984
Recursive definition often results in partial functions; iteration gives rise to programs which may fail to terminate for some imputs. Proofs about such functions or programs should be conducted in… (More)
- Joey W. Coleman, Cliff B. Jones
- J. Log. Comput.
- 2007
The challenge of finding compositional ways of (formally) developing concurrent programs is considerable. Various forms of rely/guarantee conditions have been used to record and reason about… (More)
- Cliff B. Jones
- Prentice Hall International Series in Computer…
- 1990