Semantics, Applications, and Implementation of Program Generation
Semantics, Applications, and Implementation of Program Generation

Author: Walid Taha

Publisher: Springer

Published: 2003-06-29

Total Pages: 237

ISBN-13: 3540453504

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the International Workshop on Semantics Applications, and Implementation of Program Generation, SAIG 2000, held in Montreal, Canada in September 2000. The seven revised full papers and four position papers presented together with four invited abstracts were carefully reviewed and selected from 20 submissions. Among the topics addressed are multi-stage programming languages, compilation of domain-specific languages and module systems, program transformation, low-level program generation, formal specification, termination analysis, and type-based analysis.

Advanced Functional Programming
Advanced Functional Programming

Author: Varmo Vene

Publisher: Springer Science & Business Media

Published: 2005-09-15

Total Pages: 366

ISBN-13: 3540285407

DOWNLOAD EBOOK

This tutorial book presents nine carefully revised lectures given at the 5th International School on Functional Programming, AFP 2004, in Tartu, Estonia in August 2004. The book presents the following nine, carefully cross-reviewed chapters, written by leading authorities in the field: Typing Haskell with an Attribute Grammar, Programming with Arrows, Epigram: Practical Programming with Dependent Types, Combining Datatypes and Effects, GEC: a toolkit for Generic Rapid Prototyping, A Functional Shell that Operates on Typed and Compiled Applications, Declarative Debugging with Buddha, Server-Side Web Programming in WASH, and Refactoring Functional Programs.

Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques

Author: Martin Wirsing

Publisher: Springer

Published: 2003-11-24

Total Pages: 466

ISBN-13: 3540400206

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002.The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods.

Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages

Author: Shriram Krishnamurthi

Publisher: Springer

Published: 2003-06-30

Total Pages: 360

ISBN-13: 3540455876

DOWNLOAD EBOOK

Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been succe- fully applied to a wide variety of real-world situations including database m- agement, active networks, software engineering, and decision-support systems. New developments in theory and implementation expose fresh opportunities. At the same time, the application of declarative languages to novel problems raises numerous interesting research issues. These well-known questions include scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and imp- mentation of declarative systems, and in turn bene?t from this progress. The International Symposium on Practical Applications of Declarative L- guages (PADL) provides a forum for researchers, practitioners, and implementors of declarative languages to exchange ideas on current and novel application - eas and on the requirements for e?ective use of declarative systems. The fourth PADL symposium was held in Portland, Oregon, on January 19 and 20, 2002.

The Semantic Web - ISWC 2002
The Semantic Web - ISWC 2002

Author: Ian Horrocks

Publisher: Springer

Published: 2003-08-01

Total Pages: 491

ISBN-13: 3540480056

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the First International Semantic Web Conference, ISWC 2002, held in Sardinia, Italy, in June 2002. The 27 revised full research papers, 6 position papers, and 7 system descriptions presented were carefully reviewed and selected from a total of 133 submissions. All current issues in this exciting new field are addressed, ranging from theoretical aspects to applications in various fields.