scientific article; zbMATH DE number 1746459

zbMATH Open0985.68659MaRDI QIDQ4532093FDOQ4532093

Authors: Dan Grossman, Greg Morrisett 

Publication date: 28 May 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2071/20710117

Title of this publication is not available (Why is that?)

Recommendations

• Certifying compilation and run-time code generation
• Verification, Model Checking, and Abstract Interpretation
• scientific article; zbMATH DE number 1980940
• Programming Languages and Systems
• Verified bytecode verification and type-certifying compilation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99) Theory of compilers and interpreters (68N20)

Cited In (7)

• Stack-based typed assembly language
• More Typed Assembly Languages for Confidentiality
• An expressive, scalable type theory for certified code
• Verification, Model Checking, and Abstract Interpretation
• Title not available (Why is that?)
• Certifying assembly programs with trails
• A type system for certified binaries

Uses Software

• OCaml
• TALx86

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4532093)