Revista Română de Informatică și Automatică – ICI București
Christian Prehofer
Birkhäuser, Boston, 1998, 186 p.
Această monografie face parte dintr-o serie publicată de Editura Birkhäuser şi este intitulată “Progrese în ştiinţa calculatorului”, serie care îşi propune să tipărească lucrări care să fundamenteze teoria calculatorului. Lucrarea pe care o recenzăm dezvoltă tehnici de raționament ecuaţional şi de programare declarativă, bazate pe logică de ordin superior. Autorul prezintă un cadru nou pentru integrarea deplină a modelelor de programare declarativă şi arată care sunt aplicaţiile acesteia.
Privind dinspre latura tehnică, trebuie subliniat faptul că el integrează principalele rezultate ale celor două domenii: programare declarativă și aplicaţiile sale.
Cartea prezintă rezultate complete, comune în Programarea logică şi, de asemenea, generalizează strategiile de evaluare, întemeiate pe limbajele de programare funcțională curentă ale acestui cadru. Lucrarea se bazează pe concepte ca: teorie ecuațională, logică ecuaţională şi raționament ecuaţional.
[…]Dr. Florin Stănciulescu
Institutul de Cercetări în Informatică
Vizualizează recenzia completă
COORDONATELE PENTRU CITAREA ACESTEI RECENZII SUNT URMĂTOARELE:
Florin Stănciulescu, Recenzie a lucrării Solving Higher-Order Equations: From Logic to Programming (Rezolvarea ecuaţiilor de ordin înalt. De la logică la programare), de Christian Prehofer (Birkhäuser, Boston, 1998, 186 p.), Revista Română de Informatică şi Automatică (Romanian Journal of Information Technology and Automatic Control), ISSN 1220-1758, vol. 8(3), pp. 77, 1998.