Summary: Equational Specifications: Design, Implementation, and Reasoning
S. Antoy,1
P. Forcheri,2
J. Gannon,3
and M. T. Molfino2
1
Department of Computer Science
Portland State University
Portland, Oregon.
2
Istituto per la Matematica Applicata
Consiglio Nazionale delle Ricerche
Genova, Italy.
3
Department of Computer Science
University of Maryland
College Park, Maryland.
Abstract
Sets of equations can be used to specify, implement, and reason about software. We
discuss how to automate these tasks for constructor-based, convergent rewrite sys-

Source: Antoy, Sergio - Department of Computer Science, Portland State University

Collections: Computer Technologies and Information Sciences