메뉴 건너뛰기
Journal of the ACM (JACM)
Volumn 25, Issue 4, 1978, Pages 667-674
Conditional Expressions with Equality Tests
Author keywords

conditional expressions; emantics of assignment; equality predicate; expression simplification; program verification
Indexed keywords

EID: 84976764780     PISSN: 00045411     EISSN: 1557735X     Source Type: Journal    
DOI: 10.1145/322092.322105     Document Type: Article
Times cited : (9)
References (11)
  • 1
    • 0016437462 scopus 로고
    • Proving theorems about LISP functions
    • Jan
    • Boyer, R S, and Moore, J S Proving theorems about LISP functions J ACM 22, 1 (Jan 1975), 129-144.
    • (1975) J ACM 22 , vol.1 , pp. 129-144
    • Boyer, R.S.1    Moore, J.S.2
  • 2
    • 2342466787 scopus 로고
    • Semantics of programming languages
    • ST Tou, Ed, Plenum Press, New York, N Y
    • De Bakker, J. W. Semantics of programming languages In Advances in Information Systems Science, Vol. 2, ST Tou, Ed, Plenum Press, New York, N Y, 1969, pp. 173-227.
    • (1969) Advances in Information Systems Science , vol.2 , pp. 173-227
    • De Bakker, J.W.1
  • 3
    • 0018020102 scopus 로고
    • Assignment commands with array references
    • (Oct)
    • Downey, PJ, AND Sethi, R Assignment commands with array references J ACM 25, 4 (Oct 1978), 652-666.
    • (1978) J ACM 25 , vol.4 , pp. 652-666
    • Downey, P.J.1    Sethi, R.2
  • 4
    • 84976833307 scopus 로고
    • Semantics of Algol-like statements Lecture Notes in Mathematics 188
    • Springer-Verlag, Berlin
    • Igarashi, S Semantics of Algol-like statements Lecture Notes in Mathematics 188, Springer-Verlag, Berlin, 1971, pp 117-177.
    • (1971) , pp. 117-177
    • Igarashi, S.1
  • 5
    • 77956967645 scopus 로고
    • A basis for a mathematical theory of computation Programming and Formal Systems
    • P Braffort and D Hirschberg, Eds., North-Holland, Amsterdam
    • Mccarthy, J A basis for a mathematical theory of computation Programming and Formal Systems, P Braffort and D Hirschberg, Eds., North-Holland, Amsterdam, 1963, pp 33-70.
    • (1963) , pp. 33-70
    • Mccarthy, J.1
  • 6
    • 84980169139 scopus 로고
    • A simplifier based on efficient decision algorithms Conf Rec Fifth Annual ACM Symposium on Principles of Programming Languages
    • Jan
    • Nelson, C G, And Oppen, D C A simplifier based on efficient decision algorithms Conf Rec Fifth Annual ACM Symposium on Principles of Programming Languages, Jan 1978, pp 141-150.
    • (1978) , pp. 141-150
    • Nelson, C.G.1    Oppen, D.C.2
  • 7
    • 85053044329 scopus 로고
    • A normal form for compiler testing Proceedings of the Symposium on Artificial Intelligence and Programming Languages
    • Aug
    • Samet, H A normal form for compiler testing Proceedings of the Symposium on Artificial Intelligence and Programming Languages, SIGPLAN Notices (ACM) 12, 8 (Aug 1977), 155-162.
    • (1977) , vol.8 , pp. 155-162
    • Samet, H.1
  • 8
    • 0016115082 scopus 로고
    • Testing for the Church-Rosser property
    • Oct.
    • Sethi, R Testing for the Church-Rosser property J. ACM 21, 4 (Oct. 1974), 671-679.
    • (1974) J. ACM 21 , vol.4 , pp. 671-679
    • Sethi, R.1
  • 9
    • 84976839264 scopus 로고
    • Testing for the Church-Rosser property
    • July
    • Sethi, R Testing for the Church-Rosser property Errata in J ACM 22, 3 (July 1975), 424.
    • (1975) J ACM 22 , vol.3 , pp. 424
    • Sethi, R.1
  • 10
    • 84976834420 scopus 로고
    • Simplifying conditional expressions Unpublished manuscript
    • Bell Laboratories, Murray Hill, N J
    • Sethi, R Simplifying conditional expressions Unpublished manuscript, Bell Laboratories, Murray Hill, N J, 1978.
    • (1978)
    • Sethi, R.1
  • 11
    • 84976740869 scopus 로고
    • An algorithm for reasoning about equality Tech Rep
    • SRI, Menlo Park, Calif
    • Shostak, RE. An algorithm for reasoning about equality Tech Rep, SRI, Menlo Park, Calif, 1977.
    • (1977)
    • Shostak, R.E.1

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