{"id":"https://openalex.org/W2004785152","doi":"https://doi.org/10.1145/1389449.1389466","title":"Pattern by example","display_name":"Pattern by example","publication_year":2008,"publication_date":"2008-07-15","ids":{"openalex":"https://openalex.org/W2004785152","doi":"https://doi.org/10.1145/1389449.1389466","mag":"2004785152"},"language":"en","primary_location":{"id":"doi:10.1145/1389449.1389466","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1389449.1389466","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5070335587","display_name":"V\u00e9ronique Benzaken","orcid":"https://orcid.org/0000-0002-1227-3327"},"institutions":[{"id":"https://openalex.org/I102197404","display_name":"Universit\u00e9 Paris-Sud","ror":"https://ror.org/028rypz17","country_code":"FR","type":"education","lineage":["https://openalex.org/I102197404"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"V\u00e9ronique Benzaken","raw_affiliation_strings":["Universit\u00e9 Paris-Sud, Orsay - France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris-Sud, Orsay - France","institution_ids":["https://openalex.org/I102197404"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084702945","display_name":"Giuseppe Castagna","orcid":"https://orcid.org/0000-0003-0951-7535"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Giuseppe Castagna","raw_affiliation_strings":["CNRS - PPS, Universit\u00e9 Paris"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS - PPS, Universit\u00e9 Paris","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087371035","display_name":"Dario Colazzo","orcid":"https://orcid.org/0000-0002-6031-0049"},"institutions":[{"id":"https://openalex.org/I102197404","display_name":"Universit\u00e9 Paris-Sud","ror":"https://ror.org/028rypz17","country_code":"FR","type":"education","lineage":["https://openalex.org/I102197404"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Dario Colazzo","raw_affiliation_strings":["Universit\u00e9 Paris-Sud, Orsay - France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris-Sud, Orsay - France","institution_ids":["https://openalex.org/I102197404"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064421366","display_name":"C\u00e9dric Miachon","orcid":null},"institutions":[{"id":"https://openalex.org/I102197404","display_name":"Universit\u00e9 Paris-Sud","ror":"https://ror.org/028rypz17","country_code":"FR","type":"education","lineage":["https://openalex.org/I102197404"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"C\u00e9dric Miachon","raw_affiliation_strings":["Universit\u00e9 Paris-Sud, Orsay - France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris-Sud, Orsay - France","institution_ids":["https://openalex.org/I102197404"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0993208,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"131","last_page":"142"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12016","display_name":"Web Data Mining and Analysis","score":0.9916999936103821,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8742132186889648},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6846553087234497},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.621387243270874},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5757976770401001},{"id":"https://openalex.org/keywords/xml","display_name":"XML","score":0.5359092354774475},{"id":"https://openalex.org/keywords/pattern-matching","display_name":"Pattern matching","score":0.49901723861694336},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.42096543312072754},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.42022383213043213},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.40678855776786804},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36110246181488037},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.11057236790657043}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8742132186889648},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6846553087234497},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.621387243270874},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5757976770401001},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.5359092354774475},{"id":"https://openalex.org/C68859911","wikidata":"https://www.wikidata.org/wiki/Q1503724","display_name":"Pattern matching","level":2,"score":0.49901723861694336},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.42096543312072754},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.42022383213043213},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.40678855776786804},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36110246181488037},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.11057236790657043},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1389449.1389466","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1389449.1389466","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.4699999988079071,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1800840","https://openalex.org/W172857819","https://openalex.org/W368940472","https://openalex.org/W1514547532","https://openalex.org/W1550244335","https://openalex.org/W1554814280","https://openalex.org/W1555033082","https://openalex.org/W1836751615","https://openalex.org/W1966814918","https://openalex.org/W1978109936","https://openalex.org/W2045359371","https://openalex.org/W2075994573","https://openalex.org/W2086021843","https://openalex.org/W2103219113","https://openalex.org/W2140969779","https://openalex.org/W6630914938","https://openalex.org/W6633007924"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W1875930651","https://openalex.org/W2148011053"],"abstract_inverted_index":{"We":[0,29],"present":[1,44],"Pattern-by-Example":[2],"(PBE),":[3],"a":[4,50,91,110],"graphical":[5,54],"language":[6],"that":[7,70,109],"allows":[8],"users":[9],"with":[10,74],"little":[11],"or":[12],"no":[13],"knowledge":[14],"of":[15,34,61,80,97,101],"pattern-matching":[16],"and":[17,23,41,88,93,126,133],"functional":[18],"programming":[19],"to":[20,76,85],"define":[21],"complex":[22],"optimized":[24],"queries":[25,55,69],"on":[26,131],"XML":[27],"documents.":[28],"demonstrate":[30],"the":[31,62,78,81,86,98,102],"key":[32],"features":[33],"PBE":[35,53],"by":[36,47],"commenting":[37],"an":[38,115],"interactive":[39],"session":[40],"then":[42],"we":[43],"its":[45],"semantics":[46,111],"formally":[48],"defining":[49],"translation":[51],"from":[52],"into":[56],"CQL":[57],"ones.":[58],"The":[59,105],"advantages":[60],"approach":[63],"are":[64,71,129],"twofold.":[65],"First,":[66],"it":[67],"generates":[68],"provably":[72],"correct":[73],"respect":[75],"types:":[77],"type":[79],"result":[82],"is":[83,108,114],"displayed":[84],"user":[87],"this":[89],"constitutes":[90],"first":[92],"immediate":[94],"visual":[95],"check":[96],"semantic":[99],"correctness":[100],"resulting":[103],"query.":[104],"second":[106],"advantage":[107],"formally-thus,":[112],"unambiguously-defined":[113],"important":[116],"advancement":[117],"over":[118],"some":[119],"current":[120],"approaches":[121],"in":[122],"which":[123],"standard":[124],"usage":[125],"learning":[127],"methods":[128],"based":[130],"\"trial":[132],"error\"":[134],"techniques":[135]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2016-06-24T00:00:00"}