Bernard Sufrin

17 papers A 1Journal 8Unranked 7
YearRankTypeTitle / Venue / Authors
2021 — ch.
Teaching at Belfast and Oxford.
Theories of Programming
Bernard Sufrin
2015 — conf
Interpreting dreams of abstract machines.
Ada Lovelace Symposium
Bernard Sufrin
2008 — conf
Communicating Scala Objects.
CPA
Bernard Sufrin
2003 J jnl
Software that assists learning within a complex abstract domain: the use of constraint and consequentiality as learning mechanisms.
Br. J. Educ. Technol.
James Aczel, Pat Fung, Richard Bornat, Martin Oliver, Tim O'Shea, Bernard Sufrin
2000 — conf
Eclectic CSP: A Language of Concurrent Processes.
SAC (2)
Quentin Miller, Bernard Sufrin
1999 J jnl
A Minimal Graphical User Interface for the Jape Proof Calculator.
Formal Aspects Comput.
Richard Bornat, Bernard Sufrin
1999 J jnl
Animating Formal Proof at the Surface: The Jape Proof Calculator.
Comput. J.
Richard Bornat, Bernard Sufrin
1999 — conf
Computer science undergraduates learning logic using a proof editor: work in progress.
PPIG
James Aczel, Pat Fung, Richard Bornat, Martin Oliver, Tim O'Shea, Bernard Sufrin
1997 A conf
Jape: A Calculator for Animating Proof-on-Paper.
CADE
Richard Bornat, Bernard Sufrin
1996 J jnl
Deduction for Functional Programmers.
J. Funct. Program.
James J. Leifer, Bernard Sufrin
1990 — conf
Type Inference in Z.
VDM Europe
J. Michael Spivey, Bernard Sufrin
1989 — conf
Effective Industrial Application of Formal Methods.
IFIP Congress
Bernard Sufrin
1989 — conf
Type Inference in Z.
Z User Workshop
J. Michael Spivey, Bernard Sufrin
1987 J jnl
Laws of Programming.
Commun. ACM
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
1987 J jnl
Towards the formal specification of a simple programming support environment.
Softw. Eng. J.
Bernard Sufrin, Jim Woodcock
1984 J jnl
Specification of the UNIX Filing System.
IEEE Trans. Software Eng.
Carroll Morgan, Bernard Sufrin
1982 J jnl
Formal Specification of a Display-Oriented Text Editor.
Sci. Comput. Program.
Bernard Sufrin