메뉴 건너뛰기
Communications of the ACM
Volumn 20, Issue 7, 1977, Pages 519-526
Lucid, a Nonprocedural Language with Iteration
Author keywords

formal systems; iteration; program proving; semantics; structured programming
Indexed keywords

COMPUTER METATHEORY - ALGORITHMIC LANGUAGES; COMPUTER PROGRAMMING - RELIABILITY;
EID: 0017518346     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/359636.359715     Document Type: Article
Times cited : (150)
References (4)
  • 1
    • 84976851701 scopus 로고    scopus 로고
    • Lucid: Scope structures and defined functions
    • Computer Science Dept., U. of Waterloo
    • Ashcroft, E.A., and Wadge, W.W. Lucid: Scope structures and defined functions.Rep. CS-76-22, Computer Science Dept., U. of Waterloo.
    • Rep. CS-76-22
    • Ashcroft, E.A.1    Wadge, W.W.2
  • 2
    • 0011881992 scopus 로고    scopus 로고
    • Program proving as hand simulation with a little induction
    • North-Holland, Amsterdam
    • Burstall, R. Program proving as hand simulation with a little induction. Information Processing 74, North-Holland, Amsterdam, pp. 308-312.
    • Information Processing 74 , pp. 308-312
    • Burstall, R.1
  • 3
    • 84945708698 scopus 로고
    • An axiomatic basis for computer programming
    • Oct.
    • Hoare, C.A.R., An axiomatic basis for computer programming. Comm. ACM 12, 10 (Oct. 1969), 576-580, 583.
    • (1969) Comm. ACM 12 , vol.10
    • Hoare, C.A.R.1
  • 4
    • 17244382537 scopus 로고
    • A preliminary theory for parallel programs
    • France, Jan.
    • Kahn, G. A preliminary theory for parallel programs. Res. Rep. No. 6, IRIA, France, Jan. 1973.
    • (1973) Res. Rep. No. 6, IRIA
    • Kahn, G.1

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