An operational formal definition of PROLOG: a specification method and its application-Reference-Cited by-同舟云学术

An operational formal definition of PROLOG: a specification method and its application

Published:1992-04 Issue:2 Volume:10 Page:121-171
ISSN:0288-3635
Container-title:New Generation Computing
language:en
Short-container-title:New Gener Comput

Author:

Deransart Pierre,Ferrand Gérard

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF03037477.pdf

Reference42 articles.

1. Apt, K. R., Blair, H. and Walker, A., “Toward a Theory of Declarative Knowledge,”LITP Res. Report, 86–10, Feb. 1986.

2. Apt, K. R. and Van Emden, M. H., “Contribution to the Theory of Logic Programming,”JACM, 29, 3, pp. 841–862, July 1982.

3. Apt, K. R., “Introduction to Logic Programming,”Technical Report, CS R8826, Centre for Mathematics and Computer Science, 1988. To appear inHandbook of Theoretical Computer Science (J. Van Leeuwen, ed.), North Holland.

4. Billaud, M., “Simple Operational and Denotation Semantics for Prolog with Cut,”Informatika 88 (INRIA Deransart, ed.), May 1988.

5. Batllou, N. and Lardot, L., “A Theory of Testing in Logic Programming,”ICLP’90, Preconference Workshop on Logic Programming Environments, Eilat, June 1990.

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

1. A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog;Logic-Based Program Synthesis and Transformation;2012

2. Toward the Concept of Backtracking Computation;Electronic Notes in Theoretical Computer Science;2005-05

3. Defining Standard Prolog in Rewriting Logic;Electronic Notes in Theoretical Computer Science;2000

4. A mathematical definition of full Prolog;Science of Computer Programming;1995-06

5. Why use evolving algebras for hardware and software engineering?;SOFSEM '95: Theory and Practice of Informatics;1995