Logic program transformation through generalization schemata

Simple item page
dc.citation.epage173en_US
dc.citation.spage171en_US
dc.contributor.authorFlener, Pierreen_US
dc.contributor.authorDeville, Y.en_US
dc.coverage.spatialUtrecht, The Netherlands
dc.date.accessioned2016-02-08T12:00:33Z
dc.date.available2016-02-08T12:00:33Z
dc.date.issued1996-09en_US
dc.departmentDepartment of Computer Engineeringen_US
dc.descriptionDate of Conference: 20-22 September, 1995
dc.descriptionConference name: LOPSTR '95 Proceedings of the 5th International Workshop on Logic Programming Synthesis and Transformation
dc.description.abstractIn program synthesis, program transformation can be done on the fly, based on information generated and exploited during the program construction process. For instance, some logic program generalization techniques can be pre-compiled at the logic program schema level, yielding transformation schemata that give rise to elimination of the eureka discovery, full automation of the transformation process itself, and even the prediction whether and which optimizations will be achieved.en_US
dc.description.provenanceMade available in DSpace on 2016-02-08T12:00:33Z (GMT). No. of bitstreams: 1 bilkent-research-paper.pdf: 70227 bytes, checksum: 26e812c6f5156f83f0e77b261a471b5a (MD5) Previous issue date: 1996en
dc.identifier.doi10.1007/3-540-60939-3_13
dc.identifier.issn0302-9743
dc.identifier.urihttp://hdl.handle.net/11693/27738
dc.language.isoEnglishen_US
dc.publisherSpringeren_US
dc.relation.isversionofhttps://doi.org/10.1007/3-540-60939-3_13
dc.source.titleLOPSTR '95 Proceedings of the 5th International Workshop on Logic Programming Synthesis and Transformationen_US
dc.subjectLogic program
dc.subjectComposition operator
dc.subjectProgram transformation
dc.subjectGeneralization schema
dc.subjectStructural generalization
dc.titleLogic program transformation through generalization schemataen_US
dc.typeConference Paperen_US

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Logic_program_transformation_through_generalization_schemata.pdf
Size:
195.4 KB
Format:
Adobe Portable Document Format
Description:
Download

Collections

Scholarly Publications - Computer Engineering