Sciweavers

20 search results - page 1 / 4
» ppdp 2010
Sort
View
108
Voted
PPDP
2010
Springer
15 years 3 months ago
Optimality for dynamic patterns
Thibaut Balabonski
110
Voted
PPDP
2010
Springer
15 years 3 months ago
Declarative modeling of finite mathematics
Paul Tarau
109
Voted
PPDP
2010
Springer
15 years 3 months ago
Two notions of sub-behaviour for session-based client/server systems
Franco Barbanera, Ugo de'Liguoro
PPDP
2010
Springer
15 years 3 months ago
Dimensions in program synthesis
Program Synthesis, which is the task of discovering programs that realize user intent, can be useful in several scenarios: enabling people with no programming background to develo...
Sumit Gulwani