论文信息 - A Semantics-Based Determinacy Analysis for Prolog with Cut

A Semantics-Based Determinacy Analysis for Prolog with Cut

At PEPM'91 Sahlin presented a determinacy analysis for Prolog with cut. The analysis was, however, not justified in any kind of semantics for Prolog, so correctness was argued with respect to an intuitive idea of the behaviour of Prolog programs.

Torben Æ. Mogensen

[1] Neil D. Jones,et al. Stepwise Development of Operational and Denotational Semantics for Prolog , 1984, International Conference on Spoken Language Processing.

[2] Chris Hankin,et al. Abstract Interpretation of Declarative Languages , 1987 .

[3] Dan Sahlin. Determinacy Analysis for Full Prolog , 1991, PEPM.

[4] David A. Schmidt,et al. Denotationaisemantics: a methodology for language development , 1986 .

[5] Gordon D. Plotkin,et al. A Powerdomain Construction , 1976, SIAM J. Comput..

[6] Erik P. de Vink,et al. Continuation Semantics for PROLOG with Cut , 1989, TAPSOFT, Vol.1.

[7] Saumya K. Debray,et al. Denotational and Operational Semantics for Prolog , 1988, J. Log. Program..