{"id":"https://openalex.org/W4249294554","doi":"https://doi.org/10.1109/kbse.1995.490113","title":"META-AMPHION: synthesis of efficient domain-specific program synthesis systems","display_name":"META-AMPHION: synthesis of efficient domain-specific program synthesis systems","publication_year":2002,"publication_date":"2002-11-19","ids":{"openalex":"https://openalex.org/W4249294554","doi":"https://doi.org/10.1109/kbse.1995.490113"},"language":"en","primary_location":{"id":"doi:10.1109/kbse.1995.490113","is_oa":false,"landing_page_url":"https://doi.org/10.1109/kbse.1995.490113","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings 1995 10th Knowledge-Based Software Engineering Conference","raw_type":"proceedings-article"},"type":"article","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/A5027645656","display_name":"M.R. Lowry","orcid":null},"institutions":[{"id":"https://openalex.org/I1280536761","display_name":"Ames Research Center","ror":"https://ror.org/02acart68","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280536761","https://openalex.org/I4210124779"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"M.R. Lowry","raw_affiliation_strings":["Recom Technologies, NASA Ames Research Center, CA, USA"],"affiliations":[{"raw_affiliation_string":"Recom Technologies, NASA Ames Research Center, CA, USA","institution_ids":["https://openalex.org/I1280536761"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019881826","display_name":"J. van Baalen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"J. van Baalen","raw_affiliation_strings":["Computer Science Department, University of Wurzburg, Laramie, WY, USA"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, University of Wurzburg, Laramie, WY, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5027645656"],"corresponding_institution_ids":["https://openalex.org/I1280536761"],"apc_list":null,"apc_paid":null,"fwci":1.2506,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.84306321,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"2","last_page":"10"},"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.9980999827384949,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9980999827384949,"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/T10260","display_name":"Software Engineering Research","score":0.9962999820709229,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.995199978351593,"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.784428596496582},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.742888331413269},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.715968668460846},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.7005962133407593},{"id":"https://openalex.org/keywords/domain-theory","display_name":"Domain theory","score":0.6268793344497681},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.49554693698883057},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.49236905574798584},{"id":"https://openalex.org/keywords/domain-engineering","display_name":"Domain engineering","score":0.4340222477912903},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.4169202148914337},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3636018633842468},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3360167145729065},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.2691449522972107},{"id":"https://openalex.org/keywords/component-based-software-engineering","display_name":"Component-based software engineering","score":0.14911794662475586},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09348592162132263},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.09009531140327454}],"concepts":[{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.784428596496582},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.742888331413269},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.715968668460846},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.7005962133407593},{"id":"https://openalex.org/C29585364","wikidata":"https://www.wikidata.org/wiki/Q1079166","display_name":"Domain theory","level":2,"score":0.6268793344497681},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.49554693698883057},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.49236905574798584},{"id":"https://openalex.org/C5977032","wikidata":"https://www.wikidata.org/wiki/Q5289815","display_name":"Domain engineering","level":5,"score":0.4340222477912903},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.4169202148914337},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3636018633842468},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3360167145729065},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.2691449522972107},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.14911794662475586},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09348592162132263},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.09009531140327454},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/kbse.1995.490113","is_oa":false,"landing_page_url":"https://doi.org/10.1109/kbse.1995.490113","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings 1995 10th Knowledge-Based Software Engineering Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W147786824","https://openalex.org/W227043464","https://openalex.org/W604086352","https://openalex.org/W1603641306","https://openalex.org/W2035169567","https://openalex.org/W2047669821","https://openalex.org/W2048294946","https://openalex.org/W2109339332","https://openalex.org/W2113352466","https://openalex.org/W2132433573","https://openalex.org/W2157420945","https://openalex.org/W2177760151","https://openalex.org/W3023216518","https://openalex.org/W6635998849"],"related_works":["https://openalex.org/W4246180183","https://openalex.org/W2170664339","https://openalex.org/W2102997561","https://openalex.org/W1587887330","https://openalex.org/W2023019272","https://openalex.org/W4285194545","https://openalex.org/W2374471852","https://openalex.org/W2785617847","https://openalex.org/W2096558156","https://openalex.org/W2101258140"],"abstract_inverted_index":{"AMPHION":[0,18,73],"is":[1,13,25,59,76],"a":[2,20,28,31],"real-world":[3],"knowledge-based":[4,81],"software":[5],"engineering":[6],"(KBSE)":[7],"system":[8,58],"whose":[9],"program":[10,100],"synthesis":[11,35,101],"subsystem":[12],"based":[14],"on":[15],"deductive":[16],"synthesis.":[17],"has":[19,36],"domain-independent":[21],"generic":[22],"architecture":[23],"that":[24],"specialized":[26],"to":[27,62,66,78],"domain":[29,54,64,95],"through":[30,42],"declarative":[32,94],"theory.":[33],"Program":[34],"been":[37],"made":[38],"efficient":[39,98],"and":[40,48,50,69],"automatic":[41],"manual":[43],"tuning":[44],"of":[45,53,83],"theorem-proving":[46],"strategies":[47],"tactics,":[49],"careful":[51],"formulation":[52],"theories.":[55],"The":[56,87],"META-AMPHION":[57,75],"being":[60],"developed":[61],"empower":[63],"experts":[65],"develop,":[67],"maintain,":[68],"evolve":[70],"their":[71],"own":[72],"applications.":[74],"intended":[77],"be":[79],"the":[80],"analogue":[82],"application-generator":[84],"generator":[85],"technology.":[86],"paper":[88],"describes":[89],"technology":[90],"for":[91],"automatically":[92],"transforming":[93],"theories":[96],"into":[97],"domain-specific":[99],"systems.":[102]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}