论文信息 - Implementation of Axiomatic Language

Implementation of Axiomatic Language

This report summarizes a PhD research eort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification language, so its implementation involves the transformation of specifications to ecient algorithms. The language is described and the implementation task is discussed. 1998 ACM Subject Classification D.1.6 Logic Programming, I.2.2 Automatic Programming

Walter W. Wilson

[1] Martin P. Ward. Language-Oriented Programming , 1994, Softw. Concepts Tools.

[2] B. Ginoux,et al. DESCARTES: an automatic programming system for algorithmically simple programs , 1998, Proceedings Ninth International Workshop on Software Specification and Design.

[3] Michael Kifer,et al. HILOG: A Foundation for Higher-Order Logic Programming , 1993, J. Log. Program..

[4] Sophie Renault. A System for Transforming Logic Programs , 1997 .

[5] Kung-Kiu Lau,et al. A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs , 1993, LOPSTR.

[6] Walter W. Wilson,et al. Beyond PROLOG: software specification by grammar , 1982, SIGP.

[7] Simon Peyton Jones,et al. Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell , 2005 .

[8] Paul Hudak,et al. Building domain-specific embedded languages , 1996, CSUR.

[9] Keith L. Clark,et al. Micro-Prolog - programming in logic , 1984, Prentice Hall international series in computer science.

[10] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.

[11] Alberto Pettorossi,et al. Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs , 1999, J. Log. Program..

[12] Richard C. Waters,et al. Automatic programming: myths and prospects , 1988, Computer.