Painless programming combining reduction and search-Reference-Cited by-同舟云学术

Painless programming combining reduction and search

Published:2012-10-15 Issue:9 Volume:47 Page:89-102
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Sheard Timothy E.¹

Affiliation:

1. Portland State University, Portland, OR, USA

Abstract

We describe the Funlogic system which extends a functional language with existentially quantified declarations. An existential declaration introduces a variable and a set of constraints that its value should meet. Existential variables are bound to conforming values by a decision procedure. Funlogic embeds multiple external decision procedures using a common framework. Design principles for embedding decision procedures are developed and illustrated for three different decision procedures from widely varying domains.

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Link

https://dl.acm.org/doi/pdf/10.1145/2398856.2364542

Reference27 articles.

1. DESIGN AND RESULTS OF THE 3RD ANNUAL SATISFIABILITY MODULO THEORIES COMPETITION (SMT-COMP 2007)

2. B. Braßel M. Hanus B. Peemöller and F. Reck . KiCS2: A new compiler from curry to haskell . In H. Kuchen editor WFLP volume 6816 of Lecture Notes in Computer Science pages 1 -- 18 . Springer 2011 . ISBN 978-3-642-22530-7. URL http://dx.doi.org/10.1007/978-3-642-22531-4. B. Braßel M. Hanus B. Peemöller and F. Reck. KiCS2: A new compiler from curry to haskell. In H. Kuchen editor WFLP volume 6816 of Lecture Notes in Computer Science pages 1--18. Springer 2011. ISBN 978-3-642-22530-7. URL http://dx.doi.org/10.1007/978-3-642-22531-4.

3. Normalization by evaluation with typed abstract syntax

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Language Support for Navigating Architecture Design in Closed Form;ACM Journal on Emerging Technologies in Computing Systems;2020-01-31

2. Component-Based Synthesis of Embedded Systems Using Satisfiability Modulo Theories;ACM Transactions on Design Automation of Electronic Systems;2015-09-28

3. Design and Implementation of the LogicBlox System;Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data;2015-05-27