Pieter W. M. Koopman

Orcid: 0000-0002-3688-0957

According to our database1, Pieter W. M. Koopman authored at least 58 papers between 1987 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Could Tierless Languages Reduce IoT Development Grief?
ACM Trans. Internet Things, February, 2023

Strongly-Typed Multi-View Stack-Based Computations.
Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023

2022
Writing Internet of Things Applicatations with Task-Oriented Programming.
CoRR, 2022

SusTrainable: Promoting Sustainability as a Fundamental Driver in Software Development Training and Education. Teacher Training, November 1-5, Nijmegen, The Netherlands. Revised lecture notes.
CoRR, 2022

Reducing the Power Consumption of IoT with Task-Oriented Programming.
Proceedings of the Trends in Functional Programming - 23rd International Symposium, 2022

2021
Dynamic Editors for Well-Typed Expressions.
Proceedings of the Trends in Functional Programming - 22nd International Symposium, 2021

Personal Prof: Automatic Code Review for Java Assignments.
Proceedings of the CSERC '21: The 10th Computer Science Education Research Conference, Virtual Event, The Netherlands, November 22, 2021

2020
Tiered versus tierless IoT stacks: comparing smart campus software architectures.
Proceedings of the IoT '20: 10th International Conference on the Internet of Things, 2020

2019
Multitasking on Microcontrollers using Task Oriented Programming.
Proceedings of the 42nd International Convention on Information and Communication Technology, 2019

Interpreting task oriented programs on tiny computers.
Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

A new view on parser combinators.
Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

Writing Internet of Things Applications with Task Oriented Programming.
Proceedings of the Composability, Comprehensibility and Correctness of Working Software, 2019

2018
Task Oriented Programming and the Internet of Things.
Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018

A Task-Based DSL for Microcomputers.
Proceedings of the Real World Domain Specific Languages Workshop, 2018

2015
A Shallow Embedded Type Safe Extendable DSL for the Arduino.
Proceedings of the Trends in Functional Programming - 16th International Symposium, 2015

Type-Safe Functions and Tasks in a Shallow Embedded DSL for Microprocessors.
Proceedings of the Central European Functional Programming School - 6th Summer School, 2015

2014
Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl.
Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

2013
Model-Based Shrinking for State-Based Testing.
Proceedings of the Trends in Functional Programming - 14th International Symposium, 2013

Inference for a New Probabilistic Constraint Logic.
Proceedings of the IJCAI 2013, 2013

An Introduction to Task Oriented Programming.
Proceedings of the Central European Functional Programming School - 5th Summer School, 2013

Functional Semantics.
Proceedings of the Beauty of Functional Code, 2013

2012
Task-oriented programming in a pure functional language.
Proceedings of the Principles and Practice of Declarative Programming, 2012

2011
Applying Bayesian Networks for Intelligent Adaptable Printing Systems.
Proceedings of the Solutions on Embedded Systems, 2011

Generic Executable Semantics for D-Clean.
Proceedings of the Third Workshop on Generative Technologies, 2011

iTasks for a change: type-safe run-time change in dynamically evolving workflows.
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

Model Based Testing with Logical Properties versus State Machines.
Proceedings of the Implementation and Application of Functional Languages, 2011

2010
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008.
High. Order Symb. Comput., 2010

Testing with Functional Reference Implementations.
Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010

Embedding a web-based workflow management system in a functional language.
Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler.
Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

2009
Applying Bayesian networks for intelligent adaptable printing systems.
Proceedings of the Seventh Workshop on Intelligent solutions in Embedded Systems, 2009

An Effective Methodology for Defining Consistent Semantics of Complex Systems.
Proceedings of the Central European Functional Programming School - Third Summer School, 2009

Synthesis of Functions Using Generic Programming.
Proceedings of the Approaches and Applications of Inductive Programming, 2009

2008
Validating Specifications for Model-Based Testing.
Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

Declarative Ajax and client side evaluation of workflows using iTasks.
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Model-Based Testing of Thin-Client Web Applications and Navigation Input.
Proceedings of the Practical Aspects of Declarative Languages, 2008

An Executable and Testable Semantics for iTasks.
Proceedings of the Implementation and Application of Functional Languages, 2008

iEditors: Extending iTask with Interactive Plug-ins.
Proceedings of the Implementation and Application of Functional Languages, 2008

Testing and Validating the Quality of Specifications.
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

An iTask Case Study: A Conference Management System.
Proceedings of the Advanced Functional Programming, 6th International School, 2008

2007
iTasks: executable specifications of interactive work flow systems for the web.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

An Introduction to iTasks: Defining Interactive Work Flows for the Web.
Proceedings of the Central European Functional Programming School, Second Summer School, 2007

From Interpretation to Compilation.
Proceedings of the Central European Functional Programming School, Second Summer School, 2007

2006
Systematic synthesis of functions.
Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

Efficient interpretation by transforming data types and patterns to functions.
Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

Model-Based Testing of Thin-Client Web Applications.
Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

Automatic Testing of Higher Order Functions.
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005
Generic generation of the elements of data types.
Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

On-the-Fly Formal Testing of a Smart Card Applet.
Proceedings of the Security and Privacy in the Age of Ubiquitous Computing, IFIP TC11 20th International Conference on Information Security (SEC 2005), May 30, 2005

Fully Automatic Testing with Functions as Specifications.
Proceedings of the Central European Functional Programming School, First Summer School, 2005

2004
Testing with Functions as Specifications.
Proceedings of the Perspectives of Model-Based Testing, 5.-10. September 2004, 2004

2003
Testing reactive systems with GAST.
Proceedings of the Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, 2003

2002
Gast: Generic Automated Software Testing.
Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

2000
Polygonizing Implicit Surfaces in a Purely Functional Way.
Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

1998
Efficient Combinator Parsers.
Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

1995
Operational Machine Specification in a Functional Programming Language.
Softw. Pract. Exp., 1995

Functional Programming in a Basic Database Course.
Proceedings of the Functional Programming Languages in Education, 1995

1987
Interactive Programs in a Functional Language: A Functional Implementation of an Editor.
Softw. Pract. Exp., 1987


  Loading...