{"id":"https://openalex.org/W48502565","doi":null,"title":"Improving CPS-based partial evaluation: writing cogen by hand","display_name":"Improving CPS-based partial evaluation: writing cogen by hand","publication_year":1994,"publication_date":"1994-01-01","ids":{"openalex":"https://openalex.org/W48502565","mag":"48502565"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.34.8375","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.8375","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.dina.kvl.dk/pub/Staff/Peter.Sestoft/pepm94-proceedings/bondorf.ps.gz","raw_type":"text"},"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/A5056954178","display_name":"Anders Bondorf","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Anders Bondorf","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5019052981","display_name":"Dirk Dussart","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dirk Dussart","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":8.5809,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.97362341,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"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.9955999851226807,"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.9955999851226807,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.0006000000284984708,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.0005000000237487257,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/partial-evaluation","display_name":"partial evaluation","score":0.8510000109672546},{"id":"https://openalex.org/keywords/compiler-generators","display_name":"compiler generators","score":0.7480000257492065},{"id":"https://openalex.org/keywords/continuation-passing-style","display_name":"continuation-passing style","score":0.6489999890327454},{"id":"https://openalex.org/keywords/statically-typed-languages","display_name":"statically typed languages","score":0.5920000076293945}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5764234662055969}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.34.8375","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.8375","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.dina.kvl.dk/pub/Staff/Peter.Sestoft/pepm94-proceedings/bondorf.ps.gz","raw_type":"text"},{"id":"mag:48502565","doi":null,"is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/pepm/pepm94.html#BondorfD94","pdf_url":null,"source":{"id":"https://openalex.org/S4306420686","display_name":"Partial Evaluation and Semantic-Based Program Manipulation","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Partial Evaluation and Semantic-Based Program Manipulation","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7097171186","https://openalex.org/W1556886986","https://openalex.org/W2527582668","https://openalex.org/W7098082903","https://openalex.org/W1577610794","https://openalex.org/W163511528","https://openalex.org/W4390754458","https://openalex.org/W1566968514","https://openalex.org/W2111443557","https://openalex.org/W7096625913"],"abstract_inverted_index":{"It":[0],"is":[1,19,42,135],"well-known":[2],"that":[3,117],"self-applicable":[4,39],"partial":[5],"evaluation":[6],"can":[7,60],"be":[8,61],"used":[9],"to":[10,35,45],"generate":[11],"compiler":[12],"generators:":[13],"cogen":[14,27,47,59,66,74,129],"=":[15],"mix(mix;mix),":[16],"where":[17],"mix":[18],"the":[20,49,100,132],"specializer":[21],"(partial":[22],"evaluator)":[23],".":[24],"However,":[25],"writing":[26,37,128],"by":[28,68,85,130],"hand":[29],"gives":[30],"several":[31],"advantages:":[32],"(1)":[33],"Contrasting":[34],"when":[36],"a":[38,65,72],"mix,":[40],"one":[41,83],"not":[43],"restricted":[44],"write":[46],"in":[48,70,91,112,141],"same":[50],"language":[51],"as":[52],"it":[53],"treats":[54],"[HL91].":[55],"(2)":[56],"A":[57],"handwritten":[58,73],"more":[62],"efficient":[63],"than":[64],"generated":[67,84],"self-application;":[69],"particular,":[71],"typically":[75],"performs":[76],"no":[77],"(time":[78],"consuming)":[79],"environment":[80],"manipulations":[81],"whereas":[82],"self-application":[86,101],"does.":[87],"(3)":[88],"When":[89],"working":[90],"statically":[92],"typed":[93],"languages":[94],"with":[95],"user":[96],"defined":[97],"data":[98,105],"types,":[99],"approach":[102],"requires":[103],"encoding":[104],"type":[106],"values":[107],"[Bon88,":[108],"Lau91,":[109],"DNBV91],":[110],"resulting":[111],"relatively":[113],"inefficient":[114],"(cogen-generated)":[115],"compilers":[116],"spend":[118],"much":[119],"of":[120],"their":[121],"time":[122],"on":[123],"coding":[124,133],"and":[125],"decoding.":[126],"By":[127],"hand,":[131],"problem":[134],"eliminated":[136],"[HL91,":[137],"BW93].":[138],"Specializers":[139],"written":[140],"continuation":[142],"p...":[143]},"counts_by_year":[{"year":2017,"cited_by_count":1}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2016-06-24T00:00:00"}