Cork, Ireland. 2nd - 3rd July 1998

Full Synopsis and Sponsors are not available for this conference.

This conference was edited by:

Dr. Andrew Butterfield (TCD)
Dr. Sharon Flynn (NUI, Galway)

Browse the papers below.

Motivation for a New Semantics for Vagueness
M.A. Changizi

Formal Engineering of the Bitonic Sort Using PVS
R. Couturier

Declarative View of Imperative Programs
H. Gibbons

Teaching Formal Methods: Lessons To Learn
P. Gibson & D. Méry

Applications of the TAMPR Transformation System
T.J. Harmer & P.J. McParland

Towards an Override in Topoi
A. Hughes

A Case Study on Proving Transformations Correct: Data-Parallel Conversion
S. Fitzpatrick, M. Clint & P. Kilpatrick

An Unbounded Nondeterministic Model for CSP-like Languages
L.Lai

Translating Structured Database Schemas into Abstract Machines
B. Matthews & E. Locuratolo

Mathematics for Formal Methods, a Proposal for Education Reform
M. Mac an Airchinnigh

Facilitating Modular Property-Preserving Extensions of Programming Languages
C. Pahl

Strictly Level-Decreasing Logic Programs
A.K. Seda & P. Hitzler

A Use Case Interpretation of B AMN
R. Shore