Domain-specific languages: From design to implementation application to video device drivers generation

IEEE Transactions on Software Engineering

Volumn 25, Issue 3, 1999, Pages 363-377

  Thibault, Scott A ^a   Marlet, Renaud ^a   Consel, Charles ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; SOFTWARE ENGINEERING;

DOMAIN SPECIFIC LANGUAGES (DSL); VIDEO CARDS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0032594217     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.798325     Document Type: Article

References (36)

1. B.R.T. Arnold, A. van Deursen, and M. ResAn Algebraic Specification of a Language Describing Financial Products Proc, IEEE Workshop Formal Methods Application in Software Eng., pp. 6- 13, Apr. 1995.
2. J. BentleyProgramming Pearls: Little Languages Comm. ACM, pp. 711-716, Aug. 1986.
3. H.K. Berg, W.E. Boebert, W.R. Franta, and T.G. Moher, Formal Methods of Program Verification and Specification. Englewood Cliffs, N.J: Prentice Hall, 1982.
4. J.A. Bergstra and P. KlintThe ToolBus Coordination Architecture Proc. First Int'l Conf. Coordination and Models, Cesena, Italy, Lecture Notes in Computer Science, vol. 1,061, pp. 75-88, 1996.
5. E. BjarnasonApplab: A Laboratory for Application Languages L. Bendix, K. Nrmark, and K. Sterby, eds., Proc. Nordic Workshop Programming Environment Research, Technical Report R-96-2019, Aalborg Univ., May 1996.
6. G. Booch, Software Components with Ada. Benjamin/Cummings, 1987.
7. J. Bosch and G. Hedin, eds., Proc. Workshop Compiler Techniques for Application Domain Languages and Extensible Language Models, Linkôping, Technical Report 96-173, Lund Univ., Apr. 1996.
8. S. Chandra and J. LarusExperience with a Language for Writing Coherence Protocols Proc. First USENIX Conf. Domain-Specific Languages, Santa Barbara, Calif., Oct. 1997.
9. J.G. CleavelandBuilding Application Generators IEEE Software, July 1988.
10. C. Consel, L. Hornof, J. Lawall, R. Marlet, G. Muller, J. Noyé, S. Thibault, and N. VolanschiTempo: Specializing Systems Applications and Beyond ACM Computing Surveys, Symp. Partial Evaluation, 1988, .
11. C. Consel, L. Hornof, F. Nol, J. Noy, and E.N. VolanschiA Uniform Approach for Compile-Time and Run-Time Specialization Danvy et al., eds., Partial Evaluation Int'l Seminar, Dagstuhl Castle, pp. 54-72, Feb. 1996.
12. C. Consel and F. NolA General Approach for Run-Time Specialization and Its Application to C Proc. Conf. Record of the 23rd ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages, pp. 145-156, St. Petersburg Beach, Fla., Jan. 1996.
13. O. Danvy, R. Glck, and P. Thiemann, eds., Partial Evaluation, International Seminar, Dagstuhl Castle, Lecture Notes in Computer Science 1,110, Feb. 1996.
14. C. ElliottModeling Interactive 3D and Multimedia Animation with an Embedded Language Proc. First USENIX Conf. DomainSpecific Languages, Santa Barbara, Calif., Oct. 1997.
15. N.K. Gupta, L.J. Jagadeesan, E.E. Koutsofios, and D.M. WeissAuditdraw: Generating Audits the Fast Way Proc. Third IEEE Symp. Requirements Eng., pp. 188-197, Jan. 1997.
16. N.D. JonesAn Introduction to Partial Evaluation ACM Computing Surveys, vol. 28, no. 3, pp. 480-503, Sept. 1996.
17. N.D. JonesWhat Not to do When Writing an Interpreter for Specialisation Danvy et al., eds., Proc. Partial Evaluation International Seminar, Dagstuhl Castle, pp. 216-237, Feb. 1996.
18. N.D. Jones, C. Gomard, and P. Sestoft, Partial Evaluation and Automatic Program Generation, Int'l Series in Computer Science, Englewood Cliffs, N.J.: Prentice Hall, June 1993.
19. S. Kamin and D. HyattA Special-Purpose Language for PictureDrawing Proc. First USENIX Conf. Domain-Specific Languages Santa Barbara, Calif., Oct. 1997.
20. R. Kieburtz, L. McKinney, J. Bell, J. Hook, A. Kotov, J. Lewis, D. Oliva, T. Sheard, I. Smith, and L. WallonA Software Engineering Experiment in Software Component Generation Proc. 18th IEEE Int'l Conf. Software Eng, ICSE-18, pp. 542-553, 1996.
21. D. Ladd and C. RammingTwo Application Languages in Software Production USENIX Symp. Very High Level Languages New Mexico, Oct. 1994.
22. R. Marlet, S. Thibault, and C. ConselMapping Software Architectures to Efficient Implementations via Partial Evaluation Proc. Conf. Automated Software Eng., pp. 183-192, Lake Tahoe, Nev., IEEE Computer Society, Nov. 1997.
23. R. McCainReusable Software Component Construction: A Product-Oriented Paradigm Proc. Fifth AiAA/ACM/NASA/IEEE Computers in Aerospace Conf., Long Beach, Calif., Oct. 1985.
24. G. NeculaProof-Carrying Code Conf. Record 24th Symp. Principles of Programming Languages, pp. 106-116, Paris, ACM Press, Jan. 1997.
25. J. NeighborsSoftware Construction Using Components PhD thesis, Univ. of Calif, at Irvine, 1980.
26. G.D. PlotkinA Structural Approach to Operational Semantics Univ. of Aarhus, Aarhus, Denmark, 1981.
27. R. Prieto-DiazDomain Analysis: An Introduction Software Eng. Notes, vol. 15, no. 2, Apr. 1990.
28. C. Pu, A. Black, C. Cowan, J. Walpole, and C. ConselMicrolanguages for Operating System Specialization Proc. First ACM-SIGPLAN Workshop Domain-Specific Languages, wDSL'97, Paris, Jan. 1997.
29. T. Romer, D. Lee, G. Voelker, A. Wolman, W. Wong, J. Baer, B. Bershad, and H. LevyThe Structure and Performance of Interpreters Proc. Seventh Int'l Conf. Architectural Support for Programming Languages and Operating Systems, pp. 150-159, Oct. 1996.
30. S. Thibault and C. ConselA Framework for Application Generator Design Proc. Symp. Software Reusability, Boston, Mass., May 1997.
31. S. Thibault, C. Consel, and G. MullerSafe and Efficient Active Network Programming Proc. 17th IEEE Symp. Reliable Distributed Systems, West Lafayette, Ind., Oct. 1998.
32. S. Thibault, J. Marant , and G. MullerAdapting Distributed Applications Using Extensible Networks Proc. 17th IEEE Conf. Distributed Computing Systems, Austin, Texas, May 1999.
33. A. van Deursen and P. KlintLittle Languages: Little Maintenance? Proc. First ACM-SIGPLAN Workshop Domain-Specific Languages, wDSL'97, Jan. 1997.
34. First ACM-SIGPLAN Workshop Domain-Specific Languages, Paris, France, Computer Science Technical Report, Univ. of Illinois at Urbana-Champaign, Jan. 1997.
35. B.W. Weide and W.F. OgdenRecasting Algorithms to Encourage Reuse IEEE Software, vol. 11, no. 5, Sept. 1994.
36. The XFree86 Project, http://www. xfree86. orgJ.