A Programmer Friendly Modular Definition of the Semantics of Java

This publication has 14 references indexed in Scilit:

• A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study)
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An Event-Based Structural Operational Semantics of Multi-threaded Java
  Published by Springer Nature ,1999
• A type system for Java bytecode subroutines
  Published by Association for Computing Machinery (ACM) ,1998
• Prototyping realistic programming languages based on formal specifications
  Acta Informatica, 1997
• A practical method for rigorously controllable hardware design
  Published by Springer Nature ,1997
• Java is type safe — Probably
  Published by Springer Nature ,1997
• Correctness of compiling Occam to transputer code
  The Computer Journal, 1996
• A mathematical definition of full Prolog
  Science of Computer Programming, 1995
• A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines
  Published by Springer Nature ,1995
• Action Semantics
  Published by Cambridge University Press (CUP) ,1992