scientific article; zbMATH DE number 1798185

MaRDI QIDQ4553258zbMATH OpenFDO

Authors Xavier Leroy

Publication date 4 November 2002

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Java bytecode verification: Algorithms and formalizations
• Bytecode verification on Java smart cards
• scientific article; zbMATH DE number 1857507
• Fundamental Approaches to Software Engineering
• scientific article; zbMATH DE number 1796120

Cited in

(15)

• A certified lightweight non-interference Java bytecode verifier
• scientific article; zbMATH DE number 1857507 (Why is no real title available?)
• Java bytecode verification: Algorithms and formalizations
• scientific article; zbMATH DE number 2030038 (Why is no real title available?)
• scientific article; zbMATH DE number 2090143 (Why is no real title available?)
• Tool-assisted specification and verification of typed low-level languages
• Verified bytecode verification and type-certifying compilation
• A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
• Bytecode verification on Java smart cards
• jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
• Verification of Java Programs with Generics
• scientific article; zbMATH DE number 1796120 (Why is no real title available?)
• An assertion-based proof system for multithreaded Java
• scientific article; zbMATH DE number 2102730 (Why is no real title available?)
• Improving the official specification of Java bytecode verification

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 Q4553258)