Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
2,376
From System F to Typed Assembly Language
- ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
, 1998
"... ..."
TALx86: A Realistic Typed Assembly Language
"... In previous work, we presented a formalism for a statically typed, idealized assembly language called TAL. The goal of TAL was to provide an extremely lowlevel, statically-typed target language that is better suited than Java bytecodes for supporting a wide variety of source languages and a number o ..."
Abstract
-
Cited by 166 (34 self)
- Add to MetaCart
In previous work, we presented a formalism for a statically typed, idealized assembly language called TAL. The goal of TAL was to provide an extremely lowlevel, statically-typed target language that is better suited than Java bytecodes for supporting a wide variety of source languages and a number
Heap Bounded Assembly Language
, 2003
"... We present a first-order linearly typed assembly language, HBAL, that allows the safe reuse of heap space for elements of di#erent types. The linear types discipline ensures a single pointer property, but disallows aliasing. Since HBAL does not assume an external memory management system, programs r ..."
Abstract
-
Cited by 28 (11 self)
- Add to MetaCart
We present a first-order linearly typed assembly language, HBAL, that allows the safe reuse of heap space for elements of di#erent types. The linear types discipline ensures a single pointer property, but disallows aliasing. Since HBAL does not assume an external memory management system, programs
A Linearly Typed Assembly Language
- In Workshop on Types in Compilation
"... Today's type-safe low-level languages rely on garbage collection to recycle heap-allocated objects safely. We present LTAL, a safe, low-level, yet simple language that "stands on its own": it guarantees safe execution within a fixed memory space, without relying on external run-time s ..."
Abstract
-
Cited by 150 (34 self)
- Add to MetaCart
Today's type-safe low-level languages rely on garbage collection to recycle heap-allocated objects safely. We present LTAL, a safe, low-level, yet simple language that "stands on its own": it guarantees safe execution within a fixed memory space, without relying on external run
A Dependently Typed Assembly Language
, 2001
"... We present a dependently typed assembly language (DTAL) in which the type system supports the use of a restricted form of dependent types, reaping some benefits of dependent types at assembly level. DTAL overcomes several significant limitations in recently proposed low-level languages including Jav ..."
Abstract
-
Cited by 72 (10 self)
- Add to MetaCart
We present a dependently typed assembly language (DTAL) in which the type system supports the use of a restricted form of dependent types, reaping some benefits of dependent types at assembly level. DTAL overcomes several significant limitations in recently proposed low-level languages including
Programming Semantics for Multiprogrammed Computations
- ASSOCIATION FOR COMPUTING MACHINERY CONFERENCE ON PROGRAMMING LANGUAGES AND PRAGMATICS, SAN DIMAS, CALIFORNIA, AUGUST 8-12, 1965
, 1965
"... ... between an assembly language and an advanced algebraic language. ..."
Abstract
-
Cited by 347 (4 self)
- Add to MetaCart
... between an assembly language and an advanced algebraic language.
Sharing in Typed Module Assembly Language
- In Preliminary Proceedings of the Third Workshop on Types in Compilation (TIC 2000). Carnegie Mellon
, 2000
"... There is a growing need to provide low-overhead softwarebased protection mechanisms to protect against malicious or untrusted code. Type-based approaches such as proof-carrying code and typed assembly language provide this protection by relying on untrusted compilers to certify the safety proper ..."
Abstract
-
Cited by 19 (4 self)
- Add to MetaCart
There is a growing need to provide low-overhead softwarebased protection mechanisms to protect against malicious or untrusted code. Type-based approaches such as proof-carrying code and typed assembly language provide this protection by relying on untrusted compilers to certify the safety
Alpha Assembly Language Guide
, 1998
"... This document provides an overview of the Alpha instruction set and assembly language programming conventions. The Alpha architecture was formulated by Digital Equipment Corporation as a second generation reduced instruction set computer (RISC) architecture. It represents a careful balance between p ..."
Abstract
- Add to MetaCart
This document provides an overview of the Alpha instruction set and assembly language programming conventions. The Alpha architecture was formulated by Digital Equipment Corporation as a second generation reduced instruction set computer (RISC) architecture. It represents a careful balance between
Toward a Foundational Typed Assembly Language
, 2002
"... We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements the von Neumann model in which programs are stored in memory, and supports relative addressing. Type safety for execution ..."
Abstract
-
Cited by 91 (9 self)
- Add to MetaCart
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements the von Neumann model in which programs are stored in memory, and supports relative addressing. Type safety for execution
Results 1 - 10
of
2,376
