157 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Centrum Wiskunde & InformaticaNL18 papers
- University of AmsterdamNL10 papers
- QuSoftNL7 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- Delft University of TechnologyNL3 papers
- University of TwenteNL3 papers
- University of WaterlooCA3 papers
- Vrije Universiteit AmsterdamNL3 papers
- California Institute of TechnologyUS2 papers
- Département d'InformatiqueFR2 papers
- Eindhoven University of TechnologyNL2 papers
- ETH ZurichCH2 papers
3 papers · 1 filter
Toward Sequentializing Overparallelized Protocol Code
Sung-Shik T. Q. Jongmans, Farhad Arbab
In our ongoing work, we use constraint automata to compile protocol specifications expressed as Reo connectors into efficient executable code, e.g., in C. We have by now studied th…
Rascal: From Algebraic Specification to Meta-Programming
Jeroen van den Bos, Mark Hills, Paul Klint +2
Algebraic specification has a long tradition in bridging the gap between specification and programming by making specifications executable. Building on extensive experience in desi…
A Comparative Study of Arithmetic Constraints on Integer Intervals
Krzysztof R. Apt, Peter Zoeteweij
We propose here a number of approaches to implement constraint propagation for arithmetic constraints on integer intervals. To this end we introduce integer interval arithmetic. Ea…