Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("Cabeza, Daniel")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 21 of 21

  • Page / 1
Export

Selection :

  • and

PADL 2005 : practical aspects of declarative languages (Long Beach CA, 10-11 January 2005)Hermenegildo, Manuel; Cabeza, Daniel.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-24362-3, VIII, 267 p, isbn 3-540-24362-3Conference Proceedings

Improved fusion for optimizing genericsALIMARINE, Artem; SMETSERS, Sjaak.Lecture notes in computer science. 2005, pp 203-218, issn 0302-9743, isbn 3-540-24362-3, 16 p.Conference Paper

Functional framework for sound synthesisKARCZMARCZUK, Jerzy.Lecture notes in computer science. 2005, pp 7-21, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Safe programming with pointers through statefui viewsZHU, Dengping; XI, Hongwei.Lecture notes in computer science. 2005, pp 83-97, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Type class directivesHEEREN, Bastiaan; HAGE, Jurriaan.Lecture notes in computer science. 2005, pp 253-267, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Building the world from first principles: Declarative machine descriptions and compiler constructionRAMSEY, Norman.Lecture notes in computer science. 2005, pp 1-4, issn 0302-9743, isbn 3-540-24362-3, 4 p.Conference Paper

The program inverter LRinv and its structureKAWABE, Masahiko; GLÜCK, Robert.Lecture notes in computer science. 2005, pp 219-234, issn 0302-9743, isbn 3-540-24362-3, 16 p.Conference Paper

Towards a more practical hybrid probabilistic logic programming frameworkSAAD, Emad; PONTELLI, Enrico.Lecture notes in computer science. 2005, pp 67-82, issn 0302-9743, isbn 3-540-24362-3, 16 p.Conference Paper

Solving constraints on sets of spatial objectsALMENDROS-JIMENEZ, Jesus M; CORRAL, Antonio.Lecture notes in computer science. 2005, pp 158-173, issn 0302-9743, isbn 3-540-24362-3, 16 p.Conference Paper

Improving memory usage in the BEAMLOPES, Ricardo; SANTOS COSTA, Vitor.Lecture notes in computer science. 2005, pp 143-157, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

A full pattern-based paradigm for XML query processingBENZAKEN, Véronique; CASTAGNA, Giuseppe; MIACHON, Cédric et al.Lecture notes in computer science. 2005, pp 235-252, issn 0302-9743, isbn 3-540-24362-3, 18 p.Conference Paper

Discovery of minimal unsatisfiable subsets of constraints using hitting set dualizationBAILEY, James; STUCKEY, Peter J.Lecture notes in computer science. 2005, pp 174-186, issn 0302-9743, isbn 3-540-24362-3, 13 p.Conference Paper

Role-based declarative synchronization for reconfigurable systemsTANASESCU, Vlad; WOJCIECHOWSKI, Pawel T.Lecture notes in computer science. 2005, pp 52-66, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Towards provably correct code generation via Horn logical continuation semanticsWANG, Qian; GUPTA, Gopal; LEUSCHEL, Michael et al.Lecture notes in computer science. 2005, pp 98-112, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

An ordered logic program solverVAN NIEUWENBORGH, Davy; HEYMANS, Stijn; VERMEIR, Dirk et al.Lecture notes in computer science. 2005, pp 128-142, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Solving collaborative fuzzy agents problems with CLP(FD)MUNOZ-HERNANDEZ, Susana; GOMEZ-PEREZ, Jose Manuel.Lecture notes in computer science. 2005, pp 187-202, issn 0302-9743, isbn 3-540-24362-3, 16 p.Conference Paper

A provably correct compiler for efficient model checking of mobile processesYANG, Ping; DONG, Yifei; RAMAKRISHMAN, C. R et al.Lecture notes in computer science. 2005, pp 113-127, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Character-based cladistics and answer set programmingBROOKS, Daniel R; ERDEM, Esra; MINETT, James W et al.Lecture notes in computer science. 2005, pp 37-51, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Specializing narrowing for timetable generation: A case studyBRAUNER, Nadia; ECHAHED, Rachid; FINKE, Gerd et al.Lecture notes in computer science. 2005, pp 22-36, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Hiord: A type-free higher-order logic programming language with predicate abstractionCABEZA, Daniel; HERMENEGILDO, Manuel; LIPTON, James et al.Lecture notes in computer science. 2004, pp 93-108, issn 0302-9743, isbn 3-540-24087-X, 16 p.Conference Paper

A syntactic approach to combining functional notation, lazy evaluation, and higher-order in LP systemsCASAS, Amadeo; CABEZA, Daniel; HERMENEGILDO, Manuel V et al.Lecture notes in computer science. 2006, pp 146-162, issn 0302-9743, isbn 3-540-33438-6, 1Vol, 17 p.Conference Paper

  • Page / 1