Sciweavers

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