Pregled bibliografske jedinice broj: 141563
From Prolog Algebras Towards WAM - A Mathematical Study of Implementation
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. ; Schenfeld, W. (ur.).
Berlin: Springer, 1991. str. 31-66 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 141563 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
From Prolog Algebras Towards WAM - A Mathematical Study of Implementation
Autori
Boerger, Egon ; Rosenzweig, Dean
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
CSL'90, 4th Workshop on Computer Science Logic, LNCS 533
/ Boerger, E. ; Kleine Buenning, H. ; Richter, M.M. ; Schenfeld, W. - Berlin : Springer, 1991, 31-66
Skup
4th Workshop on Computer Science Logic
Mjesto i datum
Heidelberg, Njemačka, 01.10.90-05.10.90
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
compilation; WAM; clause structure; predicate structure
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
0120048
Ustanove:
Fakultet strojarstva i brodogradnje, Zagreb
Profili:
Dean Rosenzweig
(autor)
