Cargando…
Trends in Functional Programming. Volume 7 /
This is Volume 7 of Trends in Functional Programming (TFP). It contains a refereed selection of the papers that were presented at TFP 2006: the Seventh Symposium on Trends in Functional Programming. which took place in Nottingham, 19-21 April, 2006. TFP is an international forum for researchers from...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Bristol, UK ; Chicago, IL :
Intellect Books,
2007.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- Cover
- TOC36;Contents
- Preface
- CH36;1 Proving Termination Using Dependent Types58; the Case of Xor45;Terms
- 146;1 Introduction
- 146;2 Background
- 146;3 Our approach
- 146;4 Formalization
- 146;5 Conclusion
- References
- CH36;2 Proving the Correctness of Algorithmic Debugging for Functional Programs
- 246;1 Introduction
- 246;2 Algorithmic debugging
- 246;3 Formalising the Augmented Redex Trail
- 246;4 Generating an Evaluation Dependency Tree
- 246;5 Properties of the Evaluation Dependency Tree
- 246;6 Conclusion and future work
- References
- CH36;3 Systematic Synthesis of Functions
- 346;1 Introduction
- 346;2 Function generation
- 346;3 Controlling the candidate functions
- 346;4 Generation of multi45;argument functions
- 346;5 Synthesis of functions over other data types
- 346;6 Other properties
- 346;7 Related work
- 346;8 Conclusion
- References
- CH36;4 A Purely Functional Implementation of ROBDDs in Haskell
- 446;1 Introduction
- 446;2 ROBDDs
- 446;3 ROBDD implementation in Haskell
- 446;4 Laziness
- 446;5 Experimental results
- 446;6 Equality check
- 446;7 Related work
- 446;8 Conclusion
- References
- CH36;5 Efficient Interpretation by Transforming Data Types and Patterns to Functions
- 546;1 Introduction
- 546;2 Representation of data types by functions
- 546;3 SAPL58; an intermediate functional language
- 546;4 An interpreter for SAPL
- 546;5 Benchmarks
- 546;6 Conclusions and further research possibilities
- References
- CH36;6 Object45;Oriented Programming in Dependent Type Theory
- 646;1 Introduction
- 646;2 Basic concepts of Dependent Type Theory
- 646;3 Interactive programs in Dependent Type Theory
- 646;4 Simple objects
- 646;5 Combining objects without self45;referential calls
- 646;6 Combining objects with self45;referential calls
- 646;7 Conclusion
- References
- CH36;7 A Sharing Analysis for SAFE
- 746;1 Introduction
- 746;2 Summary of Safe
- 746;3 Sharing analysis
- 746;4 Implementation and examples
- 746;5 A more involved example
- 746;6 Related work and conclusions
- References
- CH36;8 Memory Usage Improvement Using Runtime Alias Detection
- 846;1 Introduction
- 846;2 Overview of the Tofte47;Talpin System
- 846;3 Run45;time alias detection
- 846;4 Evaluation
- 846;5 Related work
- 846;6 Future work
- 846;7 Conclusion
- References
- CH36;9 A Model of Functional Programming with Dynamic Compilation and Optimization
- 946;1 Introduction
- 946;2 Virtual machines and dynamic translation
- 946;3 Formal framework
- 946;4 Case study58; Guarded feedback45;driven inlining
- 946;5 Related work
- 946;6 Future work
- 946;7 Conclusion
- References
- CH36;10 Functional Concepts in C43;43;
- 1046;1 Introduction
- 1046;2 Translation of typed 38;35;95559;45;terms into C43;43;
- 1046;3 Proof of correctness
- 1046;4 Lazy evaluation in C43;43;
- 1046;5 Conclusion
- References
- CH36;11 Resource45;Based Web Applications
- 1146;1 Introduction
- 1146;2 Transfer of resource representations
- 1146;3 A res.