• About
  • Policies
  • What is openaccess
  • Library
  • Contact
Advanced search
      View Item 
      •   BUIR Home
      • Scholarly Publications
      • Faculty of Engineering
      • Department of Computer Engineering
      • View Item
      •   BUIR Home
      • Scholarly Publications
      • Faculty of Engineering
      • Department of Computer Engineering
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Generalised logic program transformation schemas

      Thumbnail
      View / Download
      239.4 Kb
      Author
      Büyükyıldız, Halime
      Flener, Pierre
      Date
      1998-07
      Source Title
      7th International Workshop on Logic Programming Synthesis and Transformation Workshop, LOPSTR’97
      Print ISSN
      0302-9743
      Publisher
      Springer
      Pages
      49 - 68
      Language
      English
      Type
      Conference Paper
      Item Usage Stats
      150
      views
      111
      downloads
      Abstract
      Schema-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.
      Keywords
      Computation theory
      Formal logic
      Functional programming
      Synthesis (chemical)
      Generalisation
      Logic programs
      Optimisations
      Transformation systems
      Tupling
      Logic programming
      Permalink
      http://hdl.handle.net/11693/27678
      Published Version (Please cite this version)
      ttps://doi.org/10.1007/3-540-49674-2_3
      Collections
      • Department of Computer Engineering 1368
      Show full item record

      Browse

      All of BUIRCommunities & CollectionsTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartmentsThis CollectionTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartments

      My Account

      Login

      Statistics

      View Usage StatisticsView Google Analytics Statistics

      Bilkent University

      If you have trouble accessing this page and need to request an alternate format, contact the site administrator. Phone: (312) 290 1771
      Copyright © Bilkent University - Library IT

      Contact Us | Send Feedback | Off-Campus Access | Admin | Privacy