Volgen
pieter koopman
Titel
Geciteerd door
Geciteerd door
Jaar
Gast: Generic Automated Software Testing
P Koopman, A Alimarine, J Tretmans, R Plasmeijer
Implementation of Functional Languages: 14th International Workshop, IFL …, 2003
1392003
iTasks: executable specifications of interactive work flow systems for the web
R Plasmeijer, P Achten, P Koopman
ACM SIGPLAN Notices 42 (9), 141-152, 2007
932007
Task-oriented programming in a pure functional language
R Plasmeijer, B Lijnse, S Michels, P Achten, P Koopman
Proceedings of the 14th symposium on Principles and Practice of Declarative …, 2012
692012
Efficient interpretation by transforming data types and patterns to functions
JM Jansen, P Koopman, R Plasmeijer
Nottingham, UK, The University of Nottingham: The University of Nottingham, 2006
452006
Efficient combinator parsers
P Koopman, R Plasmeijer
Symposium on Implementation and Application of Functional Languages, 120-136, 1998
351998
An executable and testable semantics for iTasks
P Koopman, R Plasmeijer, P Achten
Symposium on Implementation and Application of Functional Languages, 212-232, 2008
252008
Testing reactive systems with GAST
PWM Koopman, MJ Plasmeijer
Bristol: Intellect, 2004
252004
Declarative Ajax and client side evaluation of workflows using iTasks
R Plasmeijer, JM Jansen, P Koopman, P Achten
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
212008
On-the-fly formal testing of a smart card applet
A van Weelden, M Oostdijk, L Frantzen, P Koopman, J Tretmans
Security and Privacy in the Age of Ubiquitous Computing: IFIP TC11 20 th …, 2005
212005
iTasks for a change: Type-safe run-time change in dynamically evolving workflows
R Plasmeijer, P Achten, P Koopman, B Lijnse, T van Noort, ...
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011
202011
Systematic synthesis of functions
P Koopman, R Plasmeijer
Nottingham, UK, The University of Nottingham: Intellect Books, 2006
202006
An introduction to iTasks: defining interactive work flows for the web
R Plasmeijer, P Achten, P Koopman
Central European Functional Programming School, 1-40, 2007
192007
Automatic testing of higher order functions
P Koopman, R Plasmeijer
Asian Symposium on Programming Languages and Systems, 148-164, 2006
192006
Functional programs as executable specifications
PWM Koopman
[Sl: sn], 1990
191990
A task-based DSL for microcomputers
P Koopman, M Lubbers, R Plasmeijer
Proceedings of the Real World Domain Specific Languages Workshop 2018, 1-11, 2018
162018
Generic generation of elements of types
PWM Koopman, MJ Plasmeijer
Tallin, Estonia: Intellect, 2005
162005
The ABC-machine: A sequential stack-based abstract machine for graph rewriting
PWM Koopman
Technical Report, 90-22, University of Nijmegen, 1990
161990
An introduction to task oriented programming
P Achten, P Koopman, R Plasmeijer
Central European Functional Programming School: 5th Summer School, CEFP 2013 …, 2015
152015
Exchanging sources between Clean and Haskell: A double-edged front end for the Clean compiler
J Groningen, T Noort, P Achten, P Koopman, R Plasmeijer
ACM Sigplan Notices 45 (11), 49-60, 2010
152010
Operational machine specification in a functional programming language
PWM Koopman, MV Eekelen, MJ Plasmeijer
Software: Practice and Experience 25 (5), 463-499, 1995
151995
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20