Download PDFOpen PDF in browser

Pandora's Box

13 pagesPublished: February 12, 2014

Abstract

An algebraic specification is viewed as a black box that rewrites input to a ``most basic'' canonical form. We argue that a canonical form should be given for each specific specification, to prevent ``cheating'' in the implementation. Furthermore, we argue that the definition of the canonical form may sometimes require semantic rather than syntactic information.

To relate an OO implementation to a specification requires opening the black box to some extent; we assess the choices to be made here.

In: Andrei Voronkov and Margarita Korovina (editors). HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday, vol 42, pages 258-270.

BibTeX entry
@inproceedings{HOWARD-60:Pandoras_Box,
  author    = {Ronald Middelkoop and Cornelis Huizing and Ruurd Kuiper and Erik J. Luit},
  title     = {Pandora's Box},
  booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/RGv},
  doi       = {10.29007/l7kx},
  pages     = {258-270},
  year      = {2014}}
Download PDFOpen PDF in browser