Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Tycho Andersen
Directed Proof Generation for Machine Code
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Proof Theory for Machine Code
ACM Transactions on Programming Languages and Systems
Software
The Code Problem for Directed Figures
RAIRO - Theoretical Informatics and Applications
Mathematics
Computer Science Applications
Software
Proof-Carrying Code With Untrusted Proof Rules
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation
Polymorphic Type Inference for Machine Code
ACM SIGPLAN Notices
Computer Science
Code Generation for Multiple Mappings
Parallel Code Generation for Mobile Devices
Przeglad Elektrotechniczny
Electronic Engineering
Electrical
The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model and Proof Generation for Heap-Manipulating Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
