H ? « ‹ ← → › »

Language peer sets for TAL:
United States↑
United States/1997↑
Designed 1997 ↑
1990s languages ↑
Internet↑
New internationlism↑

TAL(ID:3708/tal002)

Assembly language for TALC 

alternate simple view
Country: United States
Designed 1997

for Typed Assembly Language

Stack-Based Typed Assembly Language

TALC project at Cornell, Greg Morrisett et al, 1997


Structures:
Related languages
TIL → TAL   Influence
TAL → Popcorn   Compiled to
TAL → TAL/T   Derivation of
References:
  • Frederick Smith and Greg Morrisett. (1997) Frederick Smith and Greg Morrisett. Mostly-Copying Collection: A Viable Alternative to Conversative Mark-Sweep. Technical Report TR97-1644, Cornell University, August 1997. Abstract pdf
  • Morrisett, Greg; David Walker, Karl Crary, and Nea (1997) Morrisett, Greg; David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language (Extended version). Technical Report TR97-1651, Cornell University, November 1997. Abstract pdf
  • Crary, Karl ; Stephanie Weirich, and Greg Morriset (1998) Crary, Karl ; Stephanie Weirich, and Greg Morrisett. Intensional Polymorphism in Type-Erasure Semantics (Extended version). Technical Report TR98-1721, Cornell University, November 1998.
  • Crary, Karl ; Stephanie Weirich, and Greg Morriset (1998) Crary, Karl ; Stephanie Weirich, and Greg Morrisett. Intensional Polymorphism in Type-Erasure Semantics. 1998 International Conference on Functional Programming, pages 301-312, Baltimore, September 1998.
  • Morrisett, Greg; David Walker, Karl Crary, and Nea (1998) Morrisett, Greg; David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language.
          in [POPL 1998] (1998) The Twenty-Fifth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 1998
  • Morrisett, Greg; Karl Crary, Neal Glew, and David (1998) Morrisett, Greg; Karl Crary, Neal Glew, and David Walker. Stack-Based Typed Assembly Language (Extended version). Technical Report CMU-CS-98-178, Carnegie Mellon University, December 1998.
          in [POPL 1998] (1998) The Twenty-Fifth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 1998
  • Morrisett, Greg; Karl Crary, Neal Glew, and David (1998) Morrisett, Greg; Karl Crary, Neal Glew, and David Walker. Stack-Based Typed Assembly Language. In the 1998 Workshop on Types in Compilation, Kyoto, Japan, March 1998. Published in Xavier Leroy and Atsushi Ohori, editors, Lecture Notes in Computer Science, volume 1473, pages 28-52. Springer-Verlag, 1998.
          in [POPL 1998] (1998) The Twenty-Fifth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 1998
  • Smith, Frederick and Greg Morrisett (1998) Smith, Frederick and Greg Morrisett "Comparing Mostly-Copying and Mark-Sweep Conversative Collection" pp68-78 Abstract pdf
          in (1998) 1998 International Symposium on Memory Management, Vancouver, Canada, October 1998
  • Crary, Karl (1999) Crary, Karl "A Simple Proof Technique for Certain Parametricity Results"
          in [ICFP 1999] (1999) In the 1999 ACM SIGPLAN International Conference on Functional Programming, Paris, France, September 1999.
  • Crary, Karl ; David Walker, and Greg Morrisett. (1999) Crary, Karl ; David Walker, and Greg Morrisett. Typed Memory Management in a Calculus of Capabilities Abstract pdf
          in [POPL 1999] (1999) [ACM SIGACT-SIGPLAN] The Twenty-Sixth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 1999.
  • Crary, Karl and Weirich, Stephanie (1999) Crary, Karl and Weirich, Stephanie "Flexible Type Analysis"
          in [ICFP 1999] (1999) In the 1999 ACM SIGPLAN International Conference on Functional Programming, Paris, France, September 1999.
  • Frederick Smith, David Walker and Greg Morrisett. (1999) Frederick Smith, David Walker and Greg Morrisett. Alias Types. Technical Report TR99-1773, Cornell University, October 1999.
          in [ICFP 1999] (1999) In the 1999 ACM SIGPLAN International Conference on Functional Programming, Paris, France, September 1999.
  • Glew, Neal (1999) Glew, Neal "Type Dispatch for Named Hierarchical Types"
          in [ICFP 1999] (1999) In the 1999 ACM SIGPLAN International Conference on Functional Programming, Paris, France, September 1999.
  • Glew, Neal and Greg Morrisett. (1999) Glew, Neal and Greg Morrisett. Type-Safe Linking and Modular Assembly Language.
          in [POPL 1999] (1999) [ACM SIGACT-SIGPLAN] The Twenty-Sixth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 1999.
  • Glew, Neal Object Closure Conversion. (1999) Glew, Neal Object Closure Conversion. In the 3rd International Workshop on Higher Order Operational Techniques in Semantics, Paris, France, September 1999.
          in [POPL 1999] (1999) [ACM SIGACT-SIGPLAN] The Twenty-Sixth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 1999.
  • Glew, Neal Object Closure Conversion. (1999) Glew, Neal Object Closure Conversion. Technical Report TR99-1763, Cornell University, August 1999.
          in [POPL 1999] (1999) [ACM SIGACT-SIGPLAN] The Twenty-Sixth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 1999.
  • Glew, Neal Type Dispatch for Named Hierarchical Ty (1999) Glew, Neal Type Dispatch for Named Hierarchical Types. Technical Report TR99-1738, Cornell University, April 1999.
          in [POPL 1999] (1999) [ACM SIGACT-SIGPLAN] The Twenty-Sixth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 1999.
  • Greg Morrisett, Karl Crary, Neal Glew, Dan Grossma (1999) Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. "TALx86: A Realistic Typed Assembly Language"
          in [CSSS 1999] (1999) Proceedings of the 1999 ACM SIGPLAN Workshop on Compiler Support for System Software, Atlanta, GA, USA, May 1999.
  • Hornof, Luke and Trevor Jim. (1999) Hornof, Luke and Trevor Jim. Certifying Compilation and Run-time Code Generation Abstract pdf
          in [PESBPM 1999] (1999) the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Antonio, TX, USA, January 1999.
  • Morrisett, Greg; David Walker, Karl Crary, and Nea (1999) Morrisett, Greg; David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language. In ACM Transactions on Programming Languages and Systems, 21(3):528-569, May 1999.
          in [PESBPM 1999] (1999) the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Antonio, TX, USA, January 1999.
  • Smith, Frederick; Walker, David and Greg Morrisett (1999) Smith, Frederick; Walker, David and Greg Morrisett. "Alias Types"
          in (1999) European Symposium On Programming (ESOP'99), Lecture Notes in Computer Science
  • Walker. (1999) Walker. David A Type System for Expressive Security Policies. Technical Report TR99-1740, Cornell University, April 1999
          in (1999) European Symposium On Programming (ESOP'99), Lecture Notes in Computer Science
  • Zdancewic, Steve and Dan Grossman. (1999) Zdancewic, Steve and Dan Grossman. Principals in Programming Languages: Technical Results. Technical Report TR99-1752, Cornell University, June 1999.
          in (1999) European Symposium On Programming (ESOP'99), Lecture Notes in Computer Science
  • Zdancewic, Steve; Grossman, Dan and Greg Morrisett (1999) Zdancewic, Steve; Grossman, Dan and Greg Morrisett. "Principals in Programming Languages: A Syntactic Proof Technique"
          in [ICFP 1999] (1999) In the 1999 ACM SIGPLAN International Conference on Functional Programming, Paris, France, September 1999.
  • Crary Karl and Stephanie Weirich. (2000) Crary Karl and Stephanie Weirich. Resource Bound Certification
          in [POPL 2000] (2000) [ACM SIGACT-SIGPLAN] 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21, 2000
  • Crary, Karl ; Michael Hicks and Stephanie Weirich. (2000) Crary, Karl ; Michael Hicks and Stephanie Weirich. Safe and Flexible Dynamic Linking of Native Code
          in [WTIC] (2000) The 2000 ACM SIGPLAN Workshop on Types in Compilation, Montreal, Canada, September 2000.
  • Frederick Smith, Dan Grossman, Greg Morrisett, Luk (2000) Frederick Smith, Dan Grossman, Greg Morrisett, Luke Hornof, Trevor Jim. Compiling for Runtime Code Generation (Extended Version). Technical Report TR2000-1824, Cornell University, October 2000.
          in [WTIC] (2000) The 2000 ACM SIGPLAN Workshop on Types in Compilation, Montreal, Canada, September 2000.
  • Grossman, Dan and Greg Morrisett. (2000) Grossman, Dan and Greg Morrisett. Scalable Certification for Typed Assembly Language.
          in [WTIC] (2000) The 2000 ACM SIGPLAN Workshop on Types in Compilation, Montreal, Canada, September 2000.
  • Grossman, Dan and Greg Morrisett. (2000) Grossman, Dan and Greg Morrisett. Scalable Certification of Native Code: Experience from Compiling to TALx86. Technical Report TR2000-1783, Cornell University, February 2000.
          in [WTIC] (2000) The 2000 ACM SIGPLAN Workshop on Types in Compilation, Montreal, Canada, September 2000.
  • Walker, David A (2000) Walker, David A "Type System for Expressive Security Properties"
          in [POPL 2000] (2000) [ACM SIGACT-SIGPLAN] 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21, 2000
  • Walker, David and Greg Morrisett. (2000) Walker, David and Greg Morrisett. Alias Types for Recursive Data Structures. Technical Report TR2000-1787, Cornell University, March 2000.
          in [POPL 2000] (2000) [ACM SIGACT-SIGPLAN] 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21, 2000
  • Walker, David Karl Crary and Greg Morrisett. (2000) Walker, David Karl Crary and Greg Morrisett. Typed Memory Management in a Calculus of Capabilities. Technical Report TR2000-1780, Cornell University, February 2000.
          in [POPL 2000] (2000) [ACM SIGACT-SIGPLAN] 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21, 2000
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder