Travelled to:1 × Belgium
1 × Cyprus
1 × Estonia
1 × Ireland
1 × Japan
2 × Romania
2 × Spain
3 × United Kingdom
4 × Germany
4 × Hungary
4 × The Netherlands
6 × USA
Collaborated with:R.Plasmeijer P.W.M.Koopman M.J.Plasmeijer B.Lijnse S.Michels ∅ M.C.J.D.v.Eekelen J.Stutterheim T.v.Noort J.M.Jansen S.L.P.Jones J.H.G.v.Groningen S.Evers J.Kuper A.Alimarine M.Wiering L.Domoszlai A.v.Weelden
Talks about:web (9) interact (8) itask (8) program (7) function (6) system (6) applic (6) clean (6) generic (5) task (5)
Person: Peter Achten
DBLP: Achten:Peter
Facilitated 2 volumes:
EdEdContributed to:
2014
2013
201220112011
2011
2011201020102009
20082008
200820082007
2007
2006
20062006200520052004200420042003200220001999199719952015
2010Wrote 34 papers:
- IFL-2014-AchtenSDP #composition #interactive #programming #scalability
- Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics (PA, JS, LD, RP), p. 7.
- 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.
- CEFP-2011-PlasmeijerALM #multi #web
- Defining Multi-user Web Applications with iTasks (RP, PA, BL, SM), pp. 46–92.
- IFL-2011-KoopmanAP #logic #modelling #state machine #testing
- Model Based Testing with Logical Properties versus State Machines (PWMK, PA, RP), pp. 116–133.
- LDTA-2011-PlasmeijerLAM #coordination
- Getting a grip on tasks that coordinate tasks (RP, BL, PA, SM), p. 1.
- 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.
- IFL-2010-MichelsPA #paradigm #user interface
- iTask as a New Paradigm for Building GUI Applications (SM, RP, PA), pp. 153–168.
- 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-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-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.
- FLOPS-2006-PlasmeijerA #programming #web
- iData for the World Wide Web — Programming Interconnected Web Forms (RP, PA), pp. 242–258.
- IFL-2006-PlasmeijerA #tool support
- A Conference Management System Based on the iData Toolkit (RP, PA), pp. 108–125.
- CEFP-2005-PlasmeijerA #editing #web
- Generic Editors for the World Wide Web (RP, PA), pp. 1–34.
- IFL-2005-PlasmeijerA #implementation
- The Implementation of iData (RP, PA), pp. 106–123.
- AFP-2004-AchtenEPW04 #agile #interactive #named #prototype #tool support #type safety
- GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications (PA, MCJDvE, RP, AvW), pp. 210–244.
- IFL-2004-Achten #user interface
- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications (PA), pp. 17–34.
- IFL-2004-EversAK #functional #programming #user interface #visual notation
- A Functional Programming Technique for Forms in Graphical User Interfaces (SE, PA, JK), pp. 35–51.
- PADL-2004-AchtenEP #composition #user interface #visual notation
- Compositional Model-Views with Generic Graphical User Interfaces (PA, MCJDvE, MJP), pp. 39–55.
- IFL-2003-AchtenD #user interface #visual notation
- Generic Graphical User Interfaces (PA, MCJDvE, RP), pp. 152–167.
- IFL-2002-AchtenAP
- When Generic Functions Use Dynamic Values (PA, AA, MJP), pp. 17–33.
- IFL-2000-AchtenJ #haskell #library #migration
- Porting the Clean Object I/O Library to Haskell (PA, SLPJ), pp. 194–213.
- IFL-1999-AchtenP #implementation #interactive
- The Implementation of Interactive Local State Transition Systems in Clean (PA, MJP), pp. 115–130.
- IFL-1999-WieringAP #framework #game studies #platform #using
- Using Clean for Platform Games (MW, PA, MJP), pp. 1–17.
- IFL-1997-AchtenP #functional #interactive
- Interactive Functional Objects in Clean (PA, MJP), pp. 304–321.
- PLILP-1995-Achten #framework #functional #interactive #source code
- A Functional Framework for Deterministically Interleaved Interactive Programs (PA), pp. 451–452.
- CEFP-2015-StutterheimAP #monad #source code #visualisation
- Static and Dynamic Visualisations of Monadic Programs (JS, PA, RP), pp. 341–379.
- 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.