Difference between revisions of "Publications"

From Clean
Jump to navigationJump to search
(Added the last 2007 papers of ST)
Line 1: Line 1:
Clean is used in scientific research all over the world. This page provides an overview of Clean related scientific publications.
+
Clean is used in scientific research all over the world. See the [http://www.st.cs.ru.nl/Onderzoek/Publicaties/publicaties.html publications page] of the ST group at the Radboud University Nijmegen for all Clean related publications. To give an impression, here is a list of research topics on which you can find papers in the previous link (please note that this list is far from complete):
  
== 2008 ==
+
* Dynamic Workflow Management Systems (the iTask system)
# Pieter Koopman, Peter Achten, Rinus Plasmeijer. [http://www.st.cs.ru.nl/papers/2008/koop08-PADL2008-ModelBasedTestingOfWebWithNavigation.pdf 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.
+
* Generic programming and novel applications:
== 2007 ==
+
** Generation of desktop GUIs and web based GUIs (the GEC and iData system)
# Peter Achten, Marko van Eekelen, Maarten de Mol, Rinus Plasmeijer. [http://www.st.cs.ru.nl/papers/2007/achp2007-TFP07-iDataArrowSemanticsPrelim.pdf 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).
+
** Model-based testing and model checking (the GAST system)
# Marko van Eekelen, Maarten de Mol. [http://www.st.cs.ru.nl/papers/2007/eekm2007-HB60-LazyFolkloreProving.pdf 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).
+
** Bridging the gap between relational databases and programming language types
# Jan Martin Jansen, Pieter Koopman, Rinus Plasmeijer. [http://www.st.cs.ru.nl/papers/2007/janj2007-TFP06-EfficientInterpretationOfSAPL.pdf 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.
+
* Dynamic typing coupled with static typing (the Dynamic types)
# 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.
+
** Merging dynamic types with generic functions
# 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.
+
* Reasoning about Clean programs with the proof tool assistant Sparkle
# 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).
+
* Uniqueness types for handling side-effects in a pure functional style
# 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).
+
* Strictness types and analysis
# Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. The Mathematical Foundation of the Proof Assistant Sparkle. Technical Report ICIS-R07025, 2007, Radboud University Nijmegen.
+
* Compiler and interpreter technology
# 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.
+
** the SAPL system
# 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.
+
** program fusion to optimize generic code
# Rinus Plasmeijer, Peter Achten. [http://www.st.cs.ru.nl/papers/2007/plar2007-IFL06-iDataConfManagementSystemRev.pdf A Conference Management System based on the iData Toolkit]. In Horvath, Z. and Zsok, V. Eds. Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL'06, Selected Papers, September 4-6, 2006, Budapest, Hungary, Eotvos Lorand University, Faculty of Informatics, Department of Programming Languages and Compilers, Springer Verlag, LNCS 4449.
+
** dynamic linking
# Rinus Plasmeijer, Peter Achten, Pieter Koopman. [http://www.st.cs.ru.nl/papers/2007/plar2007-ICFP07-iTasks.pdf iTasks: Executable Specifications of Interactive Work Flow Systems for the Web]. In Ramsey, N. Ed. Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming (ICFP'07), Freiburg, Germany, October 1-3, 2007, ACM, ISBN 978-1-59593-815-2, pp. 141-152.
+
** ABC-machine
# Rinus Plasmeijer, Peter Achten, Pieter Koopman. An Introduction to iTasks: Defining Interactive Work Flows for the Web - Draft version -. In Central European Functional Programming School, CEFP 2007, June 23-30 2007, Cluj-Napoca, Romania.
+
** Term-Graph Rewriting
# Rinus Plasmeijer, Jan Martin Jansen, Pieter Koopman, Peter Achten. Transparant Ajax and Client-Site Evaluation of iTasks. 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. 252-253.
+
** garbage collection
# Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson. [http://www.st.cs.ru.nl/papers/2007/vrie2007-IFL06-UniquenessTypingRedefinedRev.pdf Uniqueness Typing Redefined]. In Horvath, Z. and Zsok, V. Eds. Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL'06, Selected Papers, September 4-6, 2006, Budapest, Hungary, Eotvos Lorand University, Faculty of Informatics, Department of Programming Languages and Compilers, Springer Verlag, LNCS 4449.
+
* GUI programming (the Object I/O system)
# Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson. [http://www.st.cs.ru.nl/papers/2007/vrie2007-TFP07-EqualityBasedUniquenessTyping.pdf Equality Based Uniqueness Typing]. In M. Morazan, Ed. Preliminary Proceedings Eighth Symposium on Trends in Functional Programming, TFP 2007, April 2-4, New York, USA.
+
* Concurrent programming and code generation
# Edsko de Vries, Rinus Plasmeijer, David Abrahamson. Uniqueness Typing Simplified. 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. 416-430.
 
# Arjen van Weelden. [http://webdoc.ubn.ru.nl/mono/w/weelden_a_van/putttytog.pdf Putting Types To Good Use]. PhD Thesis. October 2007. Radboud University Nijmegen. ISBN 978-90-9022041-3.
 
# Erik Zuurbier, Rinus Plasmeijer. Car Damage Subrogation Workflow - an iTask exercise. 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. 232.
 
 
 
== 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.
 

Revision as of 11:50, 12 November 2009

Clean is used in scientific research all over the world. See the publications page of the ST group at the Radboud University Nijmegen for all Clean related publications. To give an impression, here is a list of research topics on which you can find papers in the previous link (please note that this list is far from complete):

  • Dynamic Workflow Management Systems (the iTask system)
  • Generic programming and novel applications:
    • Generation of desktop GUIs and web based GUIs (the GEC and iData system)
    • Model-based testing and model checking (the GAST system)
    • Bridging the gap between relational databases and programming language types
  • Dynamic typing coupled with static typing (the Dynamic types)
    • Merging dynamic types with generic functions
  • Reasoning about Clean programs with the proof tool assistant Sparkle
  • Uniqueness types for handling side-effects in a pure functional style
  • Strictness types and analysis
  • Compiler and interpreter technology
    • the SAPL system
    • program fusion to optimize generic code
    • dynamic linking
    • ABC-machine
    • Term-Graph Rewriting
    • garbage collection
  • GUI programming (the Object I/O system)
  • Concurrent programming and code generation