3535 search results - page 309 / 707 » Logic Program Specialisation |
307
Voted
FM
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
156
click to vote
POPL
2012
ACM
14 years 17 days ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
154
Voted
LOPSTR
1997
Springer
15 years 9 months ago
1997
Springer
Schema-based program transformation [8] has been proposed as an effective technique for the optimisation of logic programs. Schemata are applied to a logic program, mapping ineffi...
139
click to vote
UIST
2004
ACM
15 years 10 months ago
2004
ACM
Many applications provide a form-like interface for requesting information: the user fills in some fields, submits the form, and the application presents corresponding results. ...
137
click to vote
WOTUG
2007
15 years 6 months ago
2007
Abstract. Operating-systems are the core software component of many modern computer systems, ranging from small specialised embedded systems through to large distributed operating-...