Automatic verification of database transaction safety

This publication has 12 references indexed in Scilit:

• Proving Consistency Of Database Transactions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• On the modes and meaning of feedback to transaction designers
  Published by Association for Computing Machinery (ACM) ,1987
• Integrity checking for multiple updates
  Published by Association for Computing Machinery (ACM) ,1985
• Safe Data Type Specifications
  IEEE Transactions on Software Engineering, 1984
• A Formal System for Reasoning about Programs Accessing a Relational Database
  ACM Transactions on Programming Languages and Systems, 1980
• Social processes and proofs of theorems and programs
  Communications of the ACM, 1979
• The logic of a relational data manipulation language
  Published by Association for Computing Machinery (ACM) ,1979
• Reasoning about recursively defined data structures
  Published by Association for Computing Machinery (ACM) ,1978
• Recursive data structures
  International Journal of Parallel Programming, 1975
• An axiomatic basis for computer programming
  Communications of the ACM, 1969