520 search results - page 50 / 104 » Implementing a Generalized Version of Resolution |
ICFP
1999
ACM
15 years 2 months ago
1999
ACM
Languages such as Java, ML, Scheme, and Haskell provide automatic storage management, that is, garbage collection. The two fundamental operations performed on a garbagecollected h...
FORTE
1997
14 years 11 months ago
1997
c Checking of Aggregation Abstractions Through State Enumeration Seungjoon Park, Member, IEEE, Satyaki Das, and David L. Dill, Member, IEEE —Aggregation abstraction is a way of d...
TOPLAS
2008
14 years 9 months ago
2008
WS-SecurityPolicy is a declarative language for configuring web services security mechanisms. We describe a formal semantics for WS-SecurityPolicy and propose a more abstract lang...
153
click to vote
ICDE
2005
IEEE
15 years 11 months ago
2005
IEEE
Releasing person-specific data in its most specific state poses a threat to individual privacy. This paper presents a practical and efficient algorithm for determining a generaliz...
DAC
2002
ACM
15 years 11 months ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...