619 search results - page 3 / 124 » The Design and Implementation of a Certifying Compiler |
WETICE
2000
IEEE
13 years 10 months ago
2000
IEEE
With the advent and the rising popularity of networks, Internet, intranets and distributed systems, security is becoming one of the major concerns in IT research. An increasing nu...
COMPCON
1995
IEEE
13 years 9 months ago
1995
IEEE
Netbill is a business model, set of protocols, and software implementation for commerce in information goods and other network delivered services. It has very low transaction cost...
TLDI
2003
ACM
13 years 11 months ago
2003
ACM
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
PKC
1998
Springer
13 years 10 months ago
1998
Springer
A basic function of all signatures, digital or not, is to express trust and authority, explicit or implied. This is especially the case with digital signatures used in certificates...
ESOP
2007
Springer
13 years 12 months ago
2007
Springer
We give an overview of a proof-producing compiler which translates recursion equations, defined in higher order logic, to assembly language. The compiler is implemented and valida...