Skip to main content
SpringerLink
Log in

Architecture software using: A methodology for language development

  • Conference paper
  • First Online:
Book cover Principles of Declarative Programming (ALP 1998, PLILP 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1490))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. B.R.T. Arnold, A. van Deursen, and M. Res. An algebraic specification of a language describing financial products. In IEEE Workshop on Formal Methods Application in Software Engineering, pages 6–13, April 1995.

    Google Scholar 

  2. E. Bjarnason. Applab: a laboratory for application languages. In L. Bendix, K. Nrmark, and K. Sterby, editors, Nordic Workshop on Programming Environment Research, Aalborg. Technical Report R-96-2019, Aalborg University, May 1996.

    Google Scholar 

  3. Grady Booch. Software Components with Ada. Benjamin Cummings, 1987.

    Google Scholar 

  4. Satish Chandra and James Laras. Experience with a language for writing coherence protocols. In Proceedings of the 1st USENIX Conference on Domain-Specific Languages, Santa Barbara, California, October 1997.

    Google Scholar 

  5. J. Graig Cleaveland. Building application generators. IEEE Software, July 1988.

    Google Scholar 

  6. C. Consel and O. Danvy. Tutorial notes on partial evaluation. In Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages, pages 493–501, Charleston, SC, USA, January 1993. ACM Press.

    Google Scholar 

  7. C. Consel, L. Hornof, J. Lawall, R. Marlet, G. Muller, J. Noyé, S. Thibault, and N. Volanschi. Partial evaluation for software engineering. ACM Computing Surveys, Symposium on Partial Evaluation, 1998. To appear.

    Google Scholar 

  8. C. Consel, L. Hornof, J. Lawall, R. Marlet, G. Muller, J. Noyé, S. Thibault, and N. Volanschi. Tempo: Specializing systems applications and beyond. ACM Computing Surveys, Symposium on Partial Evaluation, 1998. To appear.

    Google Scholar 

  9. C. Consel, L. Hornof, F. NoËl, J. Noyé, and E.N. Volanschi. A uniform approach for compile-time and run-time specialization. In O. Danvy, R. Glück, and P. Thiemann, editors, Partial Evaluation, International Seminar, Dagstuhl Castle, number 1110 in Lecture Notes in Computer Science, pages 54–72, February 1996.

    Google Scholar 

  10. C. Consel and Danvy O. Static and dynamic semantics processing. In Conference Record of the Eighteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages, Orlando, FL, USA, January 1991. ACM Press.

    Google Scholar 

  11. D. Cuka and D. Weiss. Engineering domains: Executable commands as an example. In Proc. Fifth Internationbal Conference on Software Reuse, June 1998.

    Google Scholar 

  12. Conal Elliott. Modeling interactive 3D and multimedia animation with an embedded language. In Proceedings of the 1st USENIX Conference on Domain-Specific Languages, Santa Barbara, California, October 1997.

    Google Scholar 

  13. N.K. Gupta, L. J. Jagadeesan, E. E. Koutsofios, and D. M. Weiss. Auditdraw: Generating audits the fast way. In Proceedings of the Third IEEE Symposium on Requirements Engineering, pages 188–197, January 1997.

    Google Scholar 

  14. N. D. Jones, editor. Semantics-Directed Compiler Generation, volume 94 of Lecture Notes in Computer Science. Springer-Verlag, 1980.

    Google Scholar 

  15. N. D. Jones and F. Nielson. Abstract interpretation: a semantics-based tool for program ana lysis. Technical report, University of Copenhagen and Aarhus University, Copenhagen, Denmark, 1990.

    Google Scholar 

  16. N.D. Jones. An introduction to partial evaluation. ACM Computing Surveys, 28(3):480–503, sep 1996.

    Article  Google Scholar 

  17. N.D. Jones, C. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. International Series in Computer Science. Prentice-Hall, June 1993.

    Google Scholar 

  18. N.D. Jones, P. Sestoft, and H. Søndergaard. Mix: a self-applicable partial evaluator for experiments in compiler generation. Lisp and Symbolic Computation, 2(1):9–50, 1989.

    Article  Google Scholar 

  19. Samuel Kamin and David Hyatt. A special-purpose language for picture-drawing. In Proceedings of the 1st USENIX Conference on Domain-Specific Languages, Santa Barbara, California, October 1997.

    Google Scholar 

  20. R. Kieburtz, L. McKinney, J. Bell, J. Hook, A. Kotov, J. Lewis, D. Oliva, T. Sheard, I. Smith, and L. Walton. A software engineering experiment in software component generation. In Proceedings of the 18th IEEE International Conference on Software Engineering ICSE-18, pages 542–553, 1996.

    Google Scholar 

  21. David Ladd and Christopher Ramming. Two application languages in software production. In USENIX Symposium on Very High Level Languages, New Mexico, October 1994.

    Google Scholar 

  22. Sheng Liang, Paul Hudak, and Mark Jones. Monad transformers and modular interpreters. In Conference Record of POPL '94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, pages 333–343. ACM, January 1995.

    Google Scholar 

  23. R. Marlet, S. Thibault, and C. Consel. Mapping software architectures to efficient implementations via partial evaluation. In Conference on Automated Software Engineering, pages 183–192, Lake Tahoe, Nevada, November 1997. IEEE Computer Society.

    Google Scholar 

  24. R. McCain. Reusable software component construction: A product-oriented paradigm. In Proceedings of the 5th AiAA/ACM/NASA/IEEE Computers in Aerospace Conference, Long Beach, California, October 1985.

    Google Scholar 

  25. James Neighbors. Software Construction Using Components. PhD thesis, University of California, Irvine, 1980.

    Google Scholar 

  26. D.L. Parnas. On the design and development of program families. IEEE Transactions on Software Engineering, 2:1–9, mar 1976.

    MATH  Google Scholar 

  27. G. D. Plotkin. A Structural Approach To Operational Semantics. University of Aarhus, Aarhus, Denmark, 1981.

    Google Scholar 

  28. Rubn Prieto-Díaz. Domain analysis: An introduction. Software Engineering Notes, 15(2), April 1990.

    Google Scholar 

  29. C. Pu, A. Black, C. Cowan, J. Walpole, and C. Consel. Microlanguages for operating system specialization. In 1st ACM-SIGPLAN Workshop on Domain-Specific Languages, Paris, France, January 1997. Computer Science Technical Report, University of Illinois at Urbana-Champaign

    Google Scholar 

  30. T. Romer, D. Lee, G. Voelker, A. Wolman, W. Wong, J. Baer, B. Bershad, and H. Levy. The structure and performance of interpreters. In Proceedings of 7th international conference on Architectural Support for Programming Languages and Operating Systems, pages 150–159, October 1996.

    Google Scholar 

  31. D. A. Schmidt. Denotational Semantics: a Methodology for Language Development. Allyn and Bacon, Inc., 1986.

    Google Scholar 

  32. Guy L. Steele. Building interpreters by composing monads. In Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages. ACM Press, 1994.

    Google Scholar 

  33. S. Thibault and C. Consel. A framework of application generator design. In M. Harandi, editor, Proceedings of the Symposium on Software Reusability, pages 131–135, Boston, Massachusetts, USA, May 1997. Software Engineering Notes, 22(3).

    Google Scholar 

  34. S. Thibault, R. Marlet, and C. Consel. A domain-specific language for video device drivers: from design to implementation. In Conference on Domain Specific Languages, pages 11–26, Santa Barbara, CA, October 1997. Usenix.

    Google Scholar 

  35. Scott Thibault, Charles Consel, and Gilles Muller. Safe and efficient active network programming. In 17th IEEE Symposium on Reliable Distributed Systems, West Lafayette, Indiana, October 1998.

    Google Scholar 

  36. Scott Thibault, Charles Consel, and Gilles Muller. Safe and efficient active network programming. In 17th IEEE Symposium on Reliable Distributed Systems, West Lafayette, Indiana, October 1998.

    Google Scholar 

  37. Scott Thibault, Renaud Marlet, and Charles Consel. A domain-specific language for video device driver: from design to implementation. In Proceedings of the 1st USENIX Conference on Domain-Specific Languages, Santa Barbara, California, October 1997.

    Google Scholar 

  38. P. Wadler. The essence of functional programming. In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages, pages 1–14, Albuquerque, New Mexico, USA, January 1992. ACM Press.

    Google Scholar 

  39. Bruce W. Weide and William F. Ogden. Recasting algorithms to encourge reuse. IEEE Software, 11(5), September 1994.

    Google Scholar 

  40. D.M. Weiss. Family-oriented abstraction specification and translation: the fast process. In Proceedings of the 11th Annual Conference on Computer Assurance (COMPASS), Gaithersburg, Maryland, pages 14–22. IEEE Press, Piscataway, NJ, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IRISA/INRIA, University of Rennes 1, Campus universitaire de Beaulieu, 35042, Rennes Cedex, France

    Charles Consel & Renaud Marlet

Authors
  1. Charles Consel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Renaud Marlet
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Catuscia Palamidessi Hugh Glaser Karl Meinke

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Consel, C., Marlet, R. (1998). Architecture software using: A methodology for language development. In: Palamidessi, C., Glaser, H., Meinke, K. (eds) Principles of Declarative Programming. ALP PLILP 1998 1998. Lecture Notes in Computer Science, vol 1490. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0056614

Download citation

  • DOI: https://doi.org/10.1007/BFb0056614

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65012-6

  • Online ISBN: 978-3-540-49766-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation