Characterizing minimal semantics-preserving slices of function-linear, free, liberal program schemas
نویسندگان
چکیده
منابع مشابه
Characterizing minimal semantics-preserving slices of function-linear, free, liberal program schemas
A program schema defines a class of programs, all of which have identical statement structure, but whose functions and predicates may differ. A schema thus defines an entire class of programs according to how its symbols are interpreted. As defined in this paper, a slice of a schema is obtained from a schema by deleting some of its statements. We prove that given a schema S which is functionlin...
متن کاملCharacterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas
A program schema defines a class of programs, all of which have identical statement structure, but whose functions and predicates may differ. A schema thus defines an entire class of programs according to how its symbols are interpreted. A subschema of a schema is obtained from a schema by deleting some of its statements. We prove that given a schema S which is predicate-linear, free and libera...
متن کاملDecidability of Strong Equivalence for Slices of a Class of Linear, Free, near-Liberal Program Schemas
A program schema defines a class of programs, all of which have identical statement structure, but whose functions and predicates may differ. A schema thus defines an entire class of programs according to how its symbols are interpreted. Two schemas are strongly equivalent if they always define the same function from initial states to final states for every interpretation. A slice of a schema i...
متن کاملStatic Program Slicing Algorithms are Minimal for Free Liberal Program Schemas
1Department of Computing, Goldsmiths College, University of London, New Cross, London SE14 6NW, UK 2Department of Computer Science, University of Essex, Colchester CO4 3SQ, UK 3Department of Computer Science, King’s College London, Strand, London WC2R 2LS, UK 4School of Information Systems, Computing and Mathematics, Brunel University, Uxbridge, Middlesex UB8 3PH, UK 5@UK PLC, 5 Jupiter House, ...
متن کاملDecidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas
A program schema defines a class of programs, all of which have identical statement structure, but whose functions and predicates may differ. A schema thus defines an entire class of programs according to how its symbols are interpreted. Two schemas are strongly equivalent if they always define the same function from initial states to final states for every interpretation. A subschema of a sche...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2007
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2007.02.008