838 search results - page 40 / 168 » From Natural Language to Formal Proof Goal |
207
click to vote
PLDI
2006
ACM
16 years 1 days ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
204
click to vote
ESWS
2010
Springer
15 years 4 months ago
2010
Springer
Recent work in Ontology learning and Text mining has mainly focused on engineering methods to solve practical problem. In this thesis, we investigate methods that can substantially...
184
click to vote
JLP
2006
15 years 6 months ago
2006
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
158
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
154
click to vote
SACMAT
2009
ACM
16 years 18 days ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...