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
|