Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
A software engineering experiment in software component generation
Proceedings of the 18th international conference on Software engineering
The structure and performance of interpreters
Proceedings of the seventh international conference on Architectural support for programming languages and operating systems
A general approach for run-time specialization and its application to C
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An introduction to partial evaluation
ACM Computing Surveys (CSUR)
A framework for application generator design
Proceedings of the 1997 symposium on Software reusability
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Tempo: specializing systems applications and beyond
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Programming pearls: little languages
Communications of the ACM
Domain analysis: an introduction
ACM SIGSOFT Software Engineering Notes
Software Component with ADA
Building Application Generators
IEEE Software
Recasting Algorithms to Encourage Reuse
IEEE Software
Selected Papers from the Internaltional Seminar on Partial Evaluation
Selected Papers from the Internaltional Seminar on Partial Evaluation
The TOOLBUS Coordination Architecture
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
What Not to Do When Writing an Interpreter for Specialisation
Selected Papers from the Internaltional Seminar on Partial Evaluation
A Uniform Approach for Compile-Time and Run-Time Specialization
Selected Papers from the Internaltional Seminar on Partial Evaluation
Mapping software architectures to efficient implementations via partial evaluation
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Auditdraw: Generating Audits the FAST Way
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Safe and Efficient Active Network Programming
SRDS '98 Proceedings of the The 17th IEEE Symposium on Reliable Distributed Systems
Adapting Distributed Applications Using Extensible Networks
ICDCS '99 Proceedings of the 19th IEEE International Conference on Distributed Computing Systems
Software construction using components
Software construction using components
Experience with a language for writing coherence protocols
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Modeling interactive 3D and multimedia animation with an embedded language
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
A special-purpose language for picture-drawing
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Static and Dynamic Program Compilation by Interpreter Specialization
Higher-Order and Symbolic Computation
Towards robust OSes for appliances: a new approach based on domain-specific languages
EW 9 Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system
Tutorial: Compiling concurrent languages for sequential processors
ACM Transactions on Design Automation of Electronic Systems (TODAES)
NDL: a domain-specific language for device drivers
Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Transformation by interpreter specialisation
Science of Computer Programming - Special issue on program transformation
When and how to develop domain-specific languages
ACM Computing Surveys (CSUR)
Devil: an IDL for hardware programming
OSDI'00 Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4
A preliminary study on various implementation approaches of domain-specific language
Information and Software Technology
Grammar-driven generation of domain-specific language debuggers
Software—Practice & Experience
Original papers: Model-checking for adventure videogames
Information and Software Technology
A little language for surveys: constructing an internal DSL in Ruby
Proceedings of the 46th Annual Southeast Regional Conference on XX
Pervasive and Mobile Computing
Design and implementation of domain-specific language easytime
Computer Languages, Systems and Structures
Domain specific languages contextualized
Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment
Empirical Software Engineering
POET: a scripting language for applying parameterized source-to-source program transformations
Software—Practice & Experience
| Hi-index | 0.00 |
Domain-Specific languages (DSL) have many potential advantages in terms of software engineering ranging from increased productivity to the application of formal methods. Although they have been used in practice for decades, there has been little study of methodology or implementation tools for the DSL approach. In this paper, we present our DSL approach and its application to a realistic domain: the generation of video display device drivers. The presentation focuses on the validation of our proposed framework for domain-specific languages, from design to implementation. The framework leads to a flexible design and structure, and provides automatic generation of efficient implementations of DSL programs. Additionally, we describe an example of a complete DSL for video display adaptors and the benefits of the DSL approach for this application. This demonstrates some of the generally claimed benefits of using DSLs: increased productivity, higher-level abstraction, and easier verification. This DSL has been fully implemented with our approach and is available. Compose project URL: http://www.irisa.fr/compose/gal.