Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(471)
Peter Stuckey
11
Michael Hanus
9
Konstantinos Sagonas
8
Sergio Antoy
7
Maribel Fernandez (Maribel Fernández)
7
Michael Leuschel
6
Murdoch James Gabbay
6
Francisco Javier Lopez-fraguas (Francisco Javier López-fraguas)
5
Isabelle Gnaedig
5
Maria Chiara Meo
4
Keywords
(588)
Subscribe
Academic
Conferences
PPDP - Principles and Practice of Declarative Programming
PPDP - Principles and Practice of Declarative Programming
Publications: 305
|
Citation Count: 2,802 (Self-Citation: 113)
|
H-Index: 25Year Range: 1999-2011
Interests:
Programming Languages
Paper submissions due: 25 March 2010, Duration:
26 - 28 July 2010, Vienna, Austria
Homepage
|
CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(305)
CLP Projection for Constraint Handling Rules
Remy Haemmerle
,
Pedro Lopez-Garcia
,
Manuel V. Hermenegildo
Conference:
Principles and Practice of Declarative Programming - PPDP
, 2011
Typed and unambiguous pattern matching on strings using regular expressions
(
Citations: 3
)
Claus Brabrand
,
Jakob G. Thomsen
Conference:
Principles and Practice of Declarative Programming - PPDP
, pp. 243-254, 2010
Dimensions in program synthesis
(
Citations: 2
)
Sumit Gulwani
Conference:
Principles and Practice of Declarative Programming - PPDP
, pp. 13-24, 2010
Towards a jitting VM for prolog execution
(
Citations: 2
)
Carl Friedrich Bolz
,
Michael Leuschel
,
David Schneider
Conference:
Principles and Practice of Declarative Programming - PPDP
, pp. 99-108, 2010
Precise complexity analysis for efficient datalog queries
(
Citations: 1
)
K. Tuncay Tekle
,
Yanhong A. Liu
Conference:
Principles and Practice of Declarative Programming - PPDP
, pp. 35-44, 2010