Sciweavers

20 search results - page 1 / 4
» ppdp 2010
Sort
View
93
Voted
PPDP
2010
Springer
15 years 2 months ago
Optimality for dynamic patterns
Thibaut Balabonski
101
Voted
PPDP
2010
Springer
15 years 2 months ago
Declarative modeling of finite mathematics
Paul Tarau
94
Voted
PPDP
2010
Springer
15 years 2 months ago
Two notions of sub-behaviour for session-based client/server systems
Franco Barbanera, Ugo de'Liguoro
135
Voted
PPDP
2010
Springer
15 years 2 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