1023 search results - page 27 / 205 » A Formal Method for Program Slicing |
ICSM
2009
IEEE
15 years 8 months ago
2009
IEEE
Dependence analysis underpins many activities in software maintenance such as comprehension and impact analysis. As a result, dependence has been studied widely for programming la...
ICRA
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper presents a class of fundamental control policies suitable for use in a novel method for designing and specifying the dynamic motion of robotic systems. Through recourse...
121
click to vote
PPDP
2007
Springer
15 years 7 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
DBPL
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Provenance is information recording the source, derivation, or history of some information. Provenance tracking has been studied in a variety of settings; however, althou...
103
click to vote
JAVACARD
2000
15 years 5 months ago
2000
Abstract This note discusses a verification in PVS of the AID (Application Identifier) class from JavaCard's API. The properties that are verified are formulated in the interf...