000 04665nam a22005775i 4500
001 978-3-540-24836-1
003 DE-He213
005 20240423125653.0
007 cr nn 008mamaa
008 121227s2004 gw | s |||| 0|eng d
020 _a9783540248361
_9978-3-540-24836-1
024 7 _a10.1007/b98355
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aPractical Aspects of Declarative Languages
_h[electronic resource] :
_b6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings /
_cedited by Bharat Jayaraman.
250 _a1st ed. 2004.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2004.
300 _aVIII, 260 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v3057
505 0 _aAn Algebraic Theory of Polymorphic Temporal Media -- Supporting Decisions in Complex, Uncertain Domains with Declarative Languages -- A Typeful Approach to Object-Oriented Programming with Multiple Inheritance -- Compositional Model-Views with Generic Graphical User Interfaces -- An Implementation of Session Types -- UUXML: A Type-Preserving XML Schema–Haskell Data Binding -- Improved Compilation of Prolog to C Using Moded Types and Determinism Information -- A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations) -- Pruning in the Extended Andorra Model -- USA-Smart: Improving the Quality of Plans in Answer Set Planning -- : A System for Reasoning about Answer Set Programs in Prolog -- Simplifying Dynamic Programming via Tabling -- Symbolic Execution of Behavioral Requirements -- Observing Functional Logic Computations -- Parametric Fortran – A Program Generator for Customized Generic Fortran Extensions -- Typing XHTML Web Applications in ML -- Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell.
520 _aThe International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, especially those emerging from functional, logic, and c- straint languages. Declarative languages have been studied since the inception of computer science, and continue to be a vibrant subject of investigation today due to their applicability in current application domains such as bioinformatics, network con?guration, the Semantic Web, telecommunications software, etc. The 6th PADL Symposium was held in Dallas, Texas on June 18–19, 2004, and was co-located with the Compulog-Americas Summer School on Compu- tional Logic. From the submitted papers, the program committee selected 15 for presentation at the symposium based upon three written reviews for each paper, which were provided by the members of the program committee and additional referees. Two invited talks were presented at the conference. The ?rst was given by Paul Hudak (Yale University) on “An Algebraic Theory of Polymorphic T- poral Media. ” The second invited talk was given by Andrew Fall (Dowlland Technologies and Simon Fraser University) on “Supporting Decisions in C- plex, Uncertain Domains with Declarative Languages. ” Following the precedent set by the previous PADL symposium, the program committee this year again selected one paper to receive the ‘Most Practical - per’award.
650 0 _aSoftware engineering.
650 0 _aCompilers (Computer programs).
650 0 _aComputer programming.
650 0 _aComputer science.
650 1 4 _aSoftware Engineering.
650 2 4 _aCompilers and Interpreters.
650 2 4 _aProgramming Techniques.
650 2 4 _aComputer Science Logic and Foundations of Programming.
700 1 _aJayaraman, Bharat.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540222538
776 0 8 _iPrinted edition:
_z9783662173664
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v3057
856 4 0 _uhttps://doi.org/10.1007/b98355
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c180478
_d180478