Formal Modeling in a Commercial Setting: A Case Study
This paper describes a case study conducted in collaboration with Nortel to demonstrate the feasibility of applying formal modeling techniques
arxiv.orgrank this link
Refine results · kind
suites)
3 indexed results
On the Abductive or Deductive Nature of Database Schema Validation and Update Processing Problems
We show that database schema validation and update processing problems such as view updating, materialized view maintenance, integrity constraint checking,
arxiv.orgrank this link
Strategic polymorphism requires just two combinators!
In previous work, we introduced the notion of functional strategies: first-class generic functions that can traverse terms of any type
arxiv.orgrank this link