|
 REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
|
| |
2
|
|
| |
3
|
3. Burstall, R. M. and Goguen, J. A. "Putting Theories together to Make Specifications." Proceedings, Fifth International Joint Conference on Artificial Intelligence 5 (1877), 1045-1058.
|
| |
4
|
|
| |
5
|
5. Burstall, R. M. and Goguen, J. A. Algebras, Theories and Freeness: An Introduction for Computer Scientists. In Proceedings, 1981 Marktoberdorf NATO Summer School, Reidel, 1982.
|
 |
6
|
R. M. Burstall , D. B. MacQueen , D. T. Sannella, HOPE: An experimental applicative language, Proceedings of the 1980 ACM conference on LISP and functional programming, p.136-143, August 25-27, 1980, Stanford University, California, United States
[doi> 10.1145/800087.802799]
|
| |
7
|
7. United States Department of Defense. Reference Manual for the Ada Programming Language. ANSI/MIL-STD-1815 A.
|
| |
8
|
|
| |
9
|
9. Futatsugi, K. and Okada, K. Specification Writing as Construction of Hierarchically Structured Clusters of Operators. In Proceedings, IFIP Congress 80, IFIP Press, 1980, pp. 287-282.
|
| |
10
|
|
| |
11
|
11. Goguen, J. Mathematical Foundations of Hierarchically Organized Systems. In Global Systems Dynamics, E. Attinger, Ed., S. Karger, 1971, pp. 112-128.
|
| |
12
|
12. Goguen, J. A. Some Remarks on Data Structures. Abstract of 1973 Lectures at Eidgenoschiche Technische Hochschule, Zurich.
|
| |
13
|
|
| |
14
|
14. Goguen, J. A. Abstract Errors for Abstract Data Types. In IFIP Working Conference on Formal Description of Programming Concepts, MIT, 1977.
|
| |
15
|
15. Goguen, J. A. Order Sorted Algebra. UCLA Computer Science Department, 1978. Semantics and Theory of Computation Report No. 14.
|
| |
16
|
|
| |
17
|
17. Goguen, J. A. "Parameterized Programming." Transactions on Software Engineering SE-10, 5 (September 1984), 528-543. 0riginally appeared, Proceedings, Workshop on Reusability in Programming, edited by Biggerstaff, T. and Cheatham, T., ITT, pages 138-150, 1983; also, revised version as Technical Report CSLI-84-9, Center for the Study of Language and Information, Stanford University, September 1984.
|
| |
18
|
|
| |
19
|
19. Goguen, J. A. and Ginali, S. A Categorical Approach to General Systems Theory. In Applied General Systems Research, G. Klir, Ed., Plenum, 1978, pp. 257-270.
|
| |
20
|
|
| |
21
|
|
| |
22
|
22. Goguen, J. and Meseguer, J. Order-Sorted Algebra: Partial and Overloaded Operations, Errors and Inheritance. SRI International, Computer Science Lab, 1984. Given as lecture 'Logic of Subsorts and Polymorphism' at Seminar on Types, Carnegie-Mellon University, June 1983.
|
| |
23
|
23. Goguen, J. and Meseguer, J. "Equality, Types, Modules and (Why Not?) Generics for Logic Programming." The Journal of Logic Programming 1, 2 (1984), 179-210. Also appears in Proceedings, 1984 Logic Programming Symposium, Upsala, Sweden, pp. 115-125; and Report CSLI-84-5, Center for the Study of Language and Information, Stanford University, March 1984.
|
| |
24
|
|
| |
25
|
25. Goguen, J. A. and Tardo, J. An Introduction to OBJ: A Language for Writing and Testing Software Specifications. In Specification of Reliable Software, IEEE Press, 1979, pp. 170-189.
|
| |
26
|
26. Goguen, J., Jouannaud, J.-P. and Meseguer, J. Operational Semantics of Order-Sorted Algebra. Summary presented at IFIP WG2.2, Boston, June 1984. Submitted for publication.
|
| |
27
|
27. Goguen, J. A., Meseguer, J., and Plaisted, D. Programming with Parameterized Abtract Objects in OBJ. In Theory and Practice of Software Technology, D. Ferrari, M. Bolognani and J. Goguen, Eds., North-Holland, 1983, pp. 163-193.
|
| |
28
|
28. Goguen, J. A., Thatcher, J. W. and Wagner, E. "An Initial Algabra Approach to the Specification, Correctness and Implementation of Abstract Data Types." Current Trends in Progrnmming Methodology IV (1978), 80-149. Original version, IBM T. J. Watson Research Center Technical Report RC 6487, October 1976.
|
| |
29
|
|
| |
30
|
|
| |
31
|
|
| |
32
|
|
| |
33
|
33. Huet, G., Hullot, J. M. "Proofs by Induction in Equational Theories with Constructors." Journal of the Association for Computing Machinery 25, 2 (1982), 239-266.
|
| |
34
|
34. Huet, G. and Oppen, D. Equations and Rewrite Rules: A Survey. In Formal Language Theory: Perspectives and Open Problems, R. Book., Ed., Academic Press, 1980.
|
| |
35
|
|
| |
36
|
|
| |
37
|
|
| |
38
|
38. Mac Lane, S. Categories for the Working Mathematician. Springer-Verlag, 1971.
|
| |
39
|
|
| |
40
|
40. Nakajimn, R. and Yuasa, T. The IOTA Programming System. Springer-Verlag, 1983. Lecture Notes in Computer Science, Volume 160.
|
| |
41
|
|
| |
42
|
42. Zilles, S. Abstract Specification of Data Types. Report 119, Computation Structures Group, MIT, 1974.
|
CITED BY 69
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Kazuhiro Ogata , Shigenori Ioroi , Kokichi Futatsugi, Optimizing term rewriting using discrimination nets with specialization, Proceedings of the 1999 ACM symposium on Applied computing, p.511-518, February 28-March 02, 1999, San Antonio, Texas, United States
|
|
|
|
|
|
|
|
|
|
|
|
V. Stavridou , H. Barringer , D. A. Edwards, Formal specification and verification of hardware: a comparative case study, Proceedings of the 25th ACM/IEEE conference on Design automation, p.197-204, June 12-15, 1988, Atlantic City, New Jersey, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
K. Futatsugi , J. Goguen , J. Meseguer , K. Okada, Parameterized programming in OBJ2, Proceedings of the 9th international conference on Software Engineering, p.51-60, March 1987, Monterey, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
E. Corsetti , E. Crivelli , D. Mandrioli , A. Montanari , A. C. Morzenti , P. San Pietro , E. Ratto, Dealing with different time scales in formal specifications, Proceedings of the 6th international workshop on Software specification and design, October 25-26, 1991, Como, Italy
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Gary T. Leavens , Jean-Raymond Abrial , Don Batory , Michael Butler , Alessandro Coglio , Kathi Fisler , Eric Hehner , Cliff Jones , Dale Miller , Simon Peyton-Jones , Murali Sitaraman , Douglas R. Smith , Aaron Stump, Roadmap for enhanced languages and methods to aid verification, Proceedings of the 5th international conference on Generative programming and component engineering, October 22-26, 2006, Portland, Oregon, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
D.3