Sciweavers

Share
11 search results - page 1 / 3
» tic 2000
Sort
View
NAR
2000
64views more  NAR 2000»
9 years 6 months ago
IMGT, the international ImMunoGeneTics database
Manuel Ruiz, Véronique Giudicelli, Chantal ...
TIC
2000
Springer
116views System Software» more  TIC 2000»
9 years 10 months ago
Sharing in Typed Module Assembly Language
Abstract. 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-ca...
Dominic Duggan
TIC
2000
Springer
174views System Software» more  TIC 2000»
9 years 10 months ago
Alias Types for Recursive Data Structures
Linear type systems permit programmers to deallocate or explicitly recycle memory, but they are severly restricted by the fact that they admit no aliasing. This paper describes a ...
David Walker, J. Gregory Morrisett
TIC
2000
Springer
124views System Software» more  TIC 2000»
9 years 10 months ago
Sound and Complete Elimination of Singleton Kinds
Singleton kinds provide an elegant device for expressing type equality information resulting from modern module languages, but they can severely complicate the metatheory of langu...
Karl Crary
TIC
2000
Springer
110views System Software» more  TIC 2000»
9 years 10 months ago
Safe and Flexible Dynamic Linking of Native Code
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...
Michael W. Hicks, Stephanie Weirich, Karl Crary
books