Functional and logic programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , , |
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
New York :
Springer
2010.
|
| Edición: | 1st ed |
| Colección: | Lecture notes in computer science ;
6009. LNCS sublibrary. Theoretical computer science and general issues. |
| Materias: | |
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714063306719 |
Tabla de Contenidos:
- Invited Talks
- Beluga: Programming with Dependent Types, Contextual Data, and Contexts
- Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs
- Solving Constraint Satisfaction Problems with SAT Technology
- Refereed Papers
- A Church-Style Intermediate Language for ML F
- ??: Dependent Types without the Sugar
- Haskell Type Constraints Unleashed
- A Functional Framework for Result Checking
- Tag-Free Combinators for Binding-Time Polymorphic Program Generation
- Code Generation via Higher-Order Rewrite Systems
- A Complete Axiomatization of Strict Equality
- Standardization and Böhm Trees for ??-Calculus
- An Integrated Distance for Atoms
- A Pearl on SAT Solving in Prolog
- Automatically Generating Counterexamples to Naive Free Theorems
- Applying Constraint Logic Programming to SQL Test Case Generation
- Internal Normalization, Compilation and Decompilation for System
- Towards Normalization by Evaluation for the ??-Calculus of Constructions
- Defunctionalized Interpreters for Call-by-Need Evaluation
- Complexity Analysis by Graph Rewriting
- Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and ?-Calculus
- Proving Injectivity of Functions via Program Inversion in Term Rewriting
- Delimited Control in OCaml, Abstractly and Concretely: System Description
- Automatic Parallelization of Recursive Functions Using Quantifier Elimination
- A Skeleton for Distributed Work Pools in Eden.
