2005, ISBN: 9783540305576
The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practioners to present original work emphasizing novel applications and imp… Mehr…
ebooks.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540305576
Computer Science; Programming Languages, Compilers, Interpreters; Programming Techniques; Logics and Meanings of Programs; Software Engineering Compiler, Constraint, Fusion, Processing, X… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten Details... |
2005, ISBN: 9783540305576
7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings… Mehr…
Orellfuessli.ch No. 44359740. Versandkosten:Zzgl. Versandkosten. (EUR 15.92) Details... |
2005, ISBN: 9783540305576
7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, … Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2005, ISBN: 9783540305576
7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
lehmanns.de Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2005, ISBN: 9783540305576
The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practioners to present original work emphasizing novel applications and imp… Mehr…
ISBN: 9783540305576
Computer Science; Programming Languages, Compilers, Interpreters; Programming Techniques; Logics and Meanings of Programs; Software Engineering Compiler, Constraint, Fusion, Processing, X… Mehr…
2005
ISBN: 9783540305576
7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings… Mehr…
2005, ISBN: 9783540305576
7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, … Mehr…
2005, ISBN: 9783540305576
7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Practical Aspects of Declarative Languages
EAN (ISBN-13): 9783540305576
Erscheinungsjahr: 2005
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-04-19T00:58:15+02:00 (Berlin)
Detailseite zuletzt geändert am 2021-04-27T14:00:30+02:00 (Berlin)
ISBN/EAN: 9783540305576
ISBN - alternative Schreibweisen:
978-3-540-30557-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: cabeza
Daten vom Verlag:
Autor/in: Manuel Hermenegildo; Daniel Cabeza
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Practical Aspects of Declarative Languages - 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
Verlag: Springer; Springer Berlin
272 Seiten
Erscheinungsjahr: 2005-01-28
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
VIII, 272 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Compiler; Constraint; Fusion; Processing; XML; answer set programming; code generation; constraint languages; constraint programming; declarative languages; functional programming; logic; logic programming; programming; semantics; C; Compilers and Interpreters; Programming Techniques; Computer Science Logic and Foundations of Programming; Software Engineering; Computer Science; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; Software Engineering; BC
Invited Talks.- Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction.- Code Compression.- Papers.- Functional Framework for Sound Synthesis.- Specializing Narrowing for Timetable Generation: A Case Study.- Character-Based Cladistics and Answer Set Programming.- Role-Based Declarative Synchronization for Reconfigurable Systems.- Towards a More Practical Hybrid Probabilistic Logic Programming Framework.- Safe Programming with Pointers Through Stateful Views.- Towards Provably Correct Code Generation via Horn Logical Continuation Semantics.- A Provably Correct Compiler for Efficient Model Checking of Mobile Processes.- An Ordered Logic Program Solver.- Improving Memory Usage in the BEAM.- Solving Constraints on Sets of Spatial Objects.- Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization.- Solving Collaborative Fuzzy Agents Problems with CLP( ).- Improved Fusion for Optimizing Generics.- The Program Inverter LRinv and Its Structure.- A Full Pattern-Based Paradigm for XML Query Processing.- Type Class Directives.Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783031248405 Practical Aspects of Declarative Languages (Michael Hanus; Daniela Inclezan)
- 9783031248405 Practical Aspects of Declarative Languages (Michael Hanus; Daniela Inclezan)
- 9783030059972 Practical Aspects of Declarative Languages (José Júlio Alferes)
- 9783319196862 Practical Aspects of Declarative Languages (Enrico Pontelli; Tran Cao Son)
- 9783319516752 Practical Aspects Of Declarative Languages by Yuliya Lierler Paperback | Indigo Chapters (Lierler, Yuliya Taha, Walid)
- 9783319196855 Practical Aspects of Declarative Languages (Enrico Pontelli; Tran Cao Son)
< zum Archiv...