Kyung-Goo Doh
- 1.Lars Birkedal and Morten Welinder. Partial evaluation of Standard ML. Technical Report DIKU-report 93/22, DIKU, Department of Computer Science, University of Copenhagen, 1993.Google Scholar
- 2.Anders Bondorf. Similix 5.0 manual. Technical report, DIKU, Department of Computer Science, University of Copenhagen, 1993. Included in Similix 5.0 distribution.Google Scholar
- 3.Anders Bondorf and Jens Palsberg. Compiling actions by partial evaluation. In Proceedings of the 5th Conference on Functional Languages and Computer Architecture, pages 308-320. ACM, 1993. Google ScholarDigital Library
- 4.Deryk F. Brown, Hermano Moura, and David A. Watt. ACTRESS: an action semantics directed compiler generator. In CC'92, Proceedings o} the 4th international Conference on Compiler Construction, Paderborn, Lecture Notes in Computer Science 641, pages 95-109. Springer-Verlag, 1992. Google Scholar
- 5.Kyung-Goo Doh and David Schmidt. The facets of action semantics: some principles and applications. In Peter D. Mosses, editor, Proceedings of the First International Workshop on Action Semantics (Edinburgh, Scotland, April 1994), number NS-94-1 in BRICS Notes Series, pages 1-15. Dept. of Computer Science, Univ. of Aarhus, 1994.Google Scholar
- 6.Kyung-Goo Doh and David A. Schmidt. Action semantics-directed prototyping. Computer Languages, 19(4):213-233, 1993.Google ScholarDigital Library
- 7.Susan Even and David A. Schmidt. Category-sorted algebra-based action semantics. Theoretical Computer Science, 77:71-95, 1990. Google ScholarDigital Library
- 8.Peter D. Mosses. Action Semantics. Cambridge Tracts in Theoretical Computer Science 26. Cambridge University Press, 1992. Google ScholarDigital Library
- 9.Peter D. Mosses. A tutorial on action semantics. In Notes for FME'94, Formal Methods Europe, Barcelona, October 24-28 1994.Google Scholar
- 10.Hermano Moura. Action Notation Transformations. PhD thesis, University of Glasgow, 1993.Google Scholar
- 11.Hermano Moura and David A. Watt. Action transformations in the ACTRESS compiler generator. In Peter Fritzon, editor, CC'9}t, Proceedings of the 5th International Conference on Compiler Construction, Edinburgh, Lecture Notes in Computer Science 786, pages 1-15. Springer-Verlag, April 1994. Google ScholarDigital Library
- 12.Flemming Nielson and Hanne Riis Nielson. Two-Level Functzonal languages. Cambridge Tracts in Theoretical Computer Science 34. Cambridge University Press, 1992. Google ScholarDigital Library
- 13.Peter Orbmk. OASIS: An Optimizing Action-based Compiler Generator. In Peter Fritzon, editor, CC'94, Proceedings of the 5th International Con}erence on Compiler Construction , Edinburgh, Lecture Notes in Computer Science 786, pages 16-30. Springer-Verlag, April 1994. Google ScholarDigital Library
- 14.Jens PMsberg. Provably Correct Compiler Generation. PhD thesis, Aarhus University, 1992.Google Scholar
- 15.John Reynolds. Using category theory to design implicit conversions and generic operators. In N. D. Jones, editor, Semantics-Directed Compiler Generat,on, pages 211-258. Lecture Notes in Computer Science 94, Springer-Verlag, 1980. Google ScholarDigital Library
- 16.David A. Watt. Programming Language Syntax and Semantics. Prentice-Hall International, Englewood Cliffs, New Jersey, 1991. Google ScholarDigital Library
Index Terms
- Action transformation by partial evaluation
Recommendations
Partial differential equations associated with certain non-linear algorithms
ZusammenfassungIn der letzten Zeit sind eine Anzahl nicht-linearer Algorithmen untersucht worden, die in der Analysis und numerischen Mathematik von besonderer Wichtigkeit sind.
Diese Algorithmen betreffen Grössen, die in einem zweidimensionalen Schema ...
Comments