<http://experiment.worldcat.org/entity/work/data/370157756#Meeting/acm_symposium_on_principles_of_programming_languages_29th_2002> <http://schema.org/name> "ACM Symposium on Principles of Programming Languages (29th : 2002)." .
<http://experiment.worldcat.org/entity/work/data/370157756#Meeting/acm_symposium_on_principles_of_programming_languages_29th_2002> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/370157756#Meeting/acm_symposium_on_principles_of_programming_languages_29th_2002> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/370157756#Topic/langage_programmation> <http://schema.org/name> "langage programmation." .
<http://experiment.worldcat.org/entity/work/data/370157756#Topic/langage_programmation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/370157756#Meeting/acm_symposium_on_principles_of_programming_languages_29th_2002_portland_or> <http://schema.org/name> "ACM Symposium on Principles of Programming Languages (29th : 2002 : Portland, Or.)" .
<http://experiment.worldcat.org/entity/work/data/370157756#Meeting/acm_symposium_on_principles_of_programming_languages_29th_2002_portland_or> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/370157756#Meeting/acm_symposium_on_principles_of_programming_languages_29th_2002_portland_or> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/370157756#Topic/theorie_programmation> <http://schema.org/name> "théorie programmation." .
<http://experiment.worldcat.org/entity/work/data/370157756#Topic/theorie_programmation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/370157756#Topic/kongress> <http://schema.org/name> "Kongress." .
<http://experiment.worldcat.org/entity/work/data/370157756#Topic/kongress> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/370157756#Organization/acm_special_interest_group_on_algorithms_and_computation> <http://schema.org/name> "ACM Special Interest Group on Algorithms and Computation," .
<http://experiment.worldcat.org/entity/work/data/370157756#Organization/acm_special_interest_group_on_algorithms_and_computation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/370157756#Topic/programmiersprache> <http://schema.org/name> "Programmiersprache." .
<http://experiment.worldcat.org/entity/work/data/370157756#Topic/programmiersprache> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/370157756#Topic/verification_protocole> <http://schema.org/name> "vérification protocole." .
<http://experiment.worldcat.org/entity/work/data/370157756#Topic/verification_protocole> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/370157756#Organization/acm_special_interest_group_on_programming_languages_sigplan> <http://schema.org/name> "ACM Special Interest Group on Programming Languages (SIGPLAN)" .
<http://experiment.worldcat.org/entity/work/data/370157756#Organization/acm_special_interest_group_on_programming_languages_sigplan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/370157756#Organization/association_for_computing_machinery> <http://schema.org/name> "Association for Computing Machinery." .
<http://experiment.worldcat.org/entity/work/data/370157756#Organization/association_for_computing_machinery> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/370157756#Topic/langages_de_programmation_congres> <http://schema.org/name> "Langages de programmation Congrès." .
<http://experiment.worldcat.org/entity/work/data/370157756#Topic/langages_de_programmation_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/370157756#Organization/acm> <http://schema.org/name> "ACM." .
<http://experiment.worldcat.org/entity/work/data/370157756#Organization/acm> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/370157756#Topic/certification_logiciel> <http://schema.org/name> "certification logiciel." .
<http://experiment.worldcat.org/entity/work/data/370157756#Topic/certification_logiciel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/workExample> <http://www.worldcat.org/oclc/313992441> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/name> "Conference record of POPL 2002 : the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium, Portland, Oregon, 16-18 January 2002"@en .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/370157756#Topic/analyse_statique> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/alternateName> "POPL 2002: the 29th ACM SIGPLAN - SIGACT Symposium on Principles of Programming" .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/genre> "Portland (Or., 2002)" .
<http://worldcat.org/entity/work/id/370157756> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/workExample> <http://www.worldcat.org/oclc/496230882> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/370157756#Topic/langage_programmation> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/name> "Conference record of POPL 2002 : the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Portland, Oregon, 16-18 January 2002"@en .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n94018067> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/370157756#Organization/acm_special_interest_group_on_programming_languages_sigplan> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/370157756#Topic/kongress> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/370157756#Topic/certification_logiciel> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/370157756#Meeting/acm_symposium_on_principles_of_programming_languages_29th_2002> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/genre> "Conference proceedings" .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/workExample> <http://www.worldcat.org/oclc/679452213> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/370157756#Topic/verification_protocole> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/contributor> <http://viaf.org/viaf/136611978> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/workExample> <http://www.worldcat.org/oclc/637880898> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/alternateName> "ACM SIPLAN-SIGACT Symposium on Principles of Programming Languages" .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/370157756#Topic/langages_de_programmation_congres> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/alternateName> "Conference record of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"@en .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/no98128269> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/370157756#Topic/programmiersprache> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/370157756#Meeting/acm_symposium_on_principles_of_programming_languages_29th_2002_portland_or> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/370157756#Topic/programmeertalen> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/contributor> <http://viaf.org/viaf/146448186> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/370157756#Organization/acm_special_interest_group_on_algorithms_and_computation> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/alternateName> "Proceedings of the 2002 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '02)"@en .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/370157756#Organization/acm_special_interest_group_on_algorithms_and_computation_theory_sigact> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2007004295> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n82047295> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/contributor> <http://viaf.org/viaf/212599265> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/alternateName> "ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"@en .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/alternateName> "POPL'02" .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/alternateName> "POPL'02"@en .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/370157756#Organization/symposium_on_principles_of_programming_languages_&lt_29_2002_portland_or_&gt> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/alternateName> "Principles of programming languages"@en .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/alternateName> "Principles of programming languages" .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/name> "Conference record of POPL 2002 the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium, Portland, Oregon, 16-18 January 2002"@en .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/workExample> <http://www.worldcat.org/oclc/51305342> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/alternateName> "29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"@en .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/about> <http://id.worldcat.org/fast/1078704> .
<http://worldcat.org/entity/work/id/370157756> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008108876> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/workExample> <http://www.worldcat.org/oclc/48996054> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/name> "Conference record of POPL 2002: the 29th ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium; Portland, Oregon, 16 - 18 January, 2002" .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/contributor> <http://viaf.org/viaf/155091561> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/370157756#Organization/association_for_computing_machinery> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/370157756#Topic/verification_logiciel> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/370157756#Topic/theorie_programmation> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/alternateName> "Proceedings of the 2002 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages" .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/370157756#Meeting/acm_symposium_on_principles_of_programming_languages_29th_2002_portland_or> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/name> "Conference record of POPL 2002 the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages : papers presented at the Symposium, Portland, Oregon, 16-18 January 2002" .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/370157756#Organization/acm> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/about> <http://id.worldcat.org/fast/872390> .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/alternateName> "POPL 2002"@en .
<http://worldcat.org/entity/work/id/370157756> <http://schema.org/contributor> <http://viaf.org/viaf/128802907> .
<http://experiment.worldcat.org/entity/work/data/370157756.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/370157756.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/370157756> .
<http://experiment.worldcat.org/entity/work/data/370157756#Organization/acm_special_interest_group_on_algorithms_and_computation_theory_sigact> <http://schema.org/name> "ACM Special Interest Group on Algorithms and Computation Theory (SIGACT)" .
<http://experiment.worldcat.org/entity/work/data/370157756#Organization/acm_special_interest_group_on_algorithms_and_computation_theory_sigact> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/370157756#Topic/verification_logiciel> <http://schema.org/name> "vérification logiciel." .
<http://experiment.worldcat.org/entity/work/data/370157756#Topic/verification_logiciel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/370157756#Topic/analyse_statique> <http://schema.org/name> "analyse statique." .
<http://experiment.worldcat.org/entity/work/data/370157756#Topic/analyse_statique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/370157756#Organization/symposium_on_principles_of_programming_languages_&lt_29_2002_portland_or_&gt> <http://schema.org/name> "Symposium on Principles of Programming Languages. &lt;29, 2002, Portland, Or.&gt;." .
<http://experiment.worldcat.org/entity/work/data/370157756#Organization/symposium_on_principles_of_programming_languages_&lt_29_2002_portland_or_&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/370157756#Topic/programmeertalen> <http://schema.org/name> "Programmeertalen." .
<http://experiment.worldcat.org/entity/work/data/370157756#Topic/programmeertalen> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .