Pregled bibliografske jedinice broj: 141559
A Formal Specification of Prolog by Tree Algebras
A Formal Specification of Prolog by Tree Algebras // Information Technology Interfaces / V. Ceric, V. Dobric, V. Luzar, R. Paul (ur.).
Zagreb: Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 1991. str. 513-518 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 141559 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
A Formal Specification of Prolog by Tree Algebras
Autori
Boerger, Egon ; Rosenzweig Dean
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Information Technology Interfaces
/ V. Ceric, V. Dobric, V. Luzar, R. Paul - Zagreb : Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 1991, 513-518
Skup
Information Technology Interfaces
Mjesto i datum
Zagreb, Hrvatska, 06.1991
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
Prolog; standardization; tree-model
Sažetak
Prompted by discussion on the international Prolog standardization committee, this paper suggests to replace the stack based model by a pure tree model for Prolog.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
0120048
Ustanove:
Fakultet strojarstva i brodogradnje, Zagreb
Profili:
Dean Rosenzweig
(autor)
