Generalised logic program transformation schemas

Simple item page
dc.citation.epage68en_US
dc.citation.spage49en_US
dc.contributor.authorBüyükyıldız, Halimeen_US
dc.contributor.authorFlener, Pierreen_US
dc.coverage.spatialLeuven, Belgium
dc.date.accessioned2016-02-08T11:59:24Z
dc.date.available2016-02-08T11:59:24Z
dc.date.issued1998-07en_US
dc.departmentDepartment of Computer Engineeringen_US
dc.descriptionDate of Conference: 10–12 July, 1997
dc.descriptionConference name: 7th International Workshop on Logic Programming Synthesis and Transformation Workshop, LOPSTR’97
dc.description.abstractSchema-based logic program transformation has proven to be an eective technique for the optimisation of programs. This paper results from the research that began by investigating the suggestions in [11] to construct a more general database of transformation schemas for optimising logic programs at the declarative level. The proposed transformation schemas fully automate accumulator introduction (also known as descending computational generalisation), tupling generalisation (a special case of structural generalisation), and duality laws (which are extensions to relational programming of the rst duality law of the fold operators in functional programming). The schemas are proven correct. A prototype schema-based transformation system is evaluated. © Springer-Verlag Berlin Heidelberg 1998.en_US
dc.description.provenanceMade available in DSpace on 2016-02-08T11:59:24Z (GMT). No. of bitstreams: 1 bilkent-research-paper.pdf: 70227 bytes, checksum: 26e812c6f5156f83f0e77b261a471b5a (MD5) Previous issue date: 1998en
dc.identifier.doi10.1007/3-540-49674-2_3
dc.identifier.issn0302-9743
dc.identifier.urihttp://hdl.handle.net/11693/27678
dc.language.isoEnglishen_US
dc.publisherSpringeren_US
dc.relation.isversionofttps://doi.org/10.1007/3-540-49674-2_3
dc.source.title7th International Workshop on Logic Programming Synthesis and Transformation Workshop, LOPSTR’97en_US
dc.subjectComputation theoryen_US
dc.subjectFormal logicen_US
dc.subjectFunctional programmingen_US
dc.subjectSynthesis (chemical)en_US
dc.subjectGeneralisationen_US
dc.subjectLogic programsen_US
dc.subjectOptimisationsen_US
dc.subjectTransformation systemsen_US
dc.subjectTuplingen_US
dc.subjectLogic programmingen_US
dc.titleGeneralised logic program transformation schemasen_US
dc.typeConference Paperen_US

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Generalised logic program transformation schemas.pdf
Size:
239.37 KB
Format:
Adobe Portable Document Format
Description:
Full printable version
Download

Collections

Department of Computer Engineering