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/ppdp1992

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

rdf:typeportal:Conference
schema:locationLeuven (wd:Q118958)
rdfs:labelInternational Symposium on Programming Language Implementation and Logic Programming
portal:acronymPLILP
portal:areahttps://id.confref.org/data/confref-portal/area/2
portal:cityLeuven
portal:countryBelgium
portal:endDate1992-08-28
portal:keywordAbstract interpretation
portal:keywordFolding
portal:keywordPartial Deduction
portal:keywordProgram Transformation
portal:keywordSchema
portal:keywordTerm Rewriting Systems
portal:keywordcomputed answer substitution semantics
portal:keyworddefinite program
portal:keywordequational logic programming
portal:keywordfold-unfold
portal:keyworduniversal unification
portal:keywordwell-founded negation
portal:nameInternational Symposium on Programming Language Implementation and Logic Programming
portal:portalPagehttp://portal.confref.org/list/ppdp1992
portal:serieshttps://id.confref.org/data/confref-portal/series/ppdp
portal:startDate1992-08-26
portal:submissionExtendedfalse
portal:year1992
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.