http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FWG211-Aims-2011-02-25WG211/WG211-Aims-2011-02-25 - Revision history2026-04-05T19:34:34ZRevision history for this page on the wikiMediaWiki 1.43.5http://mw.hh.se/wg211/index.php?title=WG211/WG211-Aims-2011-02-25&diff=373&oldid=prevAdmin: 1 revision2011-12-12T10:06:31Z<p>1 revision</p>
<p><b>New page</b></p><div>[[Category:WG211]]<br />
<br />
<br />
<br />
<p align="center"> '''IFIP WG 2.11 on Program Generation''' </p> <p align="center"> '''Mission Statement''' </p> <p align="center"> </p><br />
<br />
'''Aim'''<br />
<br />
Raising the level of abstraction in software specification has been a fundamental goal of the computing community for several decades. In particular, the pervasive need for software in modern engineering creates both the need for and the opportunity of a style of programming at a level of abstraction farther from the execution platform and nearer to the problem domain. This approach has been termed _program generation_ or _generative programming_, since the target programs generated are at the level of abstraction at which, traditionally, programming has been done by hand.<br />
<br />
The goal of IFIP WG 2.11 is to investigate a wide range of techniques to make this approach to programming practical for a wide range of software development tasks. This includes technology for:<br />
* enabling application programmers to write programs more conveniently and without the need of expert knowledge in computer science<br />
* enabling domain experts to design a domain-specific programming language and to generate a language processor (a compiler or interpreter) and an integrated development environment (IDE) for it<br />
* specifying a generic program, which can be specialized conveniently to diverse programs in a fixed application domain, and providing automatic tools for generating the specialized programs and navigating between them<br />
<br />
'''Scope'''<br />
<br />
The working group covers the following research areas (and maybe others):<br />
* programming language design, semantics and implementation<br />
* program analysis and verification<br />
* program synthesis<br />
* type systems and type theory<br />
* programming models and programming methodology<br />
* software engineering<br />
* software product lines<br />
* programming paradigms (object-oriented, aspect-oriented, feature-oriented, functional, logic)<br />
* software-oriented architectures, model-oriented design<br />
* program optimization<br />
* program parallelization<br />
* program libraries<br />
* code generation and optimization<br />
* program analysis and composition tools and IDEs<br />
<br />
Targeted execution platforms may be of any kind and include, in particular:<br />
* software architectures and virtual machines<br />
* the Cloud<br />
* multicores, manycores and GPGPUs<br />
* mobile devices and embedded systems<br />
* FPGAs and other malleable hardware<br />
<br />
'''Objectives'''<br />
<br />
The objectives of the working group are:<br />
* to foster collaboration and interaction between researchers in the areas listed above and to make them aware of the common goal of generative programming<br />
* to demonstrate concrete benefits in specific application domains<br />
* to develop techniques for assessing productivity, reliability and usability<br />
* to determine the potential of a common platform and infrastructure for program generation and transformation<br />
* to examine and further the adoption of program generation and transformation features in mainstream programming languages and environments(<br />
<br />
''(Posted by Ulrik P Schultz, WG 2.11 Vice Chair - 25 Feb 2011)''</div>Admin