메뉴 건너뛰기
Electronic Notes in Theoretical Computer Science
Volumn 1, Issue C, 1995, Pages 13-31
Operational Semantics of a Focusing Debugger
Author keywords

[No Author keywords available]
Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; PROGRAM COMPILERS; SEMANTICS; THEOREM PROVING;
EID: 19144363198     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80002-1     Document Type: Article
Times cited : (12)
References (15)
  • 1
    • 84916494081 scopus 로고    scopus 로고
    • Samson Abramsky. The lazy lambda calculus. The lazy lambda calculus. In David Turner, editors, Research Topics in Functional Programming, The UT Year of Programming Series, pages 65-116. Addison-Wesley Publishing Company, 1990.
  • 3
    • 84916504912 scopus 로고    scopus 로고
    • Karen L. Bernstein and Eugene W. Stark Operational semantics of a focusing debugger (full version). Technical report, State University of New York at Stony Brook, Computer Science Department, 1994. FTP://ftp.cs.sunysb.edu/pub/TechReports/stark/focus.ps.Z.
  • 5
    • 84916505116 scopus 로고    scopus 로고
    • Dave Berry. Generating Program Animators from Programming Language Semantics. PhD thesis, University of Edinburgh, Edinburgh, Scotland, June 1991. LFCS, Department of Computer Science.
  • 6
    • 84916471832 scopus 로고    scopus 로고
    • Fabio Q.B. da Silva. Correctness Proofs of Compilers and Debuggers: an Approach Based on Structured Operational Semantics. PhD thesis, University of Edinburgh, Edinburgh, Scotland October 1991. LFCS, Department of Computer Science.
  • 7
    • 84916506497 scopus 로고    scopus 로고
    • Andrew Gordon. An operational semantics for I/O in a lazy functiona language. In FPCA '93: Conference on Functional Programming Languages and Computer Architecture, pages 136–145. Association for Computing Machinery, ACM Press, 1993.
  • 9
    • 84916489147 scopus 로고    scopus 로고
    • Douglas J. Howe. Equality in lazy computation systems. In Proceedings of the Fourth Annual Symposium on Logic in Computer Science, pages 198–203. IEEE, IEEE Computer Society Press, 1989.
  • 10
    • 84916495256 scopus 로고    scopus 로고
    • Amir Kishon, Paul Hudak, and Charles Consel. Monitoring semantics: A formal framework for specifying, implementing, and reasoning about execution monitors. In Proceedings of the ACM SIGPLAN '91 Conference on Programming Language Design and Implementation, pages 338–352. ACM Press, June 1991.
  • 12
    • 84916524169 scopus 로고    scopus 로고
    • D. M. R. Park. Concurrency and automata on infinite sequences. In Theoretical Computer Science, volume 104 of Lecture Notes in Computer Science. Springer-Verlag, 1981.
  • 13
    • 84916494389 scopus 로고    scopus 로고
    • G. D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, Computer Science Department, 1981.
  • 15
    • 84916466166 scopus 로고    scopus 로고
    • A. P. Tolmach and A. W. Appel. Debugging Standard ML without reverse engineering. In 1990 ACM Conference on Lisp and Functional Programming. Association for Computing Machinery, ACM Press, June 1990.

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