메뉴 건너뛰기
Lisp and Symbolic Computation
Volumn 3, Issue 1, 1990, Pages 21-37
Relative specification and transformational re-use of functional programs
Author keywords

Equational Specifications; Functional Programming; Program Derivation
Indexed keywords

EID: 3042917723     PISSN: 08924635     EISSN: 15730557     Source Type: Journal    
DOI: 10.1007/BF01806124     Document Type: Article
Times cited : (4)
References (11)
  • 2
    • 84931434616 scopus 로고    scopus 로고
    • N. Dershowitz and D. A. Plaisted. Equational programming. In J. E. Hayes D. Michie and J. Richards, editors, Machine Intelligence, unknown, 1986.
  • 3
    • 84931457993 scopus 로고    scopus 로고
    • H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification. Springer-Verlag, 1985.
  • 4
    • 84931333607 scopus 로고    scopus 로고
    • The CIP Language Group. The Munich Project CIP. Volume 1: The Wide-Spectrum Language CIP-L. Volume 183 of Lecture Notes in Computer Science, Springer-Verlag, 1985.
  • 5
    • 84931418925 scopus 로고    scopus 로고
    • P. Hudak and P. Wadler (eds). Report on the Functional Programming Language Haskell. December 1988.
  • 6
    • 84931347857 scopus 로고    scopus 로고
    • A. J. Field J. Darlington and H. Pull. The unification of functional and logic languages. In G. Lindstrom, editor, Logic Programming: relations, functions, and equations, Prentice-Hall, 1985.
  • 7
    • 84931399437 scopus 로고    scopus 로고
    • C. Runciman and I. Toyn. Notes for glide users (2nd edition). Technical Report, University of York, October 1987.
  • 8
    • 84931451158 scopus 로고    scopus 로고
    • J. G. Sanderson. A Relational Theory of Computing. Volume 82 of Lecture Notes in Computer Science, Springer-Verlag, 1980.
  • 10
    • 84931356494 scopus 로고    scopus 로고
    • S. Thompson. Laws in miranda. In ACM Symposium on LISP and Functional Programming, pages 1–12, August 1986.
  • 11
    • 84931458016 scopus 로고    scopus 로고
    • P. Wadler. How to replace failure by a list of successes. In Jean-Pierre Jouannaud, editor, Functional Programming Languages and Computer Architecture, pages 113–128, Springer-Verlag, September 1985.

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.