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

Online Edition

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