Mehr zum Buch
InhaltsverzeichnisInvited Papers.Parallel Programming and Parallel Abstractions in Fortress.Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place.Refereed Papers.“Scrap Your Boilerplate” Reloaded.Ruler: Programming Type Rules.A Framework for Extended Algebraic Data Types.Lock Free Data Structures Using STM in Haskell.XML Type Checking Using High-Level Tree Transducer.A Computational Approach to Pocklington Certificates in Type Theory.Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant.Soutei, a Logic-Based Trust-Management System.A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems.Resource Analysis by Sup-interpretation.Lazy Set-Sharing Analysis.Size-Change Termination and Bound Analysis.Typed Contracts for Functional Programming.Contracts as Pairs of Projections.iData for the World Wide Web – Programming Interconnected Web Forms.Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages.WASH Server Pages.
Buchkauf
Functional and logic programming, Masami Hagiya
- Sprache
- Erscheinungsdatum
- 2006
- product-detail.submit-box.info.binding
- (Paperback)
Keiner hat bisher bewertet.
- Titel
- Functional and logic programming
- Sprache
- Englisch
- Autor*innen
- Masami Hagiya
- Verlag
- Springer
- Erscheinungsdatum
- 2006
- Einband
- Paperback
- Seitenzahl
- 295
- ISBN10
- 3540334386
- ISBN13
- 9783540334385
- Reihe
- Schlagwörter
- Sachbücher, Technologie & Industrie, Computer & Internet
- Beschreibung
- InhaltsverzeichnisInvited Papers.Parallel Programming and Parallel Abstractions in Fortress.Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place.Refereed Papers.“Scrap Your Boilerplate” Reloaded.Ruler: Programming Type Rules.A Framework for Extended Algebraic Data Types.Lock Free Data Structures Using STM in Haskell.XML Type Checking Using High-Level Tree Transducer.A Computational Approach to Pocklington Certificates in Type Theory.Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant.Soutei, a Logic-Based Trust-Management System.A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems.Resource Analysis by Sup-interpretation.Lazy Set-Sharing Analysis.Size-Change Termination and Bound Analysis.Typed Contracts for Functional Programming.Contracts as Pairs of Projections.iData for the World Wide Web – Programming Interconnected Web Forms.Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages.WASH Server Pages.