Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Hudak, Paul (Editor ), Warren, David S. (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Programming and Software Engineering, 4902
Temas:
Compilers (Computer programs).
Computer programming.
Computer science.
Software engineering.
Compilers and Interpreters.
Programming Techniques.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares