Bernard Sufrin

According to our database, Bernard Sufrin authored at least 16 papers between 1982 and 2021.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2021

Teaching at Belfast and Oxford.

Bernard Sufrin

Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021

2015

Interpreting dreams of abstract machines.

Bernard Sufrin

Proceedings of the Ada Lovelace Symposium 2015, 2015

2008

Communicating Scala Objects.

Bernard Sufrin

Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

2003

Software that assists learning within a complex abstract domain: the use of constraint and consequentiality as learning mechanisms.

James Aczel, Pat Fung, Richard Bornat, Martin Oliver, Tim O'Shea, Bernard Sufrin

Br. J. Educ. Technol., 2003

2000

Eclectic CSP: A Language of Concurrent Processes.

Quentin Miller, Bernard Sufrin

Proceedings of the Applied Computing 2000, 2000

1999

A Minimal Graphical User Interface for the Jape Proof Calculator.

Richard Bornat, Bernard Sufrin

Formal Aspects Comput., 1999

Animating Formal Proof at the Surface: The Jape Proof Calculator.

Richard Bornat, Bernard Sufrin

Comput. J., 1999

Computer science undergraduates learning logic using a proof editor: work in progress.

James Aczel, Pat Fung, Richard Bornat, Martin Oliver, Tim O'Shea, Bernard Sufrin

Proceedings of the 11th Annual Workshop of the Psychology of Programming Interest Group, 1999

1997

Jape: A Calculator for Animating Proof-on-Paper.

Richard Bornat, Bernard Sufrin

Proceedings of the Automated Deduction, 1997

1996

Deduction for Functional Programmers.

James J. Leifer, Bernard Sufrin

J. Funct. Program., 1996

1990

Type Inference in Z.

J. Michael Spivey, Bernard Sufrin

Proceedings of the VDM '90, 1990

1989

Effective Industrial Application of Formal Methods.

Bernard Sufrin

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1987

Towards the formal specification of a simple programming support environment.

Bernard Sufrin, Jim Woodcock

Softw. Eng. J., 1987

Laws of Programming.

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

Commun. ACM, 1987

1984

Specification of the UNIX Filing System.

Carroll Morgan, Bernard Sufrin

IEEE Trans. Software Eng., 1984

1982

Formal Specification of a Display-Oriented Text Editor.

Bernard Sufrin

Sci. Comput. Program., 1982