E-Book, Englisch, 342 Seiten, eBook
Hudak / Warren Practical Aspects of Declarative Languages
2008
ISBN: 978-3-540-77442-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings
E-Book, Englisch, 342 Seiten, eBook
Reihe: Programming and Software Engineering
ISBN: 978-3-540-77442-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
