Download Domain-Specific Program Generation: International Seminar, by Don Batory (auth.), Christian Lengauer, Don Batory, Charles PDF

By Don Batory (auth.), Christian Lengauer, Don Batory, Charles Consel, Martin Odersky (eds.)

Program new release holds the promise of aiding to bridge the space among application-level challenge strategies and effective implementations on the point of modern day resource courses as written in C or Java. therefore, software iteration can considerably give a contribution to decreasing construction rate and time-to-market in destiny software program creation, whereas enhancing the standard and balance of the product.

This e-book is ready domain-specific application iteration; it's the final result of a Dagstuhl seminar at the subject held in March 2003. After an introductory preface through the amount editors, the 18 conscientiously reviewed revised complete papers provided are equipped into topical sections on

- surveys of domain-specific programming technologies
- domain-specific programming languages
- device help for software generation
- domain-specific options for software optimization

Show description

Read or Download Domain-Specific Program Generation: International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003. Revised Papers PDF

Best computers books

STACS 2004: 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings

This e-book constitutes the refereed lawsuits of the twenty first Annual Symposium on Theoretical points of computing device technological know-how, STACS 2004, held in Montpellier, France, in March 2004. The fifty four revised complete papers offered including invited contributions have been conscientiously reviewed and chosen from greater than 2 hundred submissions.

Declarative Agent Languages and Technologies IV: 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

This ebook constitutes the completely refereed post-proceedings of the 4th overseas Workshop on Declarative Agent Languages and applied sciences, DALT 2006, held in Hakodate, Japan in may possibly 2006 as an linked occasion of AAMAS 2006, the most overseas convention on self sufficient brokers and multi-agent platforms.

Languages and Compilers for Parallel Computing: 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers

This booklet constitutes the completely refereed post-conference court cases of the twentieth overseas Workshop on Languages and Compilers for Parallel Computing, LCPC 2007, held in Urbana, IL, united states, in October 2007. The 23 revised complete papers offered have been conscientiously reviewed and chosen from forty nine submissions.

Bio-inspired Modeling of Cognitive Tasks: Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part I

The 1st of a two-volume set, this publication constitutes the refereed court cases of the second one overseas Work-Conference at the interaction among ordinary and synthetic Computation, IWINAC 2007, held in l. a. Manga del Mar Menor, Spain in June 2007. The 126 revised papers awarded are thematically divided into volumes.

Extra info for Domain-Specific Program Generation: International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003. Revised Papers

Sample text

Otherwise, it looks up its argument in the original environment. All we need to implement such environments is the following: exception Yikes (* env0, fenv : ’a -> ’b *) let env0 = fun x -> raise Yikes let fenv0 = env0 (* ext : (’a -> ’b) -> ’a -> ’b -> ’a -> ’b *) let ext env x v = fun y -> if x=y then v else env y The types of all three functions are polymorphic. Type variables such as ’a and ’b are implicitly universally quantified. This means that they can be later instantiated to more specific types.

3 From a Program Family to a Library When a program family is identified, developers naturally exploit the situation by introducing re-usable software components. Abstracting over commonalities generally leads to the identification of domain-specific operations. Variabilities translate into versions of operations, variations of implementations, and/or parameterization. In practice, after some iterations, a program family leads to the development of a library. The objects manipulated by the library functions contributes to identify domain-specific objects.

K. Kang, S. Cohen, J. Hess, W. Nowak, and S. Peterson. “Feature-Oriented Domain Analysis (FODA) Feasibility Study”. Tech. Rep. CMU/SEI-90-TR-21, Soft. Eng. , Pittsburgh, PA, Nov. 1990. 18. C. Li, S. Krishnamurthi, and K. Fisler, “Interfaces for Modular Feature Verification”, Automated Software Engineering Conference 2002, 195-204. 19. J. Neighbors, “Software construction using components”. Ph. D. Thesis, (Technical Report TR-160), University of California, Irvine, 1980. 20. E. W. Rector, “In Recognition of the 25th Anniversary of Computing Reviews: Selected Reviews 1960-1984”, Communications of the ACM, January 1985, 53-68.

Download PDF sample

Rated 4.22 of 5 – based on 44 votes