Rinus Plasmeijer

Publications (113)0.88 Total impact

• Conference Proceeding: Task-Oriented Programming in a Pure Functional Language

  Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, Pieter Koopman
  Proceedings of the 2012 ACM SIGPLAN PPDP '12; 09/2012
• Conference Proceeding: Defining multi-user web applications with iTasks

  Rinus Plasmeijer, Peter Achten, Bas Lijnse, Steffen Michels
  Proceedings of the 4th} # CEFP # {'11; 06/2012
• Source

  Available from: Bas Lijnse

  Conference Proceeding: Incidone: A Task-Oriented Incident Coordination Tool

  Bas Lijnse, Jan Martin Jansen, Rinus Plasmeijer
  Proceedings of the 9th} # ISCRAM # {'12; 04/2012
• Conference Proceeding: Model Based Testing with Logical Properties versus State Machines -- Extended Abstract

  Pieter Koopman, Peter Achten, Rinus Plasmeijer
  Draft Proceedings of the 23rd } # SIAFL # {'11; 10/2011
• Source

  Available from: Peter Achten

  Conference Proceeding: Model Based Testing with Logical Properties versus State Machines

  Pieter Koopman, Peter Achten, Rinus Plasmeijer
  [show abstract] [hide abstract]
  ABSTRACT: Model-based testing of single functions is usually based on logical properties as specification. In practice it appears to be rather hard to develop a sufficiently strong set of properties to spot all errors. For model-based testing of state based systems one usually employs a state machine as model and a conformance relation between this specification and the software under test. For (abstract) data types we can use both ways of model-based testing. In this paper we compare the specification effort required to make a model that is able to find issues and the num-ber of tests needed to find issues for some well-known data types. Our examples show that it can be easier to write state based specifications. Moreover, state based testing of data types finds more implementation issues and is very efficient.
  International Symposium on the Implementation and Application of Functional Languages, The University of Kansas, USA; 10/2011
• Conference Proceeding: Capturing the Netherlands Coast Guard's SAR Workflow with iTasks

  Bas Lijnse, Jan Martin Jansen, Ruud Nanne, Rinus Plasmeijer
  Proceedings of the 8th} # ISCRAM # {'11; 05/2011
• Conference Proceeding: Embedding polymorphic dynamic typing

  Thomas {noopsortNoortvan Noort, Wouter Swierstra, Peter Achten, Rinus Plasmeijer
  Proceedings of the} # WGP # {'11, Tokyo, Japan; 01/2011
• Conference Proceeding: GiN: a graphical language and tool for defining iTask workflows

  Jeroen Henrix, Rinus Plasmeijer, Peter Achten
  Proceedings of the 12th } # TFP # {'11, Selected Papers; 01/2011
• Source

  Available from: Pieter Koopman

  Conference Proceeding: iTasks for a change: type-safe run-time change in dynamically evolving workflows.

  Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort, John H. G. van Groningen
  Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011; 01/2011
• Conference Proceeding: Getting a grip on tasks that coordinate tasks.

  Rinus Plasmeijer, Bas Lijnse, Peter Achten, Steffen Michels
  Language Descriptions, Tools and Applications, LDTA 2011, Saarbrücken, Germany, March 26-27, 2011. Proceeding; 01/2011
• Conference Proceeding: Web Based Dynamic Workflow Systems for textsfC2 of Military Operations

  Jan Martin Jansen, Bas Lijnse, Rinus Plasmeijer, Tim Grant
  Revised Selected Papers of the 15th} # ICCRTS # {'10; 06/2010
• Conference Proceeding: Towards Dynamic Workflows for Crisis Management

  Jan Martin Jansen, Bas Lijnse, Rinus Plasmeijer
  Proceedings of the 7th} # ISCRAM # {'10; 05/2010
• Conference Proceeding: Generic Functions Dynamically Applied

  Rinus Plasmeijer, Peter Achten, Pieter Koopman
  Proceedings } # WGT # {'10; 01/2010
• Article: Functional Pearl: Comprehensive Encoding of Data Types and Algorithms in the $lambda$-Calculus

  Jan Martin Jansen, Rinus Plasmeijer, Pieter Koopman
  Journal of Functional Programming 01/2010; Submitted for publication. · 0.88 Impact Factor
• Conference Proceeding: A typical synergy - Dynamic types and generalised algebraic datatypes

  Thomas {noopsortNoortvan Noort, Peter Achten, Rinus Plasmeijer
  Revised Selected Papers of the} # SIAFL # {'09, South Orange, NJ, USA; 01/2010
• Source

  Available from: Peter Achten

  Conference Proceeding: Embedding a web-based workflow management system in a functional language.

  Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman, Peter Achten
  Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS; 01/2010
• Source

  Available from: Peter Achten

  Conference Proceeding: Ad-hoc polymorphism and dynamic typing in a statically typed functional language.

  Thomas van Noort, Peter Achten, Rinus Plasmeijer
  Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2010, Baltimore, MD, USA, September 27-29, 2010; 01/2010
• Source

  Available from: Peter Achten

  Conference Proceeding: Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler.

  John H. G. van Groningen, Thomas van Noort, Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer
  Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010; 01/2010
• Conference Proceeding: iTask as a New Paradigm for Building GUI Applications.

  Steffen Michels, Rinus Plasmeijer, Peter Achten
  Implementation and Application of Functional Languages - 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers; 01/2010
• Source

  Available from: psu.edu

  Article: Efficient and Type-Safe Generic Data Storage.

  Sjaak Smetsers, Arjen van Weelden, Rinus Plasmeijer
  Electr. Notes Theor. Comput. Sci. 01/2009; 238:59-70.