• 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.

      On correct program schemas

      Thumbnail
      View / Download
      256.4 Kb
      Author
      Flener, Pierre
      Lau, K. K.
      Ornaghi, M.
      Date
      1998
      Source Title
      Logic Program Synthesis and Transformation
      Print ISSN
      0302-9743
      Publisher
      Springer, Berlin, Heidelberg
      Volume
      1463
      Pages
      128 - 147
      Language
      English
      Type
      Conference Paper
      Item Usage Stats
      119
      views
      70
      downloads
      Abstract
      We present our work on the representation and correctness of program schemas, in the context of logic program synthesis. Whereas most researchers represent schemas purely syntactically as higher-order expressions, we shall express a schema as an open rst-order theory that axiomatises a problem domain, called a specication framework, containing an open program that represents the template of the schema. We will show that using our approach we can dene a meaningful notion of correctness for schemas, viz. that correct program schemas can be expressed as parametric specication frameworks containing templates that are steadfast, i.e. programs that are always correct provided their open relations are computed correctly. © Springer-Verlag Berlin Heidelberg 1998.
      Keywords
      Formal logic
      Synthesis (chemical)
      Higher-order
      Logic programs
      Order theory
      Problem domain
      Logic programming
      Permalink
      http://hdl.handle.net/11693/27684
      Published Version (Please cite this version)
      https://doi.org/10.1007/3-540-49674-2
      Collections
      • Department of Computer Engineering 1398
      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