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
Read or Download Domain-Specific Program Generation: International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003. Revised Papers PDF
Best computers books
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.
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.
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.
- Annotating, Extracting and Reasoning about Time and Events: International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers
- The Mathematics of Inheritance Systems
- Guide to Computer Animation: for tv, games, multimedia and web
- Sanskrit Computational Linguistics: 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings
Extra info for Domain-Specific Program Generation: International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003. Revised Papers
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 quantiﬁed. This means that they can be later instantiated to more speciﬁc types.
3 From a Program Family to a Library When a program family is identiﬁed, developers naturally exploit the situation by introducing re-usable software components. Abstracting over commonalities generally leads to the identiﬁcation of domain-speciﬁc 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-speciﬁc 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 Veriﬁcation”, 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.