Trends in Functional Programming. Volume 7 (2007)

• Record Type: Book
• Further Information: Note: Edited by Henrik Nilsson.
• Other Names: Nilsson, Henrik, 1971-
• Contents: 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.
• Publisher Details: Bristol, UK Chicago, IL : Intellect Books
• Publication Date: 2007
• Extent: 1 online resource (1 volume)
• Subjects: 005.1/14; Functional programming (Computer science) -- Congresses; COMPUTERS -- Programming -- Open Source; COMPUTERS -- Software Development & Engineering -- Tools; COMPUTERS -- Software Development & Engineering -- General; Functional programming (Computer science); Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9781841509938; 1841509930; 1281187461; 9781281187468
• Notes: Note: Includes bibliographical references.; Note: Print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.