{"id":"https://openalex.org/W1585848501","doi":null,"title":"Run, xtatic, run: efficient implementation of an object-oriented language with regular pattern matching","display_name":"Run, xtatic, run: efficient implementation of an object-oriented language with regular pattern matching","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W1585848501","mag":"1585848501"},"language":"en","primary_location":{"id":"mag:1585848501","doi":null,"is_oa":false,"landing_page_url":"https://repository.upenn.edu/cgi/viewcontent.cgi?article=6818&context=dissertations","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5085361253","display_name":"Benjamin C. Pierce","orcid":"https://orcid.org/0000-0001-7839-1636","observed_orcids":["https://orcid.org/0000-0001-7839-1636"]},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Benjamin C. Pierce","raw_affiliation_strings":["#N#               * University of Pennsylvania"],"raw_orcid":"https://orcid.org/0000-0001-7839-1636","affiliations":[{"raw_affiliation_string":"#N#               * University of Pennsylvania","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004549231","display_name":"Michael Y. Levin","orcid":"https://orcid.org/0009-0007-4246-2341","observed_orcids":["https://orcid.org/0009-0007-4246-2341"]},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Y. Levin","raw_affiliation_strings":["#N#               * University of Pennsylvania"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"#N#               * University of Pennsylvania","institution_ids":["https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I79576946"],"apc_list":null,"apc_paid":null,"fwci":0.6433,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.78066102,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.8374000191688538,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.8374000191688538,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.15889999270439148,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.0008999999845400453,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/regular-types","display_name":"regular types","score":0.765999972820282},{"id":"https://openalex.org/keywords/regular-patterns","display_name":"regular patterns","score":0.9980000257492065},{"id":"https://openalex.org/keywords/xml-schema-languages","display_name":"XML schema languages","score":0.7789999842643738},{"id":"https://openalex.org/keywords/xml-processing","display_name":"XML processing","score":0.5239999890327454},{"id":"https://openalex.org/keywords/object-oriented-programming-languages","display_name":"object-oriented programming languages","score":0.5910000205039978},{"id":"https://openalex.org/keywords/tree-automata","display_name":"tree automata","score":0.75},{"id":"https://openalex.org/keywords/compiler-implementation","display_name":"compiler implementation","score":0.5820000171661377},{"id":"https://openalex.org/keywords/runtime-systems","display_name":"runtime systems","score":0.875}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8379596471786499},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8181073665618896},{"id":"https://openalex.org/C44540991","wikidata":"https://www.wikidata.org/wiki/Q1314117","display_name":"RELAX NG","level":5,"score":0.6563399434089661},{"id":"https://openalex.org/C55348073","wikidata":"https://www.wikidata.org/wiki/Q595926","display_name":"XML validation","level":3,"score":0.6378903388977051},{"id":"https://openalex.org/C34716815","wikidata":"https://www.wikidata.org/wiki/Q8042322","display_name":"XML Schema Editor","level":3,"score":0.5911335349082947},{"id":"https://openalex.org/C40713593","wikidata":"https://www.wikidata.org/wiki/Q16342","display_name":"XML Schema (W3C)","level":5,"score":0.528540313243866},{"id":"https://openalex.org/C68699486","wikidata":"https://www.wikidata.org/wiki/Q265904","display_name":"Document Structure Description","level":3,"score":0.4839385151863098},{"id":"https://openalex.org/C11508877","wikidata":"https://www.wikidata.org/wiki/Q1124477","display_name":"Efficient XML Interchange","level":3,"score":0.4672771692276001},{"id":"https://openalex.org/C44883583","wikidata":"https://www.wikidata.org/wiki/Q7622687","display_name":"Streaming XML","level":3,"score":0.4636446535587311},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.4386471211910248},{"id":"https://openalex.org/C84314905","wikidata":"https://www.wikidata.org/wiki/Q212327","display_name":"Document type definition","level":4,"score":0.33249518275260925},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.13651242852210999}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:1585848501","doi":null,"is_oa":false,"landing_page_url":"https://repository.upenn.edu/cgi/viewcontent.cgi?article=6818&context=dissertations","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W197735651","https://openalex.org/W203985604","https://openalex.org/W1489400044","https://openalex.org/W1491873999","https://openalex.org/W1501891810","https://openalex.org/W1519786900","https://openalex.org/W1522740415","https://openalex.org/W1533148263","https://openalex.org/W1539912760","https://openalex.org/W1540080689","https://openalex.org/W1540516609","https://openalex.org/W1551226127","https://openalex.org/W1571613627","https://openalex.org/W1573426382","https://openalex.org/W1574255194","https://openalex.org/W1593799327","https://openalex.org/W1596289178","https://openalex.org/W1699388987","https://openalex.org/W1966814918","https://openalex.org/W1976781257","https://openalex.org/W1977154819","https://openalex.org/W1986380853","https://openalex.org/W2011194979","https://openalex.org/W2020042858","https://openalex.org/W2022050707","https://openalex.org/W2023578426","https://openalex.org/W2043869213","https://openalex.org/W2048723607","https://openalex.org/W2057405511","https://openalex.org/W2065748025","https://openalex.org/W2075994573","https://openalex.org/W2080377751","https://openalex.org/W2080480757","https://openalex.org/W2083270921","https://openalex.org/W2089189518","https://openalex.org/W2109158667","https://openalex.org/W2126265364","https://openalex.org/W2130363716","https://openalex.org/W2130747108","https://openalex.org/W2138452186","https://openalex.org/W2148154295","https://openalex.org/W2151882945","https://openalex.org/W2152890272","https://openalex.org/W2157821258","https://openalex.org/W2168986107","https://openalex.org/W2230830246","https://openalex.org/W2295020882","https://openalex.org/W2945661852"],"related_works":["https://openalex.org/W7095466061","https://openalex.org/W7095131163","https://openalex.org/W1522740415","https://openalex.org/W7097097792","https://openalex.org/W1573426382","https://openalex.org/W7100889893","https://openalex.org/W44024394","https://openalex.org/W2166010387","https://openalex.org/W7096612824","https://openalex.org/W1966814918"],"abstract_inverted_index":{"Schema":[0],"languages":[1,98],"such":[2,75,97,231],"as":[3,48,232],"DTD,":[4],"XML":[5,18,31,43,83,91,142,213],"Schema,":[6],"and":[7,71,86,123,135,166,197,201,234],"Relax":[8],"NG":[9],"have":[10],"been":[11],"steadily":[12],"growing":[13],"in":[14,16],"importance":[15],"the":[17,28,34,40,65,100,124,157,163],"community.":[19],"A":[20],"schema":[21,121],"language":[22,59,67],"provides":[23],"a":[24,51,105,116,171,178,192,202],"mechanism":[25],"for":[26,50,81,88,138],"defining":[27],"type":[29,165],"of":[30,36,42,57,61,68,90,96,102,108,118,126,141,150,156,189,212],"documents;":[32],"i.e.,":[33],"set":[35],"constraints":[37],"that":[38,45,194,205],"specify":[39],"structure":[41],"documents":[44],"are":[46,219],"acceptable":[47],"data":[49],"certain":[52],"programming":[53],"task.":[54],"\r\nA":[55],"number":[56],"recent":[58],"designs---many":[60],"them":[62,176],"descended":[63],"from":[64],"XDUCE":[66,229],"Hosoya,":[69],"Pierce,":[70],"Vouillon---have":[72],"showed":[73],"how":[74],"schemas":[76],"can":[77],"be":[78],"used":[79],"statically":[80],"type-checking":[82],"processing":[84],"code":[85],"dynamically":[87],"evaluation":[89],"structures.":[92],"The":[93,154],"technical":[94],"foundation":[95],"is":[99,146,160,206],"notion":[101,125],"regular":[103,127,164,167],"types,":[104],"mild":[106],"generalization":[107],"nondeterministic":[109],"top-down":[110],"tree":[111],"automata,":[112],"which":[113],"correspond":[114],"to":[115,161,170,208,223,227],"core":[117],"most":[119],"popular":[120],"notations,":[122],"patterns---regular":[128],"types":[129],"decorated":[130],"with":[131,148,177],"variable":[132],"binders---a":[133],"powerful":[134],"convenient":[136],"primitive":[137],"dynamic":[139],"inspection":[140],"values.":[143],"\r\nThis":[144],"dissertation":[145],"concerned":[147],"one":[149],"XDUCE's":[151],"descendants,":[152],"XTATIC.":[153],"goal":[155],"XTATIC":[158,190,224],"project":[159],"bring":[162],"pattern":[168],"technologies":[169],"wide":[172],"audience":[173],"by":[174],"integrating":[175],"mainstream":[179],"object-oriented":[180],"language.":[181],"My":[182],"research":[183],"focuses":[184],"on":[185],"an":[186],"efficient":[187,210],"implementation":[188],"including":[191],"compiler":[193],"generates":[195],"fast":[196],"compact":[198],"target":[199],"programs":[200],"run-time":[203],"system":[204],"designed":[207],"support":[209],"manipulation":[211],"fragments.":[214],"Many":[215],"techniques":[216],"described":[217],"here":[218],"applicable":[220],"not":[221],"only":[222],"but":[225],"also":[226],"other":[228],"derivatives":[230],"CDUCE":[233],"C\u03c9.":[235]},"counts_by_year":[],"updated_date":"2026-10-01T08:54:57.152042","created_date":"2016-06-24T00:00:00"}