A semantic model of types and machine instructions for proof-carrying code
- 5 January 2000
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 243-253
- https://doi.org/10.1145/325694.325727
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Representing Java classes in a typed intermediate languagePublished by Association for Computing Machinery (ACM) ,1999
- Typed cross-module compilationPublished by Association for Computing Machinery (ACM) ,1998
- Proof-carrying codePublished by Association for Computing Machinery (ACM) ,1997
- Typed closure conversionPublished by Association for Computing Machinery (ACM) ,1996
- A framework for defining logicsJournal of the ACM, 1993
- Efficient software-based fault isolationPublished by Association for Computing Machinery (ACM) ,1993
- Abstract types have existential typeACM Transactions on Programming Languages and Systems, 1988
- An ideal model for recursive polymorphic typesInformation and Control, 1986
- ORBIT: an optimizing compiler for schemeACM SIGPLAN Notices, 1986
- Towards a theory of type structureLecture Notes in Computer Science, 1974