Jakarta: A Toolset for Reasoning about JavaCard

This publication has 21 references indexed in Scilit:

• Formalizing the safety of Java, the Java virtual machine, and Java card
  ACM Computing Surveys, 2001
• A Formal Executable Semantics of the JavaCard Platform
  Published by Springer Nature ,2001
• Describing the Semantics of Java and Proving Type Soundness
  Published by Springer Nature ,1999
• A Programmer Friendly Modular Definition of the Semantics of Java
  Published by Springer Nature ,1999
• Types as abstract interpretations
  Published by Association for Computing Machinery (ACM) ,1997
• Towards an Integrated CASE and theorem proving tool for VDM-SL
  Published by Springer Nature ,1997
• Language Prototyping: An Algebraic Specification Approach
  Published by World Scientific Pub Co Pte Ltd ,1996
• A shallow embedding of Z in HOL
  Information and Software Technology, 1995
• Conditional rewrite rules: Confluence and termination
  Journal of Computer and System Sciences, 1986
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977