Logic and functional programming by retractions : operational semantics

M. Bellia

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1988)

  • Volume: 22, Issue: 4, page 395-436
  • ISSN: 0988-3754

How to cite

top

Bellia, M.. "Logic and functional programming by retractions : operational semantics." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 22.4 (1988): 395-436. <http://eudml.org/doc/92314>.

@article{Bellia1988,
author = {Bellia, M.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {logic programming; functional programming; retraction; Herbrandt universe; operational semantics; unification; reduction rules},
language = {eng},
number = {4},
pages = {395-436},
publisher = {EDP-Sciences},
title = {Logic and functional programming by retractions : operational semantics},
url = {http://eudml.org/doc/92314},
volume = {22},
year = {1988},
}

TY - JOUR
AU - Bellia, M.
TI - Logic and functional programming by retractions : operational semantics
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1988
PB - EDP-Sciences
VL - 22
IS - 4
SP - 395
EP - 436
LA - eng
KW - logic programming; functional programming; retraction; Herbrandt universe; operational semantics; unification; reduction rules
UR - http://eudml.org/doc/92314
ER -

References

top
  1. [Apt82] K. R. APT and M. H. VAN EMDEM, Contribution to the Theory of Logic Programming, J. ACM, Vol. 29, 1982, pp. 841-862. Zbl0483.68004MR666781
  2. [Bellia88] M. BELLIA, E. DAMERL, P. DEGANO, G. LEVI and M. MARTELLI, A Formal Model for Lazy Implementation of a PROLOG Compatible Functional Language. In Implementations of PROLOG, J. A.CAMPBELL Ed., Ellis Horwood, 1984, pp. 309-326. 
  3. [Bellia88] M. BELLIA, Logic and Functional Programming by Retractions, RAIRO Inf. Théorique et Applications, Vol. 22, 1988, pp. Zbl0666.68011MR963593
  4. [Berklin75] K. BERKLING, Reduction Languages for Reduction Machines, Proc. 2nd Int. Symp. on Computer Architectures, IEEE Comp. Society Press, 1975, pp. 133-140. 
  5. [Berkling82] K. BERKLING, J. A. ROBINSON and E. E. SIBERT, A Proposal for a Fifth Generation Logic and Functional Programming System, based on Highly Parallel Reduction Machine Architecture, Syracuse University, November 1982. 
  6. [Berkling85] K. BERKLING, Epsilon-reduction : Another view of Unification, CASE Center, Syracuse University, 1985. 
  7. [Dershowitz82] N. DERSHOWITZ, Ordering for Term-rewriting Systems, Theoretical Computer Science, Vol. 17, 1982. pp. 279-301. Zbl0525.68054MR648438
  8. [Friedman76] D. FRIEDMAN and D. WISE, CONS Should not Evaluate its Arguments. In Automata, Languages and Programming P, S. MICHELSON Ed., Edinburgh Univ. Press, 1977, pp. 256-284. Zbl0461.68023
  9. [Henderson76] P. HENDERSON and J. H. MORRIS, A Lazy Evaluator, Proc. Third ACM Symp. on Principles of Programming Languages, 1976, pp. 95-103. 
  10. [Henderson80] P. HENDERSON, Functional Programming, Application and Implementation, Prentice-Hall, Englewood Cliffs, N.J., 1980. Zbl0426.68059
  11. [Huet80] G. HUET and D. C. OPPEN, Equations and Rewrite Rules. A survey. INRIA Tech, Report 15, also as SRI Rep. STAN-CS-8O-785, january 1980. 
  12. [Kowalski74] R. A. KOWALSKI, Predicate Logic as a Programming Language, Proc. IFIP Congress, 1974, pp. 569-574. Zbl0297.68006MR428765
  13. [Martelli82] A. MARTELLI and U. MONTANARI, An Efficient Unification Algorithm, ACM TOPLAS, Vol. 4, 1982, pp. 258-282. Zbl0478.68093
  14. [O'Donnell77] M. J. O'DONNELL, Computing in System Described by Equations, LNCS 50, Springer-Verlag, Berlin, 1977. Zbl0421.68038MR483644
  15. [Paterson78] M. S. PATERSON and M. N. WEGMAN, Linear Unification, J. Comp. System Science, Vol. 16, 1978, pp. 158-167. Zbl0371.68013MR483794
  16. [Stoy77] J. E. STOY, Denotational Semantics, The Scott-Strachey Approach to Programming Languages, MIT Press, Cambridge, 1977. Zbl0503.68059MR488969
  17. [Treleaven82] P. C. TRELEAVEN, Computer Architecture for Functional Programming, In Functional Programming and its Applications, J. Darlington. P. HENDERSON and D. A. TURNER Eds., Cambridge Univ. Press, 1982, pp. 281-306. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.