198 search results - page 27 / 40 » Recovering Software Specifications with Inductive Logic Prog... |
ISSTA
2004
ACM
15 years 3 months ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
102
click to vote
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
ENTCS
2008
14 years 9 months ago
2008
Reactive programs have to react continuously to their inputs. Here the time needed to react with the according output is important. While the synchrony hypothesis takes the view t...
78
Voted
DAC
2009
ACM
15 years 10 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
IWPC
2002
IEEE
15 years 2 months ago
2002
IEEE
While code understanding is the primary program comprehension activity, it is quite challenging to recognize the application requirements from code, since they have usually been o...