03398nam 2200637 450 99646558990331620220515114727.03-540-77442-410.1007/978-3-540-77442-6(CKB)1000000000490874(SSID)ssj0000319492(PQKBManifestationID)11265248(PQKBTitleCode)TC0000319492(PQKBWorkID)10337595(PQKB)10290975(DE-He213)978-3-540-77442-6(MiAaPQ)EBC4976205(MiAaPQ)EBC5592017(MiAaPQ)EBC6711429(Au-PeEL)EBL4976205(CaONFJC)MIL134287(OCoLC)1024283885(Au-PeEL)EBL5592017(OCoLC)1066180849(Au-PeEL)EBL6711429(PPN)123740169(EXLCZ)99100000000049087420220515d2008 uy 0engurnn|008mamaatxtccrPractical aspects of declarative languages 10th international symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, proceedings /Paul Hudak, David S. Warren (editors)1st ed. 2008.Berlin ;Heidelberg :Springer,[2008]©20081 online resource (X, 342 p.) Lecture notes in computer science ;4902Bibliographic Level Mode of Issuance: Monograph3-540-77441-6 Includes bibliographical references and index.Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml -- Automatic Coding Rule Conformance Checking Using Logic Programming -- Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning -- Efficient Reasoning for Nogoods in Constraint Solvers with BDDs -- Flexible, Rule-Based Constraint Model Linearisation -- The Role of Abduction in Declarative Authorization Policies -- Unification of Arrays in Spreadsheets with Logic Programming -- Specialising Simulator Generators for High-Performance Monte-Carlo Methods -- A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers -- Matchete: Paths through the Pattern Matching Jungle -- Parser Combinators for Ambiguous Left-Recursive Grammars -- DCGs + Memoing = Packrat Parsing but Is It Worth It? -- An Improved Continuation Call-Based Implementation of Tabling -- Scheduling Light-Weight Parallelism in ArTCoP -- Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism -- Hierarchical Master-Worker Skeletons -- High-Level Multi-threading Programming in Logtalk -- Switched-On Yampa -- Model-Based Testing of Thin-Client Web Applications and Navigation Input -- High-Level Database Programming in Curry.Lecture notes in computer science ;4902.Programming languages (Electronic computers)SemanticsCongressesProgramming languages (Electronic computers)Semantics005.13Hudak PaulWarren David S.MiAaPQMiAaPQMiAaPQBOOK996465589903316Practical Aspects of Declarative Languages772495UNISA