Record Beta

Principles and Practice of Declarative Programming (PPDP)

https://id.confref.org/data/confref-portal/event/ppdp1999

rdf:type	portal:Conference
schema:location	Paris (wd:Q90)
rdfs:label	Principles and Practice of Declarative Programming (PPDP)
portal:acronym	PPDP
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Paris
portal:country	France
portal:endDate	1999-10-01
portal:keyword	Abstract interpretation
portal:keyword	Abstract-Machine
portal:keyword	Concurrency
portal:keyword	Constraint Logic Programs
portal:keyword	Dependency pair
portal:keyword	Elimination Method
portal:keyword	Implementation and compilation methods
portal:keyword	Logic and constraint programming
portal:keyword	Logic programming
portal:keyword	Mode Analysis
portal:keyword	Operational Semantics
portal:keyword	argument filtering
portal:keyword	attribute grammars
portal:keyword	deforestation
portal:keyword	finite failure
portal:keyword	functional programming
portal:keyword	implementation
portal:keyword	partial evaluation
portal:name	Principles and Practice of Declarative Programming (PPDP)
portal:portalPage	http://portal.confref.org/list/ppdp1999
portal:series	https://id.confref.org/data/confref-portal/series/ppdp
portal:startDate	1999-09-29
portal:submissionExtended	false
portal:year	1999
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAs	https://dblp.org/db/conf/ppdp/ppdp1999

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.