2.7k citations
- University of AmsterdamNL294 papers
- Eindhoven University of TechnologyNL163 papers
- QuSoftNL123 papers
- Leiden UniversityNL91 papers
- Delft University of TechnologyNL82 papers
- Vrije Universiteit AmsterdamNL61 papers
- Centre National de la Recherche ScientifiqueFR52 papers
- Radboud University NijmegenNL37 papers
- Utrecht UniversityNL37 papers
- University of WaterlooCA34 papers
- University of OxfordGB28 papers
- University College LondonGB26 papers
22 papers · 1 filter
Semantics of Programming Languages: A Tool-Oriented Approach
Jan Heering, Paul Klint
By paying more attention to semantics-based tool generation, programming language semantics can significantly increase its impact. Ultimately, this may lead to ``Language Design As…
Communication Complexity Lower Bounds by Polynomials
Harry Buhrman, Ronald de Wolf
The quantum version of communication complexity allows the two communicating parties to exchange qubits and/or to make use of prior entanglement (shared EPR-pairs). Some lower boun…
Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains
Krzysztof R. Apt, Eric Monfroy
We study here constraint satisfaction problems that are based on predefined, explicitly given finite constraints. To solve them we propose a notion of rule consistency that can be…
The Rough Guide to Constraint Propagation
Krzysztof R. Apt
We provide here a simple, yet very general framework that allows us to explain several constraint propagation algorithms in a systematic way. In particular, using the notions commu…
Universal Algebraic Relaxation of Velocity and Phase in Pulled Fronts generating Periodic or Chaotic States
Cornelis Storm, Willem Spruijt, Ute Ebert +1
We investigate the asymptotic relaxation of so-called pulled fronts propagating into an unstable state. The ``leading edge representation'' of the equation of motion reveals the un…
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming
Krzysztof R. Apt, Andrea Schaerf
The aim of the Alma project is the design of a strongly typed constraint programming language that combines the advantages of logic and imperative programming. The first stage of t…