Practical Aspects of Declarative Languages
11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009, Proceedings
(Sprache: Englisch)
Declarative languages have long promised the ability to rapidly create easily maintainable software for complex applications. The International Symposium of Practical Aspects of Declarative Languages (PADL) provides a yearly - rum for presenting results on...
Leider schon ausverkauft
versandkostenfrei
Buch
74.89 €
Produktdetails
Produktinformationen zu „Practical Aspects of Declarative Languages “
Klappentext zu „Practical Aspects of Declarative Languages “
Declarative languages have long promised the ability to rapidly create easily maintainable software for complex applications. The International Symposium of Practical Aspects of Declarative Languages (PADL) provides a yearly - rum for presenting results on the principles the implementations and especially the applications of declarative languages. The PADL symposium held January 19-20, 2009 in Savannah, Georgia was the 11th in this series. This year 48 papers were submitted from authors in 17 countries. The P- gram Committee performed outstandingly to ensure that each of these papers submitted to PADL 2009 was thoroughly reviewed by at least three referees in a short period of time. The resulting symposium presented a microcosm of how the current generation of declarative languages are being used to address real applications, along with on-going work on the languages themselves. The program also included two invited talks, "Inspecting and Preferring Abductive Models" by Luis Moniz Pereira and "Applying Declarative Languages to C- mercial Hardware Design" by Je? Lewis. Regular papers presented a variety of applications, including distributed applications over networks, network veri?- tion, user interfaces, visualization in astrophysics, nucleotide sequence analysis and planning under incomplete information. PADL 2009 also included ongoing work on the declarative languages themselves. Multi-threaded and concurrent Prolog implementation was addressed in several papers, as were innovations for tabling in Prolog and functional arraysin Haskell. Recent applications have also sparked papers on meta-predicates in Prolog and a module system for ACL2.
Inhaltsverzeichnis zu „Practical Aspects of Declarative Languages “
Invited Talk.- On Preferring and Inspecting Abductive Models.- User Interfaces and Environments.- Declarative Programming of User Interfaces.- Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs.- Toward a Practical Module System for ACL2.- Networks and Data.- Declarative Network Verification.- Operational Semantics for Declarative Networking.- Ad Hoc Data and the Token Ambiguity Problem.- Multi-threading and Parallelism.- High Level Thread-Based Competitive Or-Parallelism in Logtalk.- Implementing Thread Cancellation in Multithreaded Prolog Systems.- Interoperating Logic Engines.- Databases and Large Data Sets.- High-Level Interaction with Relational Databases in Logic Programming.- Typed Datalog.- Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell.- Tabling and Optimization.- One Table Fits All.- Recycle Your Arrays!.- Towards a Complete Scheme for Tabled Execution Based on Program Transformation.- Language Extensions and Implementation.- Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications.- Layered Models Top-Down Querying of Normal Logic Programs.- Secure Implementation of Meta-predicates.
Bibliographische Angaben
- 2008, 296 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Terrance Swift, Andy Gill
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540929940
- ISBN-13: 9783540929949
- Erscheinungsdatum: 18.12.2008
Sprache:
Englisch
Kommentar zu "Practical Aspects of Declarative Languages"
0 Gebrauchte Artikel zu „Practical Aspects of Declarative Languages“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Practical Aspects of Declarative Languages".
Kommentar verfassen