Generative Programming

Generative Programming
Author: Krzysztof Czarnecki
Publisher:
Total Pages: 832
Release: 2000
Genre: Generative programming (Computer science)
ISBN: 9780210309773

Generative Programming and Component Engineering

Generative Programming and Component Engineering
Author: Gabor Karsai
Publisher: Springer Science & Business Media
Total Pages: 504
Release: 2004-10-12
Genre: Business & Economics
ISBN: 3540235809

This book constitutes the refereed proceedings of the Third International Conference on Generative Programming and Component Engineering, GPCE 2004, held in Vancouver, Canada in October 2004. The 25 revised full papers presented together with abstracts of 2 invited talks were carefully reviewed and selected from 75 submissions. The papers are organized in topical sections on aspect-orientation, staged programming, types for meta-programming, meta-programming, model-driven approaches, product lines, and domain-specific languages and generation.

Generative Programming and Component Engineering

Generative Programming and Component Engineering
Author: Robert Glück
Publisher: Springer Science & Business Media
Total Pages: 459
Release: 2005-09-16
Genre: Business & Economics
ISBN: 3540291385

This book constitutes the refereed proceedings of the 4th International Conference on Generative Programming and Component Engineering, GPCE 2005, held in Tallinn, Estonia, in September/October 2005. The 25 revised full papers presented together with 2 tool demonstration papers were carefully selected from 86 initial submissions following a round of reviewing and improvement. The papers, which include three full invited papers, are organized in topical sections on aspect-oriented programming, component engineering and templates, demonstrations, domain-specific languages, generative techniques, generic programming, meta-programming and transformation, and multi-stage programming.

Generative Programming and Component Engineering

Generative Programming and Component Engineering
Author: Don Batory
Publisher: Springer Science & Business Media
Total Pages: 344
Release: 2002-09-23
Genre: Business & Economics
ISBN: 3540442847

This book constitutes the refereed proceedings of the ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering, GPCE 2002, held in Pittsburgh, PA, USA in October 2002. The 18 revised full papers presented were carefully reviewed and selected from 39 submissions. Among the topics covered are generative programming, meta-programming, program specialization, program analysis, program transformation, domain-specific languages, software architectures, aspect-oriented programming, and component-based systems.

Generative Programming and Component Engineering

Generative Programming and Component Engineering
Author: Frank Pfenning
Publisher: Springer Science & Business Media
Total Pages: 407
Release: 2003-09-12
Genre: Business & Economics
ISBN: 3540201025

This book constitutes the refereed proceedings of the Second International Conference on Generic Programming and Component Engineering, GPCE 2003, held in Erfurt, Germany in September 2003. The 21 revised full papers presented were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections on domain-specific languages, staged programming, modeling to code, aspect-orientation, meta-programming and language extension, automating design-to-code transitions, principled domain-specific approaches, and generation and translation.

Invariants

Invariants
Author: Daniel Zingaro
Publisher:
Total Pages: 188
Release: 2008
Genre: Computers
ISBN: 9781904987833

Algorithms are central to all areas of computer science, from compiler construction to numerical analysis to artificial intelligence. Throughout your academic and professional careers, you may be required to construct new algorithms, analyze existing algorithms, or modify algorithms to suit new purposes. How do we know that such algorithms are correct? One method involves making claims about how we expect our programs to operate, and then constructing code that carries out these tasks. The key component of such reasoning is the invariant, and is the topic of this book. In these pages, you will study how invariants are developed, how they are used to construct correct algorithms, and how they are helpful in analyzing existing programs. Along the way, you'll be introduced to some classic sorting, searching and mathematical algorithms, and even some solutions to games and logic puzzles. These examples, though, are only conduits for the loftier goal: understanding why algorithms work.

Generative and Component-Based Software Engineering

Generative and Component-Based Software Engineering
Author: Krzysztof Czarnecki
Publisher: Springer Science & Business Media
Total Pages: 232
Release: 2000-09-27
Genre: Computers
ISBN: 3540411720

In the past two years, the Smalltalk and Java in Industry and Education C- ference (STJA) featured a special track on generative programming, which was organized by the working group \Generative and Component-Based Software Engineering" of the \Gesellschaft fur ̈ Informatik" FG 2.1.9 \Object-Oriented Software Engineering." This track covered a wide range of related topics from domain analysis, software system family engineering, and software product - nes, to extendible compilers and active libraries. The talks and keynotes directed towards this new software engineering paradigm received much attention and - terest from the STJA audience. Hence the STJA organizers suggested enlarging this track, making it more visible and open to wider, international participation. This is how the GCSE symposium was born. The rst GCSE symposium attracted 39 submissions from all over the world. This impressive number demonstrates the international interest in generative programming and related elds. After a careful review by the program comm- tee, fteen papers were selected for presentation. We are very grateful to the members of the program committee, all of them renowned experts, for their dedication in preparing thorough reviews of the submissions. Special thanks go to Elke Pulvermuller ̈ and Andreas Speck, who proposed and organized a special conference event, the Young Researches Workshop (YRW). This workshop provided a unique opportunity for young scientists and Ph.D.

Formal Methods for Components and Objects

Formal Methods for Components and Objects
Author: Frank S. de Boer
Publisher: Springer
Total Pages: 305
Release: 2008-01-30
Genre: Computers
ISBN: 3540747923

This book presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands in November 2006. It provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems such as component-based systems and object systems.

Central European Functional Programming School

Central European Functional Programming School
Author: Zoltán Horváth
Publisher: Springer
Total Pages: 398
Release: 2010-12-06
Genre: Computers
ISBN: 3642176852

This volume presents the revised lecture notes of selected talks given at the Third Central European Functional Programming School, CEFP 2009, held in May 2009 in Komárno, Slovakia. It was co-organized with the TFP 2009 conference. The summer school included a three days warm-up session organized in Budapest, Hungary also in May, 2009. The 11 revised full papers presented were carefully reviewed and selected. The lectures cover a wide range of topics such as design patterns, semantics, types, and advanced programming in various functional programming languages.

Domain-Specific Program Generation

Domain-Specific Program Generation
Author: Christian Lengauer
Publisher: Springer
Total Pages: 336
Release: 2004-11-18
Genre: Computers
ISBN: 354025935X

Program generation holds the promise of helping to bridge the gap between application-level problem solutions and efficient implementations at the level of today's source programs as written in C or Java. Thus, program generation can substantially contribute to reducing production cost and time-to-market in future software production, while improving the quality and stability of the product. This book is about domain-specific program generation; it is the outcome of a Dagstuhl seminar on the topic held in March 2003. After an introductory preface by the volume editors, the 18 carefully reviewed revised full papers presented are organized into topical sections on - surveys of domain-specific programming technologies - domain-specific programming languages - tool support for program generation - domain-specific techniques for program optimization