Verification of Object Relational Maps

No abstract is available for this paper.

• Publication year

  2007

• Venue

  IEEE International Conference on Software Engineering and Formal Methods

• Publication date

  2007-09-10

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/SEFM.2007.45
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Anatomy of the ADO.NET entity framework

  2007cited by this paper
• Compiling mappings to bridge applications and databases

  2007cited by this paper
• Integrating programming languages and databases: What is the problem

  2005cited by this paper
• Mace4 Reference Manual and Guide

  2003cited by this paper
• An Extensible SAT-solver

  2003cited by this paper
• Alloy: A New Technology for Software Modelling

  2002cited by this paper
• E – a brainiac theorem prover

  2002influential reference
• Automatically validating temporal safety properties of interfaces

  2001cited by this paper
• Equivalences among aggregate queries with negation

  2001cited by this paper
• Automating software feature verification

  2000cited by this paper
• Computer-aided reasoning : ACL2 case studies

  2000cited by this paper
• Model checking for programming languages using VeriSoft

  1997cited by this paper
• Priniples of Database Query Processing for Advanced Applications

  1997cited by this paper
• Database Systems Concepts

  1997cited by this paper
• Of Objects and Databases: A Decade of Turmoil

  1996cited by this paper
• Normal forms and conservative properties for query languages over collection types

  1993cited by this paper
• Equivalence, query-reachability and satisfiability in Datalog extensions

  1993cited by this paper
• Converting nested algebra expressions into flat algebra expressions

  1992influential reference
• Graph-based Algorithm for Boolean Function Manipulation

  1989cited by this paper
• Symbolic model checking: 1020 states and beyond

  1989cited by this paper
• Equivalences Among Relational Expressions with the Union and Difference Operators

  1980cited by this paper

• Compiler Plugins Can Handle Nested Languages: AST-Level Expansion of LINQ Queries for Java

  2009cites this paper
• R-NEMXML: A Reusable Solution for NEM- XML Parser

  2009cites this paper
• Compiling mappings to bridge applications and databases

  2008cites this paper
• Compiling mappings to bridge applications and databases

  2007cites this paper