izvor podataka: crosbi
!
WAM Algebras - A Mathematical Study of Implementation, Part 2. (CROSBI ID 495319)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Boerger, Egon ; Rosenzweig, Dean
WAM Algebras - A Mathematical Study of Implementation, Part 2. // Logic Programming, LNAI 592 / Voronkov, A. (ur.). Berlin: Springer, 1992. str. 35-54-x
Podaci o odgovornosti
Boerger, Egon ; Rosenzweig, Dean
engleski
WAM Algebras - A Mathematical Study of Implementation, Part 2.
We refine the previous work by elaborating the WAM code for representation and unification of terms. The correctness proofs for this refinement includes environment trimming, Warren's variable classification and switching instructions.
WAM code; unification; compilation of terms
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
35-54-x.
1992.
objavljeno
Podaci o matičnoj publikaciji
Logic Programming, LNAI 592
Voronkov, A.
Berlin: Springer
Podaci o skupu
Second Russian Conference on Logic Programming
predavanje
01.01.1992-01.01.1992
Sankt Peterburg, Ruska Federacija
Povezanost rada
Povezane osobe
Povezane ustanove