2763 search results - page 80 / 553 » The Dangerous 'All' in Specifications |
TPHOL
1998
IEEE
14 years 1 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
ISSTA
1996
ACM
14 years 1 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
DAC
1995
ACM
14 years 23 days ago
1995
ACM
Application domain specific DSP cores are becoming increasingly popular due to their advantageous trade–off between flexibility and cost. However, existing code generation metho...
EDBT
2010
ACM
13 years 11 months ago
2010
ACM
One of the most challenging tasks for the database administrator is to physically design the database to attain optimal performance for a given workload. Physical design is hard b...
COMPSAC
2008
IEEE
13 years 11 months ago
2008
IEEE
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...