[PDF][PDF] Constraint-based workflow management systems: shifting control to users

M Pesic - 2008 - research.tue.nl
An organization produces value for its customers by executing various business processes.
Due to complexity and variety of business processes, contemporary organizations use …

Task-oriented programming in a pure functional language

R Plasmeijer, B Lijnse, S Michels, P Achten… - Proceedings of the 14th …, 2012 - dl.acm.org
Task-Oriented Programming (TOP) is a novel programming paradigm for the construction of
distributed systems where users work together on the internet. When multiple users …

Specifying rewrite strategies for interactive exercises

B Heeren, J Jeuring, A Gerdes - Mathematics in Computer Science, 2010 - Springer
Strategies specify how a wide range of exercises can be solved incrementally, such as
bringing a logic proposition to disjunctive normal form, reducing a matrix, or calculating with …

Could Tierless Languages Reduce IoT Development Grief?

M Lubbers, P Koopman, A Ramsingh, J Singer… - ACM Transactions on …, 2023 - dl.acm.org
Internet of Things (IoT) software is notoriously complex, conventionally comprising multiple
tiers. Traditionally an IoT developer must use multiple programming languages and ensure …

A task-based DSL for microcomputers

P Koopman, M Lubbers, R Plasmeijer - Proceedings of the Real World …, 2018 - dl.acm.org
The Internet of Things, IoT, makes small connected computing devices almost omnipresent.
These devices have typically very limited computing power and severe memory restrictions …

The essence of form abstraction

E Cooper, S Lindley, P Wadler, J Yallop - Programming Languages and …, 2008 - Springer
Abstraction is the cornerstone of high-level programming; HTML forms are the principal
medium of web interaction. However, most web programming environments do not support …

Maintaining separation of concerns through task oriented software development

J Stutterheim, P Achten, R Plasmeijer - … 2017, Canterbury, UK, June 19-21 …, 2018 - Springer
Abstract Task Oriented Programming is a programming paradigm that enhances
'classic'functional programming with means to express the coordination of work among …

Typed concurrent functional programming with channels, actors and sessions

SJ Fowler - 2019 - era.ed.ac.uk
The age of writing single-threaded applications is over. To develop scalable applications,
developers must make use of concurrency and parallelism. Nonetheless, introducing …

Interpreting task oriented programs on tiny computers

M Lubbers, P Koopman, R Plasmeijer - Proceedings of the 31st …, 2019 - dl.acm.org
Small Microcontroller Units (MCUs) drive the omnipresent Internet of Things (IoT). These
devices are small, cheap, and energy efficient. However, they are not very powerful and lack …

Specifying strategies for exercises

B Heeren, J Jeuring, A Van Leeuwen… - … Conference, AISC 2008 …, 2008 - Springer
The feedback given by e-learning tools that support incrementally solving problems in
mathematics, logic, physics, etc. is limited, or laborious to specify. In this paper we introduce …