Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Equational Specifications: Design, Implementation, and Reasoning P. Forcheri,2
 

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