Vai al contenuto principale della pagina

Logic programming languages : constraints, functions, and objects / / edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Logic programming languages : constraints, functions, and objects / / edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten Visualizza cluster
Pubblicazione: Cambridge, Mass., : MIT Press, ©1993
Descrizione fisica: 1 online resource (xv, 207 p.)
Disciplina: 005.13/1
Soggetto topico: Logic programming languages
Soggetto non controllato: Logic programming
COMPUTER SCIENCE/Artificial Intelligence
COMPUTER SCIENCE/Programming Languages
Altri autori: AptKrzysztof R. <1949->  
BakkerJ. W. de <1939-> (Jacobus Willem)  
RuttenJ. J. M. M  
Note generali: Bibliographic Level Mode of Issuance: Monograph
Nota di bibliografia: Includes bibliographical references.
Sommario/riassunto: "This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped according to the unifying themes of functional programming, constraint, logic programming, and object-oriented programming."
Titolo autorizzato: Logic programming languages  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910260634503321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
CUDA Fortran for scientists and engineers : best practices for efficient CUDA Fortran programming / / Gregory Ruetsch and Massimiliano Fatica
Ruetsch Gregory
Static Analysis [[electronic resource] ] : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings / / edited by Jens Palsberg
Practical Aspects of Declarative Languages [[electronic resource] ] : Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings / / edited by I.V. Ramakrishnan
Partial Evaluation [[electronic resource] ] : International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers / / edited by Olivier Danvy, Robert Glück, Peter Thiemann
Non-Monotonic Extensions of Logic Programming [[electronic resource] ] : ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers / / edited by Louis M. Pereira, Teodor C. Przymusinski