Login / Signup

Second-Order Principles in Specification Languages for Object-Oriented Programs.

Bernhard BeckertKerry Trentelman
Published in: LPAR (2005)
Keyphrases
  • object oriented programs
  • specification languages
  • formal specification
  • first order logic
  • integration testing
  • building blocks
  • impact analysis
  • machine learning
  • data analysis