Horn Logic Denotations and Their Applications-Reference-Cited by-同舟云学术

Horn Logic Denotations and Their Applications

Published:1999 Issue: Volume: Page:127-159
ISSN:1431-0066
Container-title:The Logic Programming Paradigm
language:
Short-container-title:

Author:

Gupta Gopal

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-60085-2_6.pdf

Reference50 articles.

1. R. Alur,D. Dill. The Theory of Timed Automata.Theoretical Computer Science, 126, 1994

2. M. Garcia de la Banda, M. Hermenegildo, et al.Global Analysis of Constraint Logic Programs. In ACM Trans. on Prog. Languages and Systems, Vol. 18, Num. 5, pages 564–615, ACM, 1996

3. S. K. Das. Deductive Databases and Logic Programming. Addison-Wesley. 1992

4. S. Debray, P. Lopez-Garcia, and M. Hermenegildo. Non-failure Analysis for Logic Programs. In International Conference on Logic Programming. MIT Press, 1997.

5. D.F. Brown et al. ACTRESS: an action semantics directed compiler generator. In Proc. 4th Int’l Conf. on Compiler Construction. Springer LNCS 641, pp. 95–109. 1992

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

1. Automatic Scheduling Technology of Computing Power Network Driven by Knowledge Graph;2022 International Conference on Service Science (ICSS);2022-05

2. A semantic approach for automated test oracle generation;Computer Languages, Systems & Structures;2016-04

3. Generating Specialized Interpreters for Modular Structural Operational Semantics;Logic-Based Program Synthesis and Transformation;2014

4. Denotational Semantics Using Horn Concurrent Transaction Logic;Logic Programming;2005

5. Towards Provably Correct Code Generation via Horn Logical Continuation Semantics;Practical Aspects of Declarative Languages;2005