Bernard Sufrin

Publication Activity (10 Years)

Years Active: 1982-2015
Publications (10 Years): 0

Top Topics

Probabilistic Model

Intelligent Systems

Top Venues

Ada Lovelace Symposium

Publications

Bernard Sufrin
Interpreting dreams of abstract machines. Ada Lovelace Symposium (2015)
Bernard Sufrin
Communicating Scala Objects. CPA (2008)
James Aczel, Pat Fung, Richard Bornat, Martin Oliver, Tim O'Shea, Bernard Sufrin
Software that assists learning within a complex abstract domain: the use of constraint and consequentiality as learning mechanisms. Br. J. Educ. Technol. 34 (5) (2003)
Quentin Miller, Bernard Sufrin
Eclectic CSP: A Language of Concurrent Processes. SAC (2) (2000)
Richard Bornat, Bernard Sufrin
A Minimal Graphical User Interface for the Jape Proof Calculator. Formal Aspects Comput. 11 (3) (1999)
Richard Bornat, Bernard Sufrin
Animating Formal Proof at the Surface: The Jape Proof Calculator. Comput. J. 42 (3) (1999)
James Aczel, Pat Fung, Richard Bornat, Martin Oliver, Tim O'Shea, Bernard Sufrin
Computer science undergraduates learning logic using a proof editor: work in progress. PPIG (1999)
Richard Bornat, Bernard Sufrin
Jape: A Calculator for Animating Proof-on-Paper. CADE (1997)
James J. Leifer, Bernard Sufrin
Deduction for Functional Programmers. J. Funct. Program. 6 (2) (1996)
J. Michael Spivey, Bernard Sufrin
Type Inference in Z. VDM Europe (1990)
Bernard Sufrin
Effective Industrial Application of Formal Methods. IFIP Congress (1989)
J. Michael Spivey, Bernard Sufrin
Type Inference in Z. Z User Workshop (1989)
Bernard Sufrin, Jim Woodcock
Towards the formal specification of a simple programming support environment. Softw. Eng. J. 2 (4) (1987)
C. A. R. Hoare, Ian J. Hayes, Jifeng He, Carroll Morgan, A. W. Roscoe, Jeff W. Sanders, Ib Holm Sørensen, J. Michael Spivey, Bernard Sufrin
Laws of Programming. Commun. ACM 30 (8) (1987)
Carroll Morgan, Bernard Sufrin
Specification of the UNIX Filing System. IEEE Trans. Software Eng. 10 (2) (1984)
Bernard Sufrin
Formal Specification of a Display-Oriented Text Editor. Sci. Comput. Program. 1 (3) (1982)