Parameterized programming in OBJ2

Parameterized programming [9] is a powerful technique for the construction, maintenance, and reuse of software. In this technique, modules may be parameterized over very general interfaces that describe what properties of an environment are required for the module to work correctly. Ease of construction, maintenance, and reuse of software are all enhanced by the flexibility of the parameterization mechanism provided. OBJ2 [8] is designed to support parameterized programming, using algebraic specification techniques [2, 16, 17]; it provides facilities for user-definable abstract data types, parameterized

[1]  José Meseguer,et al.  Principles of OBJ2 , 1985, POPL.

[2]  William F. Clocksin,et al.  Programming in Prolog , 1987, Springer Berlin Heidelberg.

[3]  Kokichi Futatsugi,et al.  A hierarchical structuring method for functional software systems , 1982, ICSE '82.

[4]  José Meseguer,et al.  Equality, Types, Modules, and (Why not ?) Generics for Logic Programming , 1984, J. Log. Program..

[5]  Joseph A. Goguen,et al.  Reusing and Interconnecting Software Components , 1986, Computer.

[6]  Joseph A. Goguen,et al.  Putting Theories Together to Make Specifications , 1977, IJCAI.

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

[8]  John V. Guttag,et al.  The specification and application to programming of abstract data types. , 1975 .

[9]  Kokichi Futatsugi,et al.  Specification Writing as Construction of Hierarchically Structured Clusters of Operators , 1980, IFIP Congress.

[10]  Professor Dr. Niklaus Wirth,et al.  Programming in Modula-2 , 1982, Springer Berlin Heidelberg.

[11]  Niklaus Wirth,et al.  Program development by stepwise refinement , 1971, CACM.

[12]  Henry Ledgard,et al.  Reference Manual for the ADA® Programming Language , 1983, Springer New York.

[13]  Robert Balzer,et al.  On the Transformational Implementation approach to programming , 1976, ICSE '76.

[14]  G. Huet,et al.  Equations and rewrite rules: a survey , 1980 .

[15]  Jean-Pierre Jouannaud,et al.  Operational Semantics for Order-Sorted Algebra , 1985, ICALP.

[16]  Edsger W. Dijkstra,et al.  Notes on structured programming , 1970 .