Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
  1. Publikacije
  2. From Prolog Algebras Towards WAM - A Mathematical Study of Implementation
izvor podataka: crosbi !

From Prolog Algebras Towards WAM - A Mathematical Study of Implementation (CROSBI ID 495318)

Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija

Boerger, Egon ; Rosenzweig, Dean From Prolog Algebras Towards WAM - A Mathematical Study of Implementation // CSL'90, 4th Workshop on Computer Science Logic, LNCS 533 / Boerger, E. ; Kleine Buenning, H. ; Richter, M.M. et al. (ur.). Berlin: Springer, 1991. str. 31-66-x

Podaci o odgovornosti

Boerger, Egon ; Rosenzweig, Dean

engleski

From Prolog Algebras Towards WAM - A Mathematical Study of Implementation

Elaborates the conjunctive component of Prolog - as reflected by compilation of clause structure into WAM code - and the disjunctive component - as reflected by compilation of predicate structure into WAM code. The correctness proofs for these refinements include last call optimization, determinacy detection and virtual copying of dynamic code.

compilation; WAM; clause structure; predicate structure

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

Podaci o prilogu

31-66-x.

1991.

objavljeno

Podaci o matičnoj publikaciji

Boerger, E. ; Kleine Buenning, H. ; Richter, M.M. ; Schenfeld, W.

Berlin: Springer

Podaci o skupu

4th Workshop on Computer Science Logic

predavanje

01.01.1991-01.01.1991

Heidelberg, Njemačka

Povezanost rada

Povezane osobe
Dean Rosenzweig (CroRIS ID: 22119; MBZ: 41536) (autor/i)
Povezane ustanove
Fakultet strojarstva i brodogradnje (120) (autorova ustanova)

Matematika

Krugovi, vizual Srca