Difference between revisions of "Publications"

From Clean
Jump to navigationJump to search
m
(Added five more papers)
Line 9: Line 9:
 
# Pieter Koopman, Rinus Plasmeijer. [http://www.st.cs.ru.nl/papers/2007/koop07-SynthesisOfFunctions_TFP2006.pdf Systematic Synthesis of Functions]. In Nilsson, H. Ed. Proceedings Seventh Symposium on Trends in Functional Programming, TFP 2006, Revised Papers. Nottingham, UK, 19-21 April 2006, The University of Nottingham, Intellect Books UK, ISBN 978-1-84150-188-8, pp. 35-54.
 
# Pieter Koopman, Rinus Plasmeijer. [http://www.st.cs.ru.nl/papers/2007/koop07-SynthesisOfFunctions_TFP2006.pdf Systematic Synthesis of Functions]. In Nilsson, H. Ed. Proceedings Seventh Symposium on Trends in Functional Programming, TFP 2006, Revised Papers. Nottingham, UK, 19-21 April 2006, The University of Nottingham, Intellect Books UK, ISBN 978-1-84150-188-8, pp. 35-54.
 
# Pieter Koopman, Peter Achten, Rinus Plasmeijer. Model-Based Testing of Thin-Client Web Applications and Navigation Input. In M. Morazan, Ed. Preliminary Proceedings Eighth Symposium on Trends in Functional Programming, TFP 2007, April 2-4, New York, USA.
 
# Pieter Koopman, Peter Achten, Rinus Plasmeijer. Model-Based Testing of Thin-Client Web Applications and Navigation Input. In M. Morazan, Ed. Preliminary Proceedings Eighth Symposium on Trends in Functional Programming, TFP 2007, April 2-4, New York, USA.
 +
# Pieter Koopman, Peter Achten, Rinus Plasmeijer. On the Validation of Specifications used in Model-Based Testing. In Chitil, O. Ed. Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, Freiburg, Germany, 27-29 september 2007, Computing Laboratory, University of Kent, Canterbury, Kent, UK, Technical Report No. 12-07, September 2007, pp. 230-231 (
 +
bib).
 +
# Pieter Koopman, Rinus Plasmeijer. [http://www.st.cs.ru.nl/papers/2007/koop2007-HB60-genLambda.pdf Systematic Synthesis of l-Terms]. In Barendsen, E., Capretta, V., Geuvers, H., Niqui, M. (Eds.) Reflections on Type Theory, l -Calculus, and the Mind - Essays dedicated to Henk Barendregt on the occasion of his 60th birthday. December 17 2007. Radboud University Nijmegen, The Netherlands. ISBN 978-90-9022446-6, pp. 211-222 (bib).
 +
# Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. The Mathematical Foundation of the Proof Assistant Sparkle. Technical Report ICIS-R07025, 2007, Radboud University Nijmegen.
 +
# Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. Proving properties of lazy functional programs with Sparkle. In Central European Functional Programming School, CEFP 2007, June 23-30 2007, Cluj-Napoca, Romania.
 +
# Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. A Single-Step Term-Graph Reduction System for Proof-Assistants. In Schuerr, A., Nagl, M. and Zuendorf, A. Eds. Proceedings of Selected and Invited Papers of Applications of Graph Transformations with Industrial Relevance, Third Internation Symposium, AGTIVE 2007, Kassel, Germany, 2007, pp. 181-197.
  
 
== Older publications ==
 
== Older publications ==
 
See the [http://www.st.cs.ru.nl/Onderzoek/Publicaties/publicaties.html publications page] of the ST group at the Radboud University  Nijmegen for more Clean related publications.
 
See the [http://www.st.cs.ru.nl/Onderzoek/Publicaties/publicaties.html publications page] of the ST group at the Radboud University  Nijmegen for more Clean related publications.

Revision as of 14:06, 22 February 2008

Clean is used in scientific research all over the world. This page provides an overview of Clean related scientific publications.

2008

  1. Pieter Koopman, Peter Achten, Rinus Plasmeijer. Model-Based Testing of Thin-Client Web Applications and Navigation Input. In Hudak, P. and Warren, D.S. Eds. Proceedings of 10th International Symposium on Practical Aspects of Declarative Languages, PADL08, San Francisco, CA, USA, January 7-8, 2008, Springer, LNCS 4902, pp. 299-315.

2007

  1. Peter Achten, Marko van Eekelen, Maarten de Mol, Rinus Plasmeijer. An Arrow Based Semantics for Interactive Applications. In M. Morazan, Ed. Preliminary Proceedings Eighth Symposium on Trends in Functional Programming, TFP 2007, April 2-4, New York, USA (bib).
  2. Marko van Eekelen, Maarten de Mol. Proving Lazy Folklore with Mixed Lazy/Strict Semantics. In Barendsen, E., Capretta, V., Geuvers, H., Niqui, M. (Eds.) Reflections on Type Theory, l-Calculus, and the Mind - Essays dedicated to Henk Barendregt on the occasion of his 60th birthday. December 17 2007. Radboud University Nijmegen, The Netherlands. ISBN 978-90-9022446-6, pp. 87-100 (bib).
  3. Jan Martin Jansen, Pieter Koopman, Rinus Plasmeijer. Efficient Interpretation by Transforming Data Types and Patterns to Functions. In Nilsson, H. Ed. Proceedings Seventh Symposium on Trends in Functional Programming, TFP 2006, Revised Papers. Nottingham, UK, 19-21 April 2006, The University of Nottingham, Intellect Books UK, ISBN 978-1-84150-188-8, pp. 73-90.
  4. Pieter Koopman, Rinus Plasmeijer. Systematic Synthesis of Functions. In Nilsson, H. Ed. Proceedings Seventh Symposium on Trends in Functional Programming, TFP 2006, Revised Papers. Nottingham, UK, 19-21 April 2006, The University of Nottingham, Intellect Books UK, ISBN 978-1-84150-188-8, pp. 35-54.
  5. Pieter Koopman, Peter Achten, Rinus Plasmeijer. Model-Based Testing of Thin-Client Web Applications and Navigation Input. In M. Morazan, Ed. Preliminary Proceedings Eighth Symposium on Trends in Functional Programming, TFP 2007, April 2-4, New York, USA.
  6. Pieter Koopman, Peter Achten, Rinus Plasmeijer. On the Validation of Specifications used in Model-Based Testing. In Chitil, O. Ed. Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, Freiburg, Germany, 27-29 september 2007, Computing Laboratory, University of Kent, Canterbury, Kent, UK, Technical Report No. 12-07, September 2007, pp. 230-231 (

bib).

  1. Pieter Koopman, Rinus Plasmeijer. Systematic Synthesis of l-Terms. In Barendsen, E., Capretta, V., Geuvers, H., Niqui, M. (Eds.) Reflections on Type Theory, l -Calculus, and the Mind - Essays dedicated to Henk Barendregt on the occasion of his 60th birthday. December 17 2007. Radboud University Nijmegen, The Netherlands. ISBN 978-90-9022446-6, pp. 211-222 (bib).
  2. Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. The Mathematical Foundation of the Proof Assistant Sparkle. Technical Report ICIS-R07025, 2007, Radboud University Nijmegen.
  3. Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. Proving properties of lazy functional programs with Sparkle. In Central European Functional Programming School, CEFP 2007, June 23-30 2007, Cluj-Napoca, Romania.
  4. Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. A Single-Step Term-Graph Reduction System for Proof-Assistants. In Schuerr, A., Nagl, M. and Zuendorf, A. Eds. Proceedings of Selected and Invited Papers of Applications of Graph Transformations with Industrial Relevance, Third Internation Symposium, AGTIVE 2007, Kassel, Germany, 2007, pp. 181-197.

Older publications

See the publications page of the ST group at the Radboud University Nijmegen for more Clean related publications.