2. IWFM 1998: Cork, Ireland

Sharon Flynn, Andrew Butterfield (Eds.): 2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998. Workshops in Computing BCS 1998 BibTeX

Brian Matthews, Elvira Locuratolo: Translating Structured Database Schemas into Abstract Machines. BibTeX
Raphaël Couturier: Formal Engineering of the Bitonic Sort using PVS. BibTeX
Terence J. Harmer, Patrick J. McParland, James M. Boyle: Applications of the TAMPR Transformation System. BibTeX
Stephen Kilpatrick, Maurice Clint, Peter Kilpatrick: A Case Study on Proving Transformations Correct: Data-Parallel Conversion. BibTeX
Hugh Gibbons: Declarative View of Imperative Programs. BibTeX
Luming Lai: An Unbounded Nondeterministic Model for CSP-like Languages. BibTeX
Mark Changizi: Motivation for a New Semantics for Vagueness. BibTeX
J. Paul Gibson, Dominique Méry: Teaching Formal Methods: Lessons to Learn. BibTeX
Mícheál Mac an Airchinnigh: Mathematics for Formal Methods, a Proposal for Education Reform. BibTeX
Arthur P. Hughes: Towards an Override in Topoi. BibTeX
Claus Pahl: Facilitating Modular Property-Preserving Extensions of Programming Languages. BibTeX
Anthony Karel Seda, Pascal Hitzler: Strictly Level-Decreasing Logic Programs. BibTeX
Richard Shore: A Use Case Interpretation of B AMN. BibTeX