Term rewriting and beyond — theorem proving in Isabelle

JOURNAL ARTICLE published March 1989 in Formal Aspects of Computing

Authors: Tobias Nipkow

Meta-interpreters and partial evaluation in Parlog

JOURNAL ARTICLE published March 1989 in Formal Aspects of Computing

Authors: Matthew Huntbach

Issues in the design of a parallel object-oriented language

JOURNAL ARTICLE published March 1989 in Formal Aspects of Computing

Authors: Pierre America

Modelling multiple inheritance with colimits

JOURNAL ARTICLE published March 1990 in Formal Aspects of Computing

Authors: Huimin Lin | Man-Chi Pong

Defining, analysing and implementing communication protocols using attribute grammars

JOURNAL ARTICLE published March 1990 in Formal Aspects of Computing

Authors: N. P. Chapman

Finite Integer Computations: An Algebraic Foundation for Their Correctness

JOURNAL ARTICLE published June 2006 in Formal Aspects of Computing

Authors: Sabine Glesner

Predicate transformers as power operations

JOURNAL ARTICLE published March 1995 in Formal Aspects of Computing

Authors: I. Rewitzky | C. Brink

Asynchronous communication model based on linear logic

JOURNAL ARTICLE published March 1995 in Formal Aspects of Computing

Authors: Naoki Kobayashi | Akinori Yonezawa

Correct translation of data parallel assignment onto array processors

JOURNAL ARTICLE published July 1994 in Formal Aspects of Computing

Authors: J. P. Wray | A. Stewart

Unification: A case-study in data refinement

JOURNAL ARTICLE published March 1995 in Formal Aspects of Computing

Authors: J. M. Spivey

Editorial

JOURNAL ARTICLE published March 1994 in Formal Aspects of Computing

Authors: Cliff Jones

The completeness of functional logic

JOURNAL ARTICLE published January 1994 in Formal Aspects of Computing

Authors: Peter Nickolas

Parallelization of divide-and-conquer in the Bird-Meertens formalism

JOURNAL ARTICLE published November 1995 in Formal Aspects of Computing

Authors: Sergei Gorlatch | Christian Lengauer

Specifying distributed CICS in Z: Accessing local and remote resources

JOURNAL ARTICLE published September 1994 in Formal Aspects of Computing

Authors: Iain S. C. Houston | Mark B. Josephs

Computable processes and bisimulation equivalence

JOURNAL ARTICLE published November 1996 in Formal Aspects of Computing

Authors: Alban Ponse

A fully abstract semantics of classes for Object-Z

JOURNAL ARTICLE published May 1995 in Formal Aspects of Computing

Authors: Graeme Smith

Editorial

JOURNAL ARTICLE published September 1993 in Formal Aspects of Computing

Authors: Cliff Jones | John Cooke

Reasoning about Prolog programs: From modes through types to assertions

JOURNAL ARTICLE published November 1994 in Formal Aspects of Computing

Authors: Krzysztof R. Apt | Elena Marchiori

Forthcoming events

JOURNAL ARTICLE published July 1993 in Formal Aspects of Computing

Book review

JOURNAL ARTICLE published November 1992 in Formal Aspects of Computing

Authors: Heinrich Hussmann