scientific article; zbMATH DE number 1798185

zbMATH Open0996.68591MaRDI QIDQ4553258FDOQ4553258

Xavier Leroy

Publication date: 4 November 2002

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

Mathematics Subject Classification ID

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

Cited In (13)

• Title not available (Why is that?)
• Java bytecode verification: Algorithms and formalizations
• 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
• Title not available (Why is that?)
• An assertion-based proof system for multithreaded Java
• Title not available (Why is that?)
• Improving the official specification of Java bytecode verification
• A certified lightweight non-interference Java bytecode verifier

   Recommendations

• Java bytecode verification: Algorithms and formalizations 👍 👎
• Bytecode verification on Java smart cards 👍 👎
• Title not available (Why is that?) 👍 👎
• Fundamental Approaches to Software Engineering 👍 👎
• Title not available (Why is that?) 👍 👎

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)