Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/6000
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Danicic, S | - |
dc.contributor.author | Hierons, RM | - |
dc.contributor.author | Laurence, MR | - |
dc.date.accessioned | 2011-11-22T09:27:13Z | - |
dc.date.available | 2011-11-22T09:27:13Z | - |
dc.date.issued | 2011 | - |
dc.identifier.citation | Journal of Logic and Algebraic Programming, 80(8): 481 - 496, Nov 2011 | en_US |
dc.identifier.issn | 1567-8326 | - |
dc.identifier.uri | http://bura.brunel.ac.uk/handle/2438/6000 | - |
dc.description | This is a preprint version of the article - Copyright @ 2011 Elsevier | en_US |
dc.description.abstract | 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 liberal, such that the true and false parts of every if predicate satisfy a simple additional condition, and a slicing criterion defined by the final value of a given variable after execution of any program defined by S, the minimal subschema of S which respects this slicing criterion contains all the function and predicate symbols ‘needed’ by the variable according to the data dependence and control dependence relations used in program slicing, which is the symbol set given by Weiser’s static slicing algorithm. Thus this algorithm gives predicate-minimal slices for classes of programs represented by schemas satisfying our set of conditions. We also give an example to show that the corresponding result with respect to the slicing criterion defined by termination behaviour is incorrect. This complements a result by the authors in which S was required to be function-linear, instead of predicate-linear. | en_US |
dc.description.sponsorship | This work was supported by a grant from the Engineering and Physical Sciences Research Council, Grant EP/E002919/1. | en_US |
dc.language.iso | en | en_US |
dc.publisher | Elsevier | en_US |
dc.subject | Program schemas | en_US |
dc.subject | Herbrand domain | en_US |
dc.subject | Program slicing | en_US |
dc.subject | Weiser's algorithm | en_US |
dc.subject | Free and liberal schemas | en_US |
dc.subject | Linear schemas | en_US |
dc.subject | Equivalence | en_US |
dc.title | Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas | en_US |
dc.type | Article | en_US |
dc.identifier.doi | http://dx.doi.org/10.1016/j.jlap.2011.04.009 | - |
pubs.organisational-data | /Brunel | - |
pubs.organisational-data | /Brunel/Brunel (Active) | - |
pubs.organisational-data | /Brunel/Brunel (Active)/School of Info. Systems, Comp & Maths | - |
pubs.organisational-data | /Brunel/Research Centres (RG) | - |
pubs.organisational-data | /Brunel/Research Centres (RG)/CIKM | - |
pubs.organisational-data | /Brunel/School of Information Systems, Computing and Mathematics (RG) | - |
pubs.organisational-data | /Brunel/School of Information Systems, Computing and Mathematics (RG)/CIKM | - |
Appears in Collections: | Publications Computer Science Dept of Computer Science Research Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
schemas.pdf | 322.19 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.