1173 search results - page 67 / 235 » Program Derivation Using Analogy |
144
click to vote
AI
2004
Springer
15 years 4 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
137
click to vote
IEEEPACT
2006
IEEE
15 years 10 months ago
2006
IEEE
A recent trend in computing are domain-specific program generators, designed to alleviate the effort of porting and reoptimizing libraries for fast-changing and increasingly com...
127
click to vote
ACL
2004
15 years 6 months ago
2004
The purpose of this paper is to re-examine the balance between clarity and efficiency in HPSG design, with particular reference to the design decisions made in the English Resourc...
127
click to vote
APSEC
2008
IEEE
15 years 6 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
108
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...