4722 search results - page 145 / 945 » Representation-independent program analysis |
JUCS
2010
13 years 4 months ago
2010
Abstract: We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped -calcul...
SCAM
2007
IEEE
14 years 3 months ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
DDEP
2000
Springer
14 years 1 months ago
2000
Springer
There are parallels between the construction of programs and the construction of hypertexts, and in ar between the abstractions available to the application programmer and those a...
JUCS
2007
13 years 9 months ago
2007
: Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is pa...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
We are designing dynamic analysis techniques to identify executed program statements where a fault lies, i.e. the fault candidate set. To narrow the set of statements in the fault...