@article{ITA_1988__22_4_395_0, author = {Bellia, M.}, title = {Logic and functional programming by retractions : operational semantics}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {395--436}, publisher = {EDP-Sciences}, volume = {22}, number = {4}, year = {1988}, mrnumber = {984584}, zbl = {0666.68012}, language = {en}, url = {http://www.numdam.org/item/ITA_1988__22_4_395_0/} }
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 SP - 395 EP - 436 VL - 22 IS - 4 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1988__22_4_395_0/ LA - en ID - ITA_1988__22_4_395_0 ER -
%0 Journal Article %A Bellia, M. %T Logic and functional programming by retractions : operational semantics %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1988 %P 395-436 %V 22 %N 4 %I EDP-Sciences %U http://www.numdam.org/item/ITA_1988__22_4_395_0/ %G en %F ITA_1988__22_4_395_0
Bellia, M. Logic and functional programming by retractions : operational semantics. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 22 (1988) no. 4, pp. 395-436. http://www.numdam.org/item/ITA_1988__22_4_395_0/
[Apt82] Contribution to the Theory of Logic Programming, J. ACM, Vol. 29, 1982, pp. 841-862. | MR | Zbl
and ,[Bellia88] 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.
, , , and ,[Bellia88] Logic and Functional Programming by Retractions, RAIRO Inf. Théorique et Applications, Vol. 22, 1988, pp. | Numdam | MR | Zbl
,[Berklin75] Reduction Languages for Reduction Machines, Proc. 2nd Int. Symp. on Computer Architectures, IEEE Comp. Society Press, 1975, pp. 133-140.
,[Berkling82] A Proposal for a Fifth Generation Logic and Functional Programming System, based on Highly Parallel Reduction Machine Architecture, Syracuse University, November 1982.
, and ,[Berkling85] Epsilon-reduction : Another view of Unification, CASE Center, Syracuse University, 1985.
,[Dershowitz82] Ordering for Term-rewriting Systems, Theoretical Computer Science, Vol. 17, 1982. pp. 279-301. | MR | Zbl
,[Friedman76] CONS Should not Evaluate its Arguments. In Automata, Languages and Programming P, S. MICHELSON Ed., Edinburgh Univ. Press, 1977, pp. 256-284. | Zbl
and ,[Henderson76] A Lazy Evaluator, Proc. Third ACM Symp. on Principles of Programming Languages, 1976, pp. 95-103.
and ,[Henderson80] Functional Programming, Application and Implementation, Prentice-Hall, Englewood Cliffs, N.J., 1980. | Zbl
,[Huet80] Equations and Rewrite Rules. A survey. INRIA Tech, Report 15, also as SRI Rep. STAN-CS-8O-785, january 1980.
and ,[Kowalski74] Predicate Logic as a Programming Language, Proc. IFIP Congress, 1974, pp. 569-574. | MR | Zbl
,[Martelli82] An Efficient Unification Algorithm, ACM TOPLAS, Vol. 4, 1982, pp. 258-282. | Zbl
and ,[O'Donnell77] Computing in System Described by Equations, LNCS 50, Springer-Verlag, Berlin, 1977. | MR | Zbl
,[Paterson78] Linear Unification, J. Comp. System Science, Vol. 16, 1978, pp. 158-167. | MR | Zbl
and ,[Stoy77] Denotational Semantics, The Scott-Strachey Approach to Programming Languages, MIT Press, Cambridge, 1977. | MR | Zbl
,[Treleaven82] 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.
,