Export Citations
2 Results for: Book/Issue: Logic-Based Program Synthesis and Transformation
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,826,055 records)|Limit your search to The ACM Full-Text Collection (772,627 records)
Showing 1 - 2of2 Results
Select All
- ArticleSeptember 2024
Improving Logic Programs by Adding Functions
Logic-Based Program Synthesis and TransformationPages 27–44https://doi.org/10.1007/978-3-031-71294-4_2AbstractLogic programming is based on defining relations. Functions are often considered as syntactic sugar which can be transformed into predicates so that their logic is not used for computational purposes. In this paper, we present a method to use ...
- ArticleSeptember 2024
Rewriting Induction for Higher-Order Constrained Term Rewriting Systems
Logic-Based Program Synthesis and TransformationPages 202–219https://doi.org/10.1007/978-3-031-71294-4_12AbstractLogically Constrained Term Rewriting Systems (LCTRSs) provide a framework very suitable for modeling both imperative and functional languages. One may convert programs in traditional languages into LCTRSs, and then use methods from term rewriting ...
