Transformation Rules for Locally Stratified Constraint Logic Programs-Reference-Cited by-同舟云学术

Transformation Rules for Locally Stratified Constraint Logic Programs

Published:2004 Issue: Volume: Page:291-339
ISSN:0302-9743
Container-title:Program Development in Computational Logic
language:
Short-container-title:

Author:

Fioravanti Fabio,Pettorossi Alberto,Proietti Maurizio

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-25951-0_10.pdf

Reference44 articles.

1. Lecture Notes in Computer Science;M. Alpuente,1992

2. Apt, K.R.: Introduction to logic programming. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 493–576. Elsevier, Amsterdam (1990)

3. Apt, K.R.: From Logic Programming to Prolog. Prentice Hall, London (1997)

4. Apt, K.R., Bol, R.N.: Logic programming and negation: A survey. Journal of Logic Programming 19-20, 9–71 (1994)

5. Autebert, J.-M., Berstel, J., Boasson, L.: Context-free languages and pushdown automata. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol. 1, pp. 111–174. Springer, Berlin (1997)

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

1. A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution);Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11

2. Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach;Journal of Logic and Computation;2022-02-04

3. Analysis and Transformation of Constrained Horn Clauses for Program Verification;Theory and Practice of Logic Programming;2021-11-15

4. Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates;Automated Reasoning;2020

5. VeriMAP: A Tool for Verifying Programs through Transformations;Tools and Algorithms for the Construction and Analysis of Systems;2014