2. IWFM 1998: Cork, Ireland
Sharon Flynn, Andrew Butterfield (Eds.): 2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998. BCS 1998 Workshops in Computing- 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.
- 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.
- Richard Shore: A Use Case Interpretation of B AMN.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team