Travelled to:1 × Belgium
1 × Cyprus
2 × Germany
2 × Hungary
2 × Romania
2 × Spain
2 × The Netherlands
2 × United Kingdom
5 × USA
Collaborated with:R.Plasmeijer P.Achten J.M.Jansen M.J.Plasmeijer B.Lijnse T.v.Noort V.Zweije J.H.G.v.Groningen A.Alimarine J.Tretmans T.H.Zörner M.C.J.D.v.Eekelen S.Michels
Talks about:itask (7) function (6) test (5) web (5) system (4) base (4) workflow (3) interact (3) program (3) client (3)
Person: Pieter W. M. Koopman
DBLP: Koopman:Pieter_W=_M=
Facilitated 3 volumes:
Ed
EdEdContributed to:
2014
2013
20122011
2011
2010200920082008
200820082007
2007
20062005200220001998
1995
2010Wrote 22 papers:
- IFL-2014-KoopmanPJ #data type #encoding #functional #harmful #implementation
- Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl (PWMK, RP, JMJ), p. 4.
- CEFP-2013-AchtenKP #programming
- An Introduction to Task Oriented Programming (PA, PWMK, RP), pp. 187–245.
- PPDP-2012-PlasmeijerLMAK #functional #programming
- Task-oriented programming in a pure functional language (RP, BL, SM, PA, PWMK), pp. 195–206.
- IFL-2011-KoopmanAP #logic #modelling #state machine #testing
- Model Based Testing with Logical Properties versus State Machines (PWMK, PA, RP), pp. 116–133.
- PEPM-2011-PlasmeijerAKLNG #evolution #runtime #type safety #workflow
- iTasks for a change: type-safe run-time change in dynamically evolving workflows (RP, PA, PWMK, BL, TvN, JHGvG), pp. 151–160.
- LDTA-2010-JansenPKA #functional #workflow
- Embedding a web-based workflow management system in a functional language (JMJ, RP, PWMK, PA), p. 7.
- CEFP-2009-KoopmanPA #consistency #effectiveness #semantics
- An Effective Methodology for Defining Consistent Semantics of Complex Systems (PWMK, RP, PA), pp. 224–267.
- AFP-2008-PlasmeijerAKLN08 #case study
- An iTask Case Study: A Conference Management System (RP, PA, PWMK, BL, TvN), pp. 306–329.
- IFL-2008-JansenPK #interactive #named #plugin
- iEditors: Extending iTask with Interactive Plug-ins (JMJ, RP, PWMK), pp. 192–211.
- IFL-2008-KoopmanPA #execution #semantics
- An Executable and Testable Semantics for iTasks (PWMK, RP, PA), pp. 212–232.
- PADL-2008-KoopmanAP #modelling #navigation #testing #web
- Model-Based Testing of Thin-Client Web Applications and Navigation Input (PWMK, PA, RP), pp. 299–315.
- PPDP-2008-PlasmeijerJKA #ajax #declarative #evaluation #using #workflow
- Declarative Ajax and client side evaluation of workflows using iTasks (RP, JMJ, PWMK, PA), pp. 56–66.
- CEFP-2007-JansenKP #compilation
- From Interpretation to Compilation (JMJ, PWMK, RP), pp. 286–301.
- CEFP-2007-PlasmeijerAK #interactive #web
- An Introduction to iTasks: Defining Interactive Work Flows for the Web (RP, PA, PWMK), pp. 1–40.
- ICFP-2007-PlasmeijerAK #execution #interactive #named #specification #web
- iTasks: executable specifications of interactive work flow systems for the web (RP, PA, PWMK), pp. 141–152.
- FATES-RV-2006-KoopmanPA #modelling #testing #web
- Model-Based Testing of Thin-Client Web Applications (PWMK, RP, PA), pp. 115–132.
- CEFP-2005-KoopmanP #automation #specification #testing
- Fully Automatic Testing with Functions as Specifications (PWMK, RP), pp. 35–61.
- IFL-2002-KoopmanATP #automation #named #testing
- Gast: Generic Automated Software Testing (PWMK, AA, JT, MJP), pp. 84–100.
- IFL-2000-ZornerKEP #functional
- Polygonizing Implicit Surfaces in a Purely Functional Way (THGZ, PWMK, MCJDvE, MJP), pp. 158–175.
- IFL-1998-KoopmanP #combinator #parsing #performance
- Efficient Combinator Parsers (PWMK, MJP), pp. 120–136.
- FPLE-1995-KoopmanZ #database #functional #programming
- Functional Programming in a Basic Database Course (PWMK, VZ), pp. 215–229.
- Haskell-2010-GroningenNAKP #compilation #haskell
- Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler (JHGvG, TvN, PA, PWMK, RP), pp. 49–60.