{"id":"https://openalex.org/W1493363766","doi":null,"title":"A program manipulation system based on partial evaluation","display_name":"A program manipulation system based on partial evaluation","publication_year":1977,"publication_date":"1977-01-01","ids":{"openalex":"https://openalex.org/W1493363766","mag":"1493363766"},"language":"en","primary_location":{"id":"pmh:oai:DiVA.org:liu-35618","doi":null,"is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-35618","pdf_url":null,"source":{"id":"https://openalex.org/S4306400838","display_name":"DiVA (Linkoping University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I102134673","host_organization_name":"Link\u00f6ping University","host_organization_lineage":["https://openalex.org/I102134673"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/doctoralThesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-35618","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025375560","display_name":"Anders Haraldsson","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Anders Haraldsson","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5025375560"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":35,"citation_normalized_percentile":null,"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.9970999956130981,"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.9970999956130981,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.0008999999845400453,"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.00019999999494757503,"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/program-manipulation","display_name":"program manipulation","score":0.8349999785423279},{"id":"https://openalex.org/keywords/partial-evaluation","display_name":"partial evaluation","score":0.949999988079071},{"id":"https://openalex.org/keywords/program-transformation","display_name":"program transformation","score":0.7820000052452087},{"id":"https://openalex.org/keywords/program-optimization","display_name":"program optimization","score":0.8080000281333923},{"id":"https://openalex.org/keywords/interlisp","display_name":"INTERLISP","score":0.8830000162124634},{"id":"https://openalex.org/keywords/beta-expansions","display_name":"beta-expansions","score":0.925000011920929},{"id":"https://openalex.org/keywords/adverse-effects","display_name":"adverse effects","score":0.8080000281333923},{"id":"https://openalex.org/keywords/variable-assignment","display_name":"variable assignment","score":0.8029999732971191},{"id":"https://openalex.org/keywords/lisp","display_name":"LISP","score":0.4410000145435333}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6806433200836182},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5866377949714661},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5854159593582153},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.5820660591125488},{"id":"https://openalex.org/C195701839","wikidata":"https://www.wikidata.org/wiki/Q4008398","display_name":"Partial evaluation","level":2,"score":0.5301032066345215},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5255647897720337},{"id":"https://openalex.org/C2988963302","wikidata":"https://www.wikidata.org/wiki/Q629206","display_name":"Program code","level":2,"score":0.4891114830970764},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.45261532068252563},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4399719834327698},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15134364366531372},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.11377301812171936},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.10375332832336426},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:DiVA.org:liu-35618","doi":null,"is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-35618","pdf_url":null,"source":{"id":"https://openalex.org/S4306400838","display_name":"DiVA (Linkoping University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I102134673","host_organization_name":"Link\u00f6ping University","host_organization_lineage":["https://openalex.org/I102134673"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"mag:1493363766","doi":null,"is_oa":false,"landing_page_url":"http://liu.diva-portal.org/smash/record.jsf?pid=diva2:256466","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":{"id":"pmh:oai:DiVA.org:liu-35618","doi":null,"is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-35618","pdf_url":null,"source":{"id":"https://openalex.org/S4306400838","display_name":"DiVA (Linkoping University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I102134673","host_organization_name":"Link\u00f6ping University","host_organization_lineage":["https://openalex.org/I102134673"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/doctoralThesis"},"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/W2089925494","https://openalex.org/W1996081324","https://openalex.org/W1590256419","https://openalex.org/W2091064840","https://openalex.org/W2592423893","https://openalex.org/W7100687785","https://openalex.org/W2109419963","https://openalex.org/W2486330015","https://openalex.org/W7015489304","https://openalex.org/W2052643618"],"abstract_inverted_index":{"Program":[0],"manipulation":[1],"is":[2,12,32,46,55,69,92,162],"the":[3,19,24,33,67,73,76,84,183,191,196],"task":[4,34],"to":[5,17,52],"perform":[6],"transformations":[7,109],"on":[8,96,121],"program":[9,43],"code,":[10],"and":[11,79,101,113,124,132,158,187,193],"normally":[13],"done":[14],"in":[15,41,75,83,99,151,172,182,200],"order":[16],"optimize":[18],"code":[20,85],"with":[21,107,134,195],"respect":[22],"of":[23,26,60,72,145,154],"utilization":[25],"some":[27],"computer":[28],"resource.":[29],"Partial":[30],"evaluation":[31,105],"when":[35],"partial":[36,104],"computations":[37,82],"can":[38,63],"be":[39,64],"performed":[40],"a":[42,50,53,57,128,146,152,165,168,173],"before":[44],"it":[45],"actually":[47],"executed.":[48],"If":[49],"parameter":[51,74],"procedure":[54,62,77],"constant":[56,68],"specialized":[58],"version":[59],"that":[61],"generated":[65],"if":[66],"inserted":[70],"instead":[71],"body":[78],"as":[80,86,111,164],"much":[81],"possible":[87],"are":[88,198],"performed.":[89],"A":[90],"system":[91,119,197],"described":[93],"which":[94,102],"works":[95,120],"programs":[97],"written":[98],"INTERLISP,":[100],"performs":[103],"together":[106],"other":[108,115,188],"such":[110],"beta-expansion":[112],"certain":[114],"optimization":[116],"operations.":[117],"The":[118],"full":[122],"LISP":[123,130],"not":[125],"only":[126],"for":[127,167],"\"pure\"":[129],"dialect,":[131],"deals":[133],"problems":[135],"occurring":[136],"there":[137],"involving":[138],"side-effects,":[139],"variable":[140],"assignments":[141],"etc.":[142],"An":[143],"analysis":[144],"previous":[147],"system,":[148,184],"REDFUN,":[149],"results":[150],"list":[153],"problems,":[155,186],"desired":[156],"extensions":[157],"new":[159,169,174],"features.":[160],"This":[161,177],"used":[163],"basis":[166],"design,":[170],"resulting":[171],"implementation,":[175,178],"REDFUN-2.":[176],"design":[179],"considerations,":[180],"constraints":[181],"remaining":[185],"experience":[189],"from":[190],"development":[192],"experiments":[194],"reported":[199],"this":[201],"paper.":[202]},"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2016-06-24T00:00:00"}