An implementation of OBJ2: An object.oriented language for abstract program specification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 241 LNCS, Issue , 1986, Pages 81-95

  Sridhar, S ^a  

^a TEKTRONIX INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FUNCTIONAL PROGRAMMING; MACHINERY; SEMANTICS; SOFTWARE ENGINEERING;

ABSTRACT PROGRAMS; FINITE TERMINATION PROPERTY; PARAMETRIZATIONS; PROGRAMMING PARADIGMS; REWRITE RULES; SEMANTIC INTERFACES; TERM REWRITING SYSTEMS;

LISP (PROGRAMMING LANGUAGE);

EID: 85036647189     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-17179-7_5     Document Type: Conference Paper

References (9)

1. [Burstall & Goguen 80] Burstall, R. M., and Goguen, J. A. The Semantics of CLEAR, a Specification Language. Lecture Notes in Computer Science, vol. 86., Springer-Verlag, 1980.
2. [Futatsugi et al. 85] Futatsugi, K., Goguen, J. A., Jouannaud, J. and Mesegeur, J. Principles of OBJ2. In Proceedings, ACM Symposium on Principle of Programming Languages, 1985.
3. Goguen, J. A. Parametrized Programming. IEEE Transactions on Software Engineering, pp, 528-543, September 1984.
4. [Goguen & Meseguer 82] Goguen, J.A and Meseguer, J. Rapid Prototyping in the OBJ2 Executable Specification Language. Software Engineering Notes 7(5), ACM SIGSOFT, pp 75-84, 1982.
5. [Goguen & Tardo 79] Goguen, J. A. and Tardo, J. An Introduction to OBJ: A Language for writing and Testing Software Specifications. In Specification of Reliable Software, pp. 170-189, IEEE Press, 1979.
6. [Goguen et al. 85] Goguen, J. A. Jouannaud, J. and Meseguer, J. Operational Semantics for Order-sorted Algebra. Technical Report, SRI International, Menlo Park, CA, 1985.
7. [Goguen, et al. 78] Goguen, J. A., Thatcher, J. W. and Wagner, E. An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types. Current Trends in Programming Methodology IV:80-149, 1978.
8. [Knuth & Bendix 70] Knuth, D. E. and Bendix, P. Simple Word Problems in Universal Algebra. In Computation Problems in Abstract Algebra, Leech, J. (ed.), pp. 263-297, Pergamom Press, 1970.
9. [Nilsson 80] Nilsson, N. J. Principles of Artificial Intelligence. Tioga Press, 1980.