|
|
||
|
|
Start of topic | Skip to actions
Results from WG211 webretrieved at 13:06 (Local)
IFIP WG2.11, meeting schedule IFIP Working Group 2.11 Seventh Meeting April 15 17, 2009, Mountain View, California
Welcome to the homepage of IFIP TC 2 working group on Program Generation (WG 2.11) Program generation has the potential to revolutionize software development in the ...
WG211 Web Preferences The following settings are web preferences of the WG211 web. These preferences overwrite the site level preferences in ., and can be ...
IFIP WG2.11, meeting schedule IFIP Working Group 2.11 Sixth Meeting June 19 21, 2008, Passau, DE. Registration Meeting Fee: EUR 160, payable by credit card or ...
Doctoral/Postdoc Position Available at the University of Passau, Germany Project: Programming Methods for Manycore Architectures Website: http://www.infosun.fim ...
Doctoral/Postdoc Position Available at the University of Passau, Germany Project: FeatureFoundation: Algebra Based Feature Oriented Program Synthesis Website: ...
IFIP Working Conference on Domain Specific Languages (DSL WC) July 15 17, 2009, Oxford Call for Papers Domain specific languages are emerging as a fundamental component ...
Mailing Lists mailto:prog [email protected] caml [email protected] [email protected] oon [email protected] [email protected] haskell ...
EmirPasalic 15 Jun 2008 CFP DSL.pdf: CFP DSL.pdf cfp.pdf: cfp.pdf
Sublanguages for generating digital circuits John O'Donnell Functional circuit specification constitutes a natural domain specific language: circuits are modelled ...
What are the important research issues in domain specific languages? Julia Lawall Many of us have developed, used, or desired domain specific languages (DSLs) in a ...
Strategic Programming by Model Interpretation and Partial Evaluation William Cook Abstract: Strategic Programming is a programming paradigm based on factoring programs ...
Combining Attribution and Rewriting Anthony M Sloane Attribute grammars and term rewriting systems have proven to be useful high level specification paradigms for ...
You can throw a loop a curve Armin Groesslinger Automatic, model based program transformation relies on the ability to generate code from a model description of the ...
Discussion: Whether or not to (and how to) set up a related teaching repository? Ralf Laemmel Many of us are giving courses at various levels with relevance for program ...
In earlier work (presented at the last WG 2.11 meeting), I presented an initial effort at facilitating software development for modular self reconfigurable robots ...
Recent Developments in Feature Feature Oriented Software Development Sven Apel Feature oriented software development is an emerging paradigm that provides a multitude ...
The talk investigates conceptually the self generation of compiler generators and program specializers. The question whether the generation process stagnates or progresses ...
The Expression Lemma Ralf L mmel, joint work with Ondrej Rypacek Algebraic data types and catamorphisms (folds) play a central role in functional programming as they ...
A model based framework for statically and dynamically checking component interactions Anne Francoise Le Meur Building applications by assembling software components ...
Pantaxou: a Domain Specific Language for Developing Safe Coordination Services Charles Consel Coordinating entities in a networked environment has always been a ...
IFIP WG2.11, meeting schedule IFIP Working Group 2.11 Fourth Meeting Schedule October 27 28, 2006, Portland, Oregon. Your Checklist: Directions to University ...
Code Generation by Model Transformation The realization of model driven software development requires effective techniques for implementing code generators. In this ...
IFIP WG2.11, meeting schedule IFIP Working Group 2.11 Fifth Meeting August 20 22, 2007, Copenhagen, Denmark. Business meeting There will be a business meeting late ...
Statistics for WG211 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads ...
From the airport to the hotel: The hotel is quite near the airport. By taxi it costs around 150DKK and takes around 10 minutes. As you leave the baggage area, ...
Teaching Program Generation Getting program generation accepted and used starts with teaching our students. How should we incorporate program generation in the ...
J rg Striegnitz Title: Type Systems to Support Language Embeddings Speaker: J rg Striegnitz Slides: .pdf Abstract: None.
Roberto Lopez Herrejon Title: Mapping Features to Aspects Speaker: Roberto Lopez Herrejon Slides: .pdf Abstract: Features are increments in program functionality and ...
Marc Pouzet Title: A Conservative Extension of Synchronous Data flow with State Machines Speaker: Marc Pouzet Slides: .pdf Abstract: In this talk, we present an extension ...
Doaitse Swierstra/title Title: Implicit Program Generation Speaker: Doaitse Swierstra Slides: .pdf Abstract: I show how by creating parsers on the fly we can create ...
Charles Consel Title: A proposal for Domain Specific Software Engineering Speaker: Charles Consel Slides: .ppt Abstract: Domain Specific Software Engineering Traditionally ...
Eelco Visser Title: A Framework for Transformation of Java Programs Speaker: Eelco Visser Slides: .pdf Abstract: Stratego/XT is a language independent framework for ...
Title: Program generation by linking Speaker: Eugenio Moggi Slides: .pdf Abstract. In joint work with Ancona we have introduced a monadic metalanguage with name generation ...
Marco Danelutto Title: Generative aspects in skeletal systems Speaker: Marco Danelutto Abstract: Algorithmical skeleton based environments have been around since the ...
Albert Cohen Title: How can we make metaprogramming more predictable and enjoyable? Discussion Leader: Albert Cohen Proposed cheese wine discussion. Meta programming ...
Sam Kamin and Eelco Visser Title: Compelling examples of program generation Discussion Leader: Sam Kamin and Eelco Visser Sam's Perspective: Model Examples for Program ...
Lawrence Rauchwerger Title: STAPL: A High Productivity Parallel Programming Environment Speaker: Lawrence Rauchwerger Abstract: The Standard Template Adaptive Parallel ...
Albert Cohen Title: N Synchronous Kahn Networks Speaker: Albert Cohen The design of high performance stream processing systems is a fast growing domain, driven by ...
This is a subscription service to be automatically notified by e mail when topics change in this WG211 web. This is a convenient service, so you do not have to come ...
Krzysztof Czarnecki Title: Verifying Model Templates Speaker: Krzysztof Czarnecki Abstract: TBA
Robert Glueck Title: TBA Speaker: Robert Glueck Abstract: TBA
Title: Generation of High Performance Domain Specific Languages from Component Libraries Ken Kennedy Abstract: This talk will describe an emerging research theme, ...
Title: Composition metaprogramming and component metadata Paul H J Kelly Abstract: Performance optimisations very commonly arise from adapting components to their ...
Title: The New EU Network of Excellence CoreGrid Christian Lengauer Abstract: I'll report on CoreGrid, Passau's activities in it, and its relevance to the WG 2.11 ...
Title: Certifying Automatically Generated Code Bernd Fischer Abstract: Automatic code generation has the potential to increase both productivity and reliability of ...
Title: A Game Theoretic Approach to Automated Program Generation Moshe Vardi Abstract: One of the most significant developments in the area of design verification ...
Title: Improving Incremental Development in AspectJ by Bounding Quantification Don Batory Abstract: Incremental software development is a process of building complex ...
Title: Aspect Specific Languages Cristina Videira Lopes Abstract: In the first part of the talk, I will describe JAML, an extensible XML based language framework supporting ...
Title: An Economics Based Model for Assessing Program Modularity Cristina Videira Lopes Abstract: In the second part of the talk, I will present a radically new approach ...
Number of topics: 50
Topic Actions: Edit | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r1 | More topic actions
Webs: Main | TWiki | Africa | EmbeddedSystems | Gpce | Houston | International | K12 | MetaOCaml | MulticoreOCR | ProgrammingLanguages | RAP | RIDL | Sandbox | SpeechClub | Teaching | Texbot | WG211 Web Actions:  WG211 Web  Create New Topic  Index  Search  Changes  Notifications  Statistics  Preferences
|
|
Log In
This work is licensed under a Creative Commons Attribution 2.5 License. Please follow our citation guidelines.