Typed assembly language

Known as: TAL, Typed assembler language 
In computer science, a typed assembly language (TAL) is an assembly language that is extended to include a method of annotating the datatype of each… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
In this paper we present Singleton, a dependently typed assembly language. Based upon the calculus of inductive constructions… (More)
  • figure 3
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2010
2010
A certifying compiler preserves type information through compilation to assembly language programs, producing typed assembly… (More)
  • table 2
  • table 3
  • table 1
  • table 4
  • figure 2
Is this relevant?
2007
2007
Typed assembly languages usually support heap allocation safely, but often rely on an external garbage collector to deallocate… (More)
  • figure 1
  • figure 2
  • figure 6
  • figure 8
Is this relevant?
2006
2006
The recent advances in static program analysis, especially in type theory, have been widely accepted as a fundamental technology… (More)
  • figure 1.1
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
Is this relevant?
2004
2004
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
We present a dependently typed assembly language (DTAL) in which the type system supports the use of a restricted form of… (More)
Is this relevant?
2000
2000
A type-based certifying compiler maps source code to machine code and target-level type annotations. The targetlevel annotations… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1999
Highly Cited
1999
The goal of typed assembly language (TAL) is to provide a low-level, statically typed target language that is better suited than… (More)
  • table 1
  • figure 1
  • figure 2
Is this relevant?
1998
1998
In previous work, we presented Typed Assembly Language (TAL). TAL is su ciently expressive to serve as a target language for… (More)
Is this relevant?
1997
1997
We motivate the design of a statically typed assembly language (TAL) and present a typepreserving translation from System F to… (More)
Is this relevant?