Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.

Record Beta

International Symposium on Programming Language Implementation and Logic Programming

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

This record is part of the confref event International Symposium on Programming Language Implementation and Logic Programming.

rdf:typeportal:Conference
schema:locationAachen (wd:Q1017)
rdfs:labelInternational Symposium on Programming Language Implementation and Logic Programming
portal:acronymPLILP
portal:areahttps://id.confref.org/data/confref-portal/area/2
portal:cityAachen
portal:countryGermany
portal:endDate1996-09-27
portal:keywordAbstract Analysis
portal:keywordAbstract interpretation
portal:keywordAliasing
portal:keywordCompile-Time Garbage Collection
portal:keywordCompleteness
portal:keywordConcurrent Constraint
portal:keywordConcurrent Programming
portal:keywordConcurrent and Functional Programming
portal:keywordConfluence
portal:keywordDynamic semantics
portal:keywordML
portal:keywordRecursion
portal:keywordalgebraic semantics
portal:keywordapplicative programming
portal:keywordattribute grammars
portal:keywordautomatic program transformation
portal:keywordaxiomatic specification
portal:keyworddefinability
portal:keywordpolymorphic type system
portal:keywordpolymorphism
portal:nameInternational Symposium on Programming Language Implementation and Logic Programming
portal:portalPagehttp://portal.confref.org/list/ppdp1996
portal:serieshttps://id.confref.org/data/confref-portal/series/ppdp
portal:startDate1996-09-24
portal:submissionExtendedfalse
portal:year1996
cr:disciplinecomputer science (wd:Q21198)
cr:fieldComputer and information sciences (https://id.confref.org/data/oecd-fos/1.2)

Data: Turtle · JSON-LD · N-Triples · RDF/XML

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