Login / Signup

A Unified Formal Specification and Analysis of the New Java Memory Models.

Varsha AwhadCharles Wallace
Published in: Abstract State Machines (2003)
Keyphrases
  • formal specification
  • object oriented design
  • cooperative
  • probabilistic model
  • open source
  • artificial intelligence
  • databases
  • web services
  • reverse engineering
  • formal methods
  • specification language