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 |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | JSTOR_ocn190666671 | ||
| 003 | OCoLC | ||
| 005 | 20231005004200.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 080110s2007 enk ob 000 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d YDXCP |d OCLCQ |d IDEBK |d OCLCQ |d ZMC |d OCLCQ |d N$T |d OCLCF |d NLGGC |d OCLCQ |d OCLCO |d OCL |d OCLCO |d OCLCQ |d VTS |d NLE |d UKMGB |d LVT |d STF |d M8D |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d JSTOR |d OCLCO | ||
| 015 | |a GBB746921 |2 bnb | ||
| 015 | |a GBC3D4168 |2 bnb | ||
| 016 | 7 | |a 017813883 |2 Uk | |
| 016 | 7 | |a 021009786 |2 Uk | |
| 019 | |a 748524035 |a 815550361 |a 904957474 | ||
| 020 | |a 9781841509938 |q (electronic bk.) | ||
| 020 | |a 1841509930 |q (electronic bk.) | ||
| 020 | |a 1281187461 | ||
| 020 | |a 9781281187468 | ||
| 020 | |a 1841501883 | ||
| 020 | |a 9781841501888 | ||
| 020 | |a 9786611187460 | ||
| 020 | |a 6611187464 | ||
| 029 | 1 | |a AU@ |b 000044592385 | |
| 029 | 1 | |a DEBBG |b BV043086960 | |
| 029 | 1 | |a DEBSZ |b 422157775 | |
| 029 | 1 | |a GBVCP |b 802413048 | |
| 029 | 1 | |a UKMGB |b 017813883 | |
| 029 | 1 | |a UKMGB |b 021009786 | |
| 035 | |a (OCoLC)190666671 |z (OCoLC)748524035 |z (OCoLC)815550361 |z (OCoLC)904957474 | ||
| 037 | |a 31809781841509938 |b Ingram Content Group | ||
| 037 | |a 22573/ctv36wch94 |b JSTOR | ||
| 050 | 4 | |a QA76.62 |b .T74eb vol. 7 | |
| 072 | 7 | |a COM |x 051390 |2 bisacsh | |
| 072 | 7 | |a COM |x 051440 |2 bisacsh | |
| 072 | 7 | |a COM |x 051230 |2 bisacsh | |
| 072 | 7 | |a UMJ |2 bicssc | |
| 072 | 7 | |a COM |x 000000 |2 bisacsh | |
| 072 | 7 | |a COM |x 051000 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.1/14 |2 22 |
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Trends in Functional Programming. |n Volume 7 / |c edited by Henrik Nilsson. |
| 260 | |a Bristol, UK ; |a Chicago, IL : |b Intellect Books, |c 2007. | ||
| 300 | |a 1 online resource (1 volume) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a 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. | |
| 520 | |a 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 all functional programming communities spanning the entire width of topics in the field. Its goal is to provide a broad view of current and future trends in functional programming in a lively and friendly setting, thus promoting new research directions related to the field of functional programming and the relationship between functional programming and other fields of computer science. True to the spirit of TFP, the selection of papers in this volume covers a wide range of topics, including dependently typed programming, generic programming, purely functional data structures, function synthesis, declarative debugging, implementation of functional programming languages, and memory management. A particular emerging trend is that of dependently typed programming, reflected by a number of papers in the present selection and by the co-location of TFP and Types 2006. | ||
| 590 | |a JSTOR |b Books at JSTOR Demand Driven Acquisitions (DDA) | ||
| 590 | |a JSTOR |b Books at JSTOR All Purchased | ||
| 650 | 0 | |a Functional programming (Computer science) |v Congresses. | |
| 650 | 0 | |a Computer programming. | |
| 650 | 6 | |a Programmation fonctionnelle |v Congrès. | |
| 650 | 6 | |a Programmation (Informatique) | |
| 650 | 7 | |a computer programming. |2 aat | |
| 650 | 7 | |a COMPUTERS |x Programming |x Open Source. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x Tools. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x General. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / General |2 bisacsh | |
| 650 | 7 | |a Functional programming (Computer science) |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Nilsson, Henrik, |d 1971- | |
| 776 | 0 | 8 | |i Print version: |t Trends in Functional Programming. Volume 7. |d Bristol, UK ; Chicago, IL : Intellect Books, 2007 |z 9781841501888 |z 1841501883 |w (OCoLC)176929640 |
| 856 | 4 | 0 | |u https://jstor.uam.elogim.com/stable/10.2307/j.ctv36xvknz |z Texto completo |
| 938 | |a EBSCOhost |b EBSC |n 214555 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 118746 | ||
| 938 | |a YBP Library Services |b YANK |n 2754993 | ||
| 994 | |a 92 |b IZTAP | ||