269 search results - page 17 / 54 » Verification of Parameterized Systems Using Logic Program Tr... |
106
click to vote
XSYM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Recently it was shown that existing general-purpose inductive logic programming systems are useful for learning wrappers (known as L-wrappers) to extract data from HTML d...
201
Voted
PLDI
2009
ACM
16 years 8 days ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
SAC
2010
ACM
14 years 11 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
89
Voted
SERP
2004
15 years 1 months ago
2004
We describe ongoing work which aims to extend the schema-based program synthesis paradigm with explicit models. In this context, schemas can be considered as model-to-model transf...
206
click to vote
POPL
2006
ACM
15 years 12 months ago
2006
ACM
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...