메뉴 건너뛰기




Volumn , Issue , 2006, Pages 409-421

Staged allocation: A compositional technique for specifying and implementing procedure calling conventions

Author keywords

Calling conventions

Indexed keywords

CALLING CONVENTIONS; COMPOSITIONAL TECHNIQUE; STAGED ALLOCATION; TEST SUITE;

EID: 33745865218     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (4)

References (22)
  • 5
    • 17144389044 scopus 로고    scopus 로고
    • Target-sensitive construction of diagnostic programs for procedure calling sequence generators
    • Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation
    • _. 1996. Target-sensitive construction of diagnostic programs for procedure calling sequence generators. Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, in SIGPLAN Notices 31 (May): 249-257.
    • (1996) SIGPLAN Notices , vol.31 , Issue.MAY , pp. 249-257
  • 6
    • 0348156847 scopus 로고    scopus 로고
    • Automatic detection and diagnosis of faults in generated code for procedure calls
    • _. 2003. Automatic detection and diagnosis of faults in generated code for procedure calls. IEEE Transactions on Software Engineering 29 (November): 1031-1042.
    • (2003) IEEE Transactions on Software Engineering , vol.29 , Issue.NOVEMBER , pp. 1031-1042
  • 7
    • 0026112758 scopus 로고
    • Methods for saving and restoring register values across function calls
    • Davidson, Jack W. and David B. Whalley. 1991. Methods for saving and restoring register values across function calls. Software - Practice & Experience 21 (2): 149-165.
    • (1991) Software - Practice & Experience , vol.21 , Issue.2 , pp. 149-165
    • Davidson, J.W.1    Whalley, D.B.2
  • 9
    • 33745225093 scopus 로고    scopus 로고
    • As of November 2005
    • George, Lal. 1999. SMLNJ: Garbage collection API. As of November 2005, available from http://www.smlnj.org/compiler-notes/gc-api.ps.
    • (1999) SMLNJ: Garbage Collection API
    • George, L.1
  • 11
    • 84974183714 scopus 로고
    • Higher-order functions for parsing
    • Hutton, Graham. 1992. Higher-order functions for parsing. Journal of Functional Programming 2 (July): 323-343.
    • (1992) Journal of Functional Programming , vol.2 , Issue.JULY , pp. 323-343
    • Hutton, G.1
  • 15
    • 33745792271 scopus 로고    scopus 로고
    • Declarative composition of stack frames
    • 13th International Conference on Compiler Construction (CC 2004)
    • Lindig, Christian and Norman Ramsey. 2004. Declarative composition of stack frames. In 13th International Conference on Compiler Construction (CC 2004), Vol. 2985 of LNCS, pages 298-312.
    • (2004) LNCS , vol.2985 , pp. 298-312
    • Lindig, C.1    Ramsey, N.2
  • 16
    • 78049442327 scopus 로고
    • A method for synthesizing sequential circuits
    • Mealy, George H. 1955. A method for synthesizing sequential circuits. Bell System Technical Journal 34 (5): 1045-1079.
    • (1955) Bell System Technical Journal , vol.34 , Issue.5 , pp. 1045-1079
    • Mealy, G.H.1
  • 17
    • 84979009371 scopus 로고    scopus 로고
    • C-: A portable assembly language that supports garbage collection
    • International Conference on Principles and Practice of Declarative Programming. Springer Verlag
    • Peyton Jones, Simon L., Norman Ramsey, and Fermin Reig. 1999. C-: a portable assembly language that supports garbage collection. In International Conference on Principles and Practice of Declarative Programming, Vol. 1702 of LNCS, pages 1-28. Springer Verlag.
    • (1999) LNCS , vol.1702 , pp. 1-28
    • Peyton Jones, S.L.1    Ramsey, N.2    Reig, F.3
  • 18
    • 33745203171 scopus 로고    scopus 로고
    • Embedding an interpreted language using higher-order functions and types
    • To appear. A preliminary version of this paper appeared in Proceedings of the ACM Workshop on Interpreters, Virtual Machines, and Emulators, June 2003
    • Ramsey, Norman. 2005. Embedding an interpreted language using higher-order functions and types. Journal of Functional Programming. To appear. A preliminary version of this paper appeared in Proceedings of the ACM Workshop on Interpreters, Virtual Machines, and Emulators, June 2003.
    • (2005) Journal of Functional Programming
    • Ramsey, N.1
  • 20
    • 17144399241 scopus 로고    scopus 로고
    • A single intermediate language that supports multiple implementations of exceptions
    • Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation
    • Ramsey, Norman and Simon L. Peyton Jones. 2000. A single intermediate language that supports multiple implementations of exceptions. Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation, in SIGPLAN Notices 35 (May): 285-298.
    • (2000) SIGPLAN Notices , vol.35 , Issue.MAY , pp. 285-298
    • Ramsey, N.1    Jones, S.L.P.2


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