{"id":"https://openalex.org/W2139831587","doi":"https://doi.org/10.1109/hicss.1994.323312","title":"Formalizing the semantics of ASCEND","display_name":"Formalizing the semantics of ASCEND","publication_year":1994,"publication_date":"1994-01-01","ids":{"openalex":"https://openalex.org/W2139831587","doi":"https://doi.org/10.1109/hicss.1994.323312","mag":"2139831587"},"language":"en","primary_location":{"id":"doi:10.1109/hicss.1994.323312","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hicss.1994.323312","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences HICSS-94","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/A5097563098","display_name":"Bhargava","orcid":null},"institutions":[{"id":"https://openalex.org/I35364215","display_name":"Naval Postgraduate School","ror":"https://ror.org/033yfkj90","country_code":"US","type":"education","lineage":["https://openalex.org/I1330347796","https://openalex.org/I3130687028","https://openalex.org/I35364215"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Bhargava","raw_affiliation_strings":["Naval Postgraduate School, Naval Postgraduate School, Monterey, CA, US"],"affiliations":[{"raw_affiliation_string":"Naval Postgraduate School, Naval Postgraduate School, Monterey, CA, US","institution_ids":["https://openalex.org/I35364215"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5097537082","display_name":"Krishnan","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Krishnan","raw_affiliation_strings":["The Heinz School, Carnegie Mellon University, USA"],"affiliations":[{"raw_affiliation_string":"The Heinz School, Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5097563099","display_name":"Piela","orcid":null},"institutions":[{"id":"https://openalex.org/I106791491","display_name":"AspenTech (United States)","ror":"https://ror.org/01ngwgb14","country_code":"US","type":"company","lineage":["https://openalex.org/I106791491"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Piela","raw_affiliation_strings":["Aspen Technologies Limited"],"affiliations":[{"raw_affiliation_string":"Aspen Technologies Limited","institution_ids":["https://openalex.org/I106791491"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5097563098"],"corresponding_institution_ids":["https://openalex.org/I35364215"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.30917874,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"iii","issue":null,"first_page":"505","last_page":"516"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9980999827384949,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9980999827384949,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9980000257492065,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/computer-science","display_name":"Computer science","score":0.8586205840110779},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.8135145902633667},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.7784426212310791},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5963793992996216},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5892974734306335},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.4673153758049011},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.2662663757801056}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8586205840110779},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8135145902633667},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7784426212310791},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5963793992996216},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5892974734306335},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.4673153758049011},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.2662663757801056}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/hicss.1994.323312","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hicss.1994.323312","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences HICSS-94","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.6800000071525574,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1492581928","https://openalex.org/W1496815773","https://openalex.org/W1496893381","https://openalex.org/W1542685742","https://openalex.org/W1565048359","https://openalex.org/W1655990431","https://openalex.org/W1964022656","https://openalex.org/W1970584285","https://openalex.org/W1979801613","https://openalex.org/W1990084052","https://openalex.org/W2012170877","https://openalex.org/W2016469042","https://openalex.org/W2021269535","https://openalex.org/W2032376429","https://openalex.org/W2043274424","https://openalex.org/W2062573246","https://openalex.org/W2066969405","https://openalex.org/W2102081442","https://openalex.org/W2127099088","https://openalex.org/W2132233302","https://openalex.org/W2143215109","https://openalex.org/W2146769387","https://openalex.org/W2151561260","https://openalex.org/W2155278486","https://openalex.org/W2344620854","https://openalex.org/W2915305438","https://openalex.org/W4210542099","https://openalex.org/W4232598359"],"related_works":["https://openalex.org/W2357088637","https://openalex.org/W2090337950","https://openalex.org/W2046806568","https://openalex.org/W1975276861","https://openalex.org/W1591331302","https://openalex.org/W82161441","https://openalex.org/W4297749046","https://openalex.org/W2231242125","https://openalex.org/W1671914757","https://openalex.org/W2047292526"],"abstract_inverted_index":{"ASCEND":[0,25,72,83],"is":[1,26,66,100],"a":[2,55,88],"declarative":[3,56],"and":[4,37,40,85,90],"strongly-typed":[5],"executable":[6],"equational":[7],"modeling":[8],"language.":[9,97],"Originally":[10],"developed":[11],"to":[12,67,86,95],"support":[13],"engineering":[14],"design,":[15],"it":[16],"has":[17],"since":[18],"been":[19],"applied":[20],"in":[21,28,41,62,81,105],"various":[22],"other":[23],"domains.":[24],"distinctive":[27],"its":[29],"use":[30],"of":[31,71,93],"strong":[32],"typing":[33],"for":[34,58],"integrating":[35],"data":[36],"algebraic":[38],"modeling,":[39],"providing":[42],"model":[43,48],"structuring":[44],"operators":[45],"which":[46],"facilitate":[47],"reuse.":[49],"In":[50],"this":[51],"paper,":[52],"we":[53],"develop":[54],"semantics":[57,79],"the":[59,69,77,82,96,107],"type":[60],"system":[61],"ASCEND.":[63],"Our":[64,98],"purpose":[65],"clarify":[68],"meaning":[70],"constructs":[73],"(thereby":[74],"also":[75],"explaining":[76],"operational":[78],"embodied":[80],"compiler),":[84],"enable":[87],"systematic":[89],"principled":[91],"investigation":[92],"modifications":[94],"approach":[99],"based":[101],"on":[102],"formal":[103],"logic,":[104],"particular,":[106],"embedded":[108],"languages":[109],"technique.<":[110],"<ETX":[111],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[112],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">&gt;</ETX>":[113]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}