메뉴 건너뛰기




Volumn , Issue , 2003, Pages 172-184

A type theory for memory allocation and data layout

Author keywords

Data Representation; Memory Management; Ordered Logic; Type Theory

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; OPTIMIZATION; PROGRAM COMPILERS; SEMANTICS;

EID: 0038304978     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/604131.604147     Document Type: Conference Paper
Times cited : (16)

References (23)
  • 1
    • 0030501721 scopus 로고    scopus 로고
    • Reference counting as a computational interpretation of linear logic
    • Jawahar Chirimar, Carl A. Gunter, and Jon G. Riecke. Reference counting as a computational interpretation of linear logic. Journal of Functional Programming, 6(2): 195-244, 1996.
    • (1996) Journal of Functional Programming , vol.6 , Issue.2 , pp. 195-244
    • Chirimar, J.1    Gunter, C.A.2    Riecke, J.G.3
  • 3
    • 84887495476 scopus 로고    scopus 로고
    • Type structure for low-level programming langauges
    • Twenty-Sixth International Colloquium on Automata, Languages, and Programming, Prague, Czech Republic, July Springer-Verlag
    • Karl Crary and Greg Morrisett. Type structure for low-level programming langauges. In Twenty-Sixth International Colloquium on Automata, Languages, and Programming, volume 1644 of Lecture Notes in Computer Science, pages 40-54, Prague, Czech Republic, July 1999. Springer-Verlag.
    • (1999) Volume 1644 of Lecture Notes in Computer Science , vol.1644 , pp. 40-54
    • Crary, K.1    Morrisett, G.2
  • 10
    • 0011397137 scopus 로고    scopus 로고
    • Semantics of memory management for polymorphic languages
    • A. Gordon and A. Pitts, editors, Newton Institute, Cambridge University Press
    • Greg Morrisett and Robert Harper. Semantics of memory management for polymorphic languages. In A. Gordon and A. Pitts, editors, Higer Order Operational Techniques in Semantics. Newton Institute, Cambridge University Press, 1997.
    • (1997) Higer Order Operational Techniques in Semantics
    • Morrisett, G.1    Harper, R.2
  • 13
    • 0038180308 scopus 로고    scopus 로고
    • A type theory for memory allocation and data layout
    • Department of Computer Science, Carnegie Mellon University, December
    • Leaf Petersen, Robert Harper, Karl Crary, and Frank Pfenning. A type theory for memory allocation and data layout. Technical Report CMU-CS-02-171, Department of Computer Science, Carnegie Mellon University, December 2002.
    • (2002) Technical Report , vol.CMU-CS-02-171
    • Petersen, L.1    Harper, R.2    Crary, K.3    Pfenning, F.4
  • 15
    • 0037505101 scopus 로고    scopus 로고
    • PhD thesis, Carnegie Mellon University, June. Available as Technical Report CMU-CS-01-152
    • Jeff Polakow. Ordered linear logic and applications. PhD thesis, Carnegie Mellon University, June 2001. Available as Technical Report CMU-CS-01-152.
    • (2001) Ordered Linear Logic and Applications
    • Polakow, J.1
  • 17
    • 0042526776 scopus 로고    scopus 로고
    • Relating natural deduction and sequent calculus for intuitionistic non-commutative linear logic
    • Andre Scedrov and Achim Jung, editors, New Orleans, Louisiana, April. Electronic Notes in Theoretical Computer Science
    • Jeff Polakow and Frank Pfenning. Relating natural deduction and sequent calculus for intuitionistic non-commutative linear logic. In Andre Scedrov and Achim Jung, editors, Proceedings of the 15th Conference on Mathematical Foundations of Programming Semantics, New Orleans, Louisiana, April 1999. Electronic Notes in Theoretical Computer Science, Volume 20.
    • (1999) Proceedings of the 15th Conference on Mathematical Foundations of Programming Semantics , vol.20
    • Polakow, J.1    Pfenning, F.2
  • 19
    • 0011488529 scopus 로고    scopus 로고
    • An overview of the FLINT/ML compiler
    • Amsterdam, June. ACM SIGPLAN. Published as Boston College Computer Science Department Technical Report BCCS-97-03
    • Zhong Shao. An overview of the FLINT/ML compiler. In 1997 Workshop on Types in Compilation, Amsterdam, June 1997. ACM SIGPLAN. Published as Boston College Computer Science Department Technical Report BCCS-97-03.
    • (1997) 1997 Workshop on Types in Compilation
    • Shao, Z.1
  • 22
    • 0011918338 scopus 로고    scopus 로고
    • Operational interpretations of linear logic
    • David N. Turner and Philip Wadler. Operational interpretations of linear logic. Theoretical Computer Science, 227(1-2):231-248, 1999.
    • (1999) Theoretical Computer Science , vol.227 , Issue.1-2 , pp. 231-248
    • Turner, D.N.1    Wadler, P.2


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