Algebraic Specification and Program Development by Stepwise Refinement

Various formalizations of the concept of “refinement step” as used in the formal development of programs from algebraic specifications are presented and compared.

[1]  Claudio V. Russo.  Types for Modules , 2004, Electronic Notes in Theoretical Computer Science.

[2]  Martin Hofmann,et al.  On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic , 1995, Theor. Comput. Sci..

[3]  Furio Honsell,et al.  Pre-logical Relations , 1999, CSL.

[4]  Donald Sannella.  Formal program development in Extended ML for the working programmer , 1990 .

[5]  Anne Elisabeth Haxthausen,et al.  CASL - The CoFI Algebraic Specification Language (Tentative Design, version 0.95) - Language Summary, with annotations concerning the semantics of constructs , 1997 .

[6]  H. Ehrig,et al.  Equational Specifications and Algebras , 1985 .

[7]  Donald Sannella,et al.  The Definition of Extended ML: A Gentle Introduction , 1997, Theor. Comput. Sci..

[8]  Kung-Kiu Lau,et al.  Steadfast Logic Programs , 1999, J. Log. Program..

[9]  Egidio Astesiano,et al.  Algebraic Foundations of Systems Specification , 1999, IFIP State-of-the-Art Reports.

[10]  David Aspinall,et al.  Type systems for modular programs and specifications , 1997 .

[11]  Martin Wirsing,et al.  Algebraic Specification , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[12]  Donald Sannella,et al.  Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract) , 1989, TAPSOFT, Vol.2.

[13]  Oliver Schoett,et al.  Data abstraction and the correctness of modular programming , 1986 .

[14]  Joseph A. Goguen,et al.  Parameterized Programming , 1984, IEEE Transactions on Software Engineering.

[15]  Peter D. Mosses,et al.  CoFI: The Common Framework Initiative for Algebraic Specification and Development , 2001, Current Trends in Theoretical Computer Science.

[16]  Donald Sannella,et al.  Architectural Specifications in CASL , 1998, AMAST.

[17]  Hans-Dieter Ehrich,et al.  Specification of abstract data types , 1996 .

[18]  Martin Wirsing,et al.  Behavioural and Abstractor Specifications , 1995, Sci. Comput. Program..

[19]  Furio Honsell,et al.  Constructive Data Refinement in Typed Lambda Calculus , 2000, FoSSaCS.