{"id":"https://openalex.org/W170575889","doi":null,"title":"Deriving Programs that Develop Programs","display_name":"Deriving Programs that Develop Programs","publication_year":2001,"publication_date":"2001-01-01","ids":{"openalex":"https://openalex.org/W170575889","mag":"170575889"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.44.8739","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.8739","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.cornell.edu/home/kreitz/PS-files/93-habil-part1.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/A5087898463","display_name":"Christoph Kreitz","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Christoph Kreitz","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5087898463"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"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.9429000020027161,"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.9429000020027161,"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/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.009700000286102295,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.009200000204145908,"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-synthesis","display_name":"program synthesis","score":0.8849999904632568},{"id":"https://openalex.org/keywords/logic-programming","display_name":"logic programming","score":0.6790000200271606},{"id":"https://openalex.org/keywords/declarative-specification","display_name":"declarative specification","score":0.5370000004768372},{"id":"https://openalex.org/keywords/code-generation","display_name":"code generation","score":0.421999990940094}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.503675639629364}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.44.8739","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.8739","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.cornell.edu/home/kreitz/PS-files/93-habil-part1.ps.gz","raw_type":"text"},{"id":"mag:170575889","doi":null,"is_oa":false,"landing_page_url":"https://www.cs.cornell.edu/home/kreitz/PDF/92tud-habil.pdf","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":167,"referenced_works":["https://openalex.org/W4494173","https://openalex.org/W24505249","https://openalex.org/W33651973","https://openalex.org/W44982539","https://openalex.org/W46498010","https://openalex.org/W56544619","https://openalex.org/W57277416","https://openalex.org/W69246523","https://openalex.org/W71813098","https://openalex.org/W93213606","https://openalex.org/W94441621","https://openalex.org/W94570535","https://openalex.org/W101041027","https://openalex.org/W117859629","https://openalex.org/W154960712","https://openalex.org/W159715351","https://openalex.org/W164439562","https://openalex.org/W165446927","https://openalex.org/W166545860","https://openalex.org/W196393734","https://openalex.org/W222198096","https://openalex.org/W576060696","https://openalex.org/W622472012","https://openalex.org/W752752359","https://openalex.org/W1483170865","https://openalex.org/W1495111179","https://openalex.org/W1495400307","https://openalex.org/W1495979923","https://openalex.org/W1503412205","https://openalex.org/W1507212491","https://openalex.org/W1511850051","https://openalex.org/W1512876705","https://openalex.org/W1513402753","https://openalex.org/W1524461469","https://openalex.org/W1524751526","https://openalex.org/W1529845858","https://openalex.org/W1531204726","https://openalex.org/W1531264879","https://openalex.org/W1532420827","https://openalex.org/W1532428700","https://openalex.org/W1532801874","https://openalex.org/W1538037212","https://openalex.org/W1541135818","https://openalex.org/W1544035560","https://openalex.org/W1550435668","https://openalex.org/W1552647623","https://openalex.org/W1554357161","https://openalex.org/W1558059851","https://openalex.org/W1559733197","https://openalex.org/W1560115124","https://openalex.org/W1561529567","https://openalex.org/W1565996669","https://openalex.org/W1569068556","https://openalex.org/W1576669688","https://openalex.org/W1581769579","https://openalex.org/W1582515573","https://openalex.org/W1585676614","https://openalex.org/W1590764141","https://openalex.org/W1590963539","https://openalex.org/W1591915883","https://openalex.org/W1600851604","https://openalex.org/W1602563381","https://openalex.org/W1607892560","https://openalex.org/W1647125329","https://openalex.org/W1661076342","https://openalex.org/W1741698332","https://openalex.org/W1769439978","https://openalex.org/W1809924365","https://openalex.org/W1867436870","https://openalex.org/W1918168505","https://openalex.org/W1920367293","https://openalex.org/W1926673875","https://openalex.org/W1942403848","https://openalex.org/W1968833464","https://openalex.org/W1970495662","https://openalex.org/W1975033347","https://openalex.org/W1975127350","https://openalex.org/W1981663184","https://openalex.org/W1986402635","https://openalex.org/W1991071343","https://openalex.org/W1992808564","https://openalex.org/W1993449345","https://openalex.org/W1994184566","https://openalex.org/W1995955735","https://openalex.org/W1996404651","https://openalex.org/W1996508547","https://openalex.org/W1997585275","https://openalex.org/W1999722694","https://openalex.org/W2000825654","https://openalex.org/W2003879744","https://openalex.org/W2012436850","https://openalex.org/W2012721044","https://openalex.org/W2013373314","https://openalex.org/W2019651724","https://openalex.org/W2019994514","https://openalex.org/W2021790140","https://openalex.org/W2023299380","https://openalex.org/W2023880866","https://openalex.org/W2024303905","https://openalex.org/W2028023165","https://openalex.org/W2034500240","https://openalex.org/W2037237472","https://openalex.org/W2038754076","https://openalex.org/W2038814435","https://openalex.org/W2045323411","https://openalex.org/W2051228988","https://openalex.org/W2051667248","https://openalex.org/W2051685387","https://openalex.org/W2051793989","https://openalex.org/W2054358146","https://openalex.org/W2054969282","https://openalex.org/W2055099198","https://openalex.org/W2055364993","https://openalex.org/W2055856946","https://openalex.org/W2056168527","https://openalex.org/W2060872161","https://openalex.org/W2061767363","https://openalex.org/W2070375989","https://openalex.org/W2071915991","https://openalex.org/W2077271799","https://openalex.org/W2078889207","https://openalex.org/W2086054252","https://openalex.org/W2089366670","https://openalex.org/W2090943474","https://openalex.org/W2094243107","https://openalex.org/W2100738443","https://openalex.org/W2101188827","https://openalex.org/W2103005030","https://openalex.org/W2103090960","https://openalex.org/W2103953153","https://openalex.org/W2105610906","https://openalex.org/W2106718208","https://openalex.org/W2106895712","https://openalex.org/W2112308928","https://openalex.org/W2120304738","https://openalex.org/W2121698728","https://openalex.org/W2125692076","https://openalex.org/W2128057448","https://openalex.org/W2130086352","https://openalex.org/W2130164105","https://openalex.org/W2132364484","https://openalex.org/W2135177708","https://openalex.org/W2137144916","https://openalex.org/W2138384354","https://openalex.org/W2147543351","https://openalex.org/W2148817888","https://openalex.org/W2151581682","https://openalex.org/W2158086586","https://openalex.org/W2158236207","https://openalex.org/W2162643525","https://openalex.org/W2163693197","https://openalex.org/W2165163976","https://openalex.org/W2165434002","https://openalex.org/W2177760151","https://openalex.org/W2239102094","https://openalex.org/W2313175711","https://openalex.org/W2495268730","https://openalex.org/W2907211237","https://openalex.org/W2911631975","https://openalex.org/W2913021516","https://openalex.org/W2913268470","https://openalex.org/W2998004078","https://openalex.org/W3021018102","https://openalex.org/W3083054731","https://openalex.org/W3083490477","https://openalex.org/W3093230818","https://openalex.org/W3198160809"],"related_works":["https://openalex.org/W78736994","https://openalex.org/W2100872352","https://openalex.org/W2011396801","https://openalex.org/W7095954526","https://openalex.org/W7096038780","https://openalex.org/W2224072944","https://openalex.org/W67661772","https://openalex.org/W7096423677","https://openalex.org/W144988442","https://openalex.org/W1522690536"],"abstract_inverted_index":{"ing":[0],"from":[1],"individual":[2],"formalisms,":[3],"a":[4,8,11,23,26,33,64,95,111,123,136],"transformational":[5],"synthesis":[6,158],"of":[7,36,55,85,92,119,159],"program":[9,38,96,138,147],"satisfying":[10],"specification":[12],"hhDD,":[13],"RR,":[14],"I,":[15],"Oii":[16],"can":[17],"be":[18,40,61],"described":[19],"as":[20,135],"follows:":[21],"As":[22],"starting":[24],"point":[25],"new":[27],"predicate":[28],"F":[29,120],"over":[30],"DD\\\\Theta\\\\ThetaRR,":[31],"representing":[32],"declarative":[34],"description":[35],"the":[37,53,56,101,106,116,153,160],"to":[39,122],"created,":[41],"is":[42,82,97,132],"introduced":[43],"by":[44,99,155],"defining":[45],"8x:DD.8y:RR.":[46,66],"I(x)":[47,67],")":[48,68],"(F(x,y)":[49,69],",":[50,70,127],"O(x,y)).":[51],"In":[52],"context":[54],"above":[57],"formula":[58,65],"O(x,y)":[59],"will":[60],"transformed":[62],"until":[63],"O":[71,79,128],"f":[72,80],"(x,y))":[73],"has":[74],"been":[75],"inferred":[76],"such":[77],"that":[78],"(x,y)":[81,130],"composed":[83],"entirely":[84],"satisfiable":[86],"predicates":[87],"except":[88],"for":[89],"possible":[90],"occurrences":[91],"O.":[93],"Then":[94],"generated":[98],"comparing":[100],"initial":[102,117],"output":[103],"condition":[104],"with":[105],"final":[107,129],"one":[108],"and":[109],"drawing":[110],"recursive":[112,124],"conclusion:":[113],"folding":[114],"back":[115],"definition":[118],"leads":[121],"expression":[125],"F(x,y)":[126],"which":[131],"either":[133],"evaluated":[134],"logic":[137],"or":[139],"converted":[140],"into":[141],"other":[142],"target":[143],"languages":[144],"via":[145],"additional":[146],"formation":[148],"rules.":[149],"Let":[150],"us":[151],"illustrate":[152],"paradigm":[154],"an":[156],"example":[157],"m...":[161]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}