Crypt-equivalent algebraic specifications

1988 ◽  
Vol 25 (2) ◽  
pp. 111-153 ◽  
Author(s):  
F. L. Bauer ◽  
M. Wirsing
Keyword(s):  
Algebraic Specifications

scholarly journals Toward formal development of programs from algebraic specifications: Parameterisation revisited

1992 ◽  
Vol 29 (8) ◽  
pp. 689-736 ◽  
Author(s):  
Donald Sannella ◽  
Stefan Sokolowski ◽  
Andrzej Tarlecki
Keyword(s):  
Algebraic Specifications ◽  
Formal Development

scholarly journals Designing dependable logic controllers using algebraic specifications

2006 ◽  
Vol 14 (10) ◽  
pp. 1143-1155 ◽  
Author(s):  
Jean-Marc Roussel ◽  
Jean-Marc Faure
Keyword(s):  
Algebraic Specifications ◽  
Logic Controllers

scholarly journals Manipulating algebraic specifications with term-based and graph-based representations

2004 ◽  
Vol 59 (1-2) ◽  
pp. 63-87 ◽  
Author(s):  
Anamaria Martins Moreira ◽  
Christophe Ringeissen ◽  
David Déharbe ◽  
Gleydson Lima
Keyword(s):  
Algebraic Specifications

scholarly journals Algebraic specifications of computable and semicomputable data types

1987 ◽  
Vol 50 (2) ◽  
pp. 137-181 ◽  
Author(s):  
J.A. Bergstra ◽  
J.V. Tucker
Keyword(s):  
Data Types ◽  
Algebraic Specifications
Sign in / Sign up

Export Citation Format

Share Document