2205 search results - page 131 / 441 » Mutation Operators for Specifications |
116
click to vote
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...
135
Voted
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
122
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...
99
Voted
EACL
2006
ACL Anthology
15 years 3 months ago
2006
ACL Anthology
GOD (General Ontology Discovery) is an unsupervised system to extract semantic relations among domain specific entities and concepts from texts. Operationally, it acts as a search...
120
click to vote
AAAI
1994
15 years 3 months ago
1994
In this paper we consider updates that are specified as rules and consider simple knowledge bases consisting of ground atoms. We present a translation of the rule based update spe...