{"id":"https://openalex.org/W2129353279","doi":"https://doi.org/10.1049/ip-sen:20041182","title":"Constructive Action Semantics for Core ML","display_name":"Constructive Action Semantics for Core ML","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W2129353279","doi":"https://doi.org/10.1049/ip-sen:20041182","mag":"2129353279"},"language":"en","primary_location":{"id":"doi:10.1049/ip-sen:20041182","is_oa":false,"landing_page_url":"https://doi.org/10.1049/ip-sen:20041182","pdf_url":null,"source":{"id":"https://openalex.org/S4210197075","display_name":"IEE Proceedings - Software","issn_l":"1462-5970","issn":["1462-5970","1463-9831"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311714","host_organization_name":"Institution of Engineering and Technology","host_organization_lineage":["https://openalex.org/P4310311714"],"host_organization_lineage_names":["Institution of Engineering and Technology"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEE Proceedings - Software","raw_type":"journal-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/A5064027940","display_name":"J\u00f8rgen Iversen","orcid":null},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"J. Iversen","raw_affiliation_strings":["BRICS & Department of Computer Science, University of Aarhus, Aarhus N, Denmark","BRICS and Department of Computer Science, University of Aarhus, Denmark#TAB#"],"affiliations":[{"raw_affiliation_string":"BRICS & Department of Computer Science, University of Aarhus, Aarhus N, Denmark","institution_ids":["https://openalex.org/I204337017"]},{"raw_affiliation_string":"BRICS and Department of Computer Science, University of Aarhus, Denmark#TAB#","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081843559","display_name":"Peter D. Mosses","orcid":"https://orcid.org/0000-0002-5826-7520"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"P.D. Mosses","raw_affiliation_strings":["BRICS & Department of Computer Science, University of Aarhus, Aarhus N, Denmark","BRICS and Department of Computer Science, University of Aarhus, Denmark#TAB#"],"affiliations":[{"raw_affiliation_string":"BRICS & Department of Computer Science, University of Aarhus, Aarhus N, Denmark","institution_ids":["https://openalex.org/I204337017"]},{"raw_affiliation_string":"BRICS and Department of Computer Science, University of Aarhus, Denmark#TAB#","institution_ids":["https://openalex.org/I204337017"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5064027940"],"corresponding_institution_ids":["https://openalex.org/I204337017"],"apc_list":null,"apc_paid":null,"fwci":4.1102,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":{"value":0.94015642,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"152","issue":"2","first_page":"79","last_page":"79"},"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.9995999932289124,"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.9995999932289124,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9950000047683716,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.993399977684021,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7787855267524719},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.6851495504379272},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6408305764198303},{"id":"https://openalex.org/keywords/language-construct","display_name":"Language construct","score":0.5315313935279846},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.5003676414489746},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.43961647152900696},{"id":"https://openalex.org/keywords/action-semantics","display_name":"Action semantics","score":0.4260382354259491},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.41613033413887024},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4113369286060333},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.4102446436882019},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.327477365732193},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.21008005738258362}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7787855267524719},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.6851495504379272},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6408305764198303},{"id":"https://openalex.org/C48859967","wikidata":"https://www.wikidata.org/wiki/Q6486712","display_name":"Language construct","level":2,"score":0.5315313935279846},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5003676414489746},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.43961647152900696},{"id":"https://openalex.org/C150607116","wikidata":"https://www.wikidata.org/wiki/Q4677421","display_name":"Action semantics","level":5,"score":0.4260382354259491},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.41613033413887024},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4113369286060333},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.4102446436882019},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.327477365732193},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.21008005738258362},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1049/ip-sen:20041182","is_oa":false,"landing_page_url":"https://doi.org/10.1049/ip-sen:20041182","pdf_url":null,"source":{"id":"https://openalex.org/S4210197075","display_name":"IEE Proceedings - Software","issn_l":"1462-5970","issn":["1462-5970","1463-9831"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311714","host_organization_name":"Institution of Engineering and Technology","host_organization_lineage":["https://openalex.org/P4310311714"],"host_organization_lineage_names":["Institution of Engineering and Technology"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEE Proceedings - Software","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.59.8670","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.8670","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.brics.dk/RS/04/Ref/BRICS-RS-04-Ref/../../../../RS/04/37/BRICS-RS-04-37.ps.gz","raw_type":"text"},{"id":"pmh:oai:pure.atira.dk:publications/34b1cf80-87b9-11dc-bee9-02004c4f4f50","is_oa":false,"landing_page_url":"https://pure.au.dk/portal/en/publications/34b1cf80-87b9-11dc-bee9-02004c4f4f50","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Iversen, J & Mosses, P D 2004, 'Constructive Action Semantics for Core ML', BRICS Report Series, no. RS-04-37.","raw_type":"article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.7900000214576721,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1495087637","https://openalex.org/W1546727036","https://openalex.org/W1575771936","https://openalex.org/W1597593761","https://openalex.org/W1829244603","https://openalex.org/W2028870530","https://openalex.org/W2060160091","https://openalex.org/W2096268381","https://openalex.org/W2127340092","https://openalex.org/W2138062893","https://openalex.org/W2176330945","https://openalex.org/W2343157681","https://openalex.org/W2406480769","https://openalex.org/W2490230404","https://openalex.org/W2614279894","https://openalex.org/W2914227004","https://openalex.org/W6635658484","https://openalex.org/W6759218616"],"related_works":["https://openalex.org/W27605384","https://openalex.org/W1422032522","https://openalex.org/W783270985","https://openalex.org/W2026889117","https://openalex.org/W1490935864","https://openalex.org/W75631880","https://openalex.org/W1967566194","https://openalex.org/W2122911764","https://openalex.org/W2147218830","https://openalex.org/W1991569066"],"abstract_inverted_index":{"Usually,":[0],"the":[1,31,132,164,169,178],"majority":[2],"of":[3,49,52,62,95,113,117,131,155,177],"language":[4,10,20,46,58,65,69,86,157],"constructs":[5],"found":[6,14],"in":[7,15,30,77,103,140],"a":[8,45,50,56,63,85,100,111,118,146,174],"programming":[9,37],"can":[11,40,74],"also":[12],"be":[13,28,41,68,75],"many":[16],"other":[17,78],"languages,":[18],"because":[19],"design":[21],"is":[22,110,161,173],"based":[23],"on":[24],"reuse.":[25],"This":[26],"should":[27,67],"reflected":[29],"way":[32],"we":[33],"give":[34],"semantics":[35],"to":[36,122],"languages.":[38],"It":[39],"achieved":[42],"by":[43,163,168],"making":[44],"description":[47,61,87,94,112],"consist":[48],"collection":[51],"modules,":[53],"each":[54],"defining":[55],"single":[57,64,156],"construct.":[59],"The":[60,107,136],"construct":[66],"independent,":[70],"so":[71],"that":[72],"it":[73,91,121],"reused":[76],"descriptions":[79,130,154],"without":[80],"any":[81],"changes.":[82],"We":[83,98],"call":[84],"framework":[88],"\u2018constructive\u2019":[89],"when":[90],"supports":[92],"independent":[93],"individual":[96,133],"constructs.":[97,135,158],"present":[99],"case":[101,108],"study":[102,109],"constructive":[104],"semantic":[105,129,153],"description.":[106],"Core":[114],"ML,":[115],"consisting":[116],"mapping":[119],"from":[120],"BAS":[123,134],"(Basic":[124],"Abstract":[125],"Syntax)":[126],"and":[127,167],"action":[128,152],"latter":[137],"are":[138],"written":[139],"ASDF":[141],"(Action":[142],"Semantics":[143],"Definition":[144],"Formalism),":[145],"formalism":[147],"specially":[148],"designed":[149],"for":[150],"writing":[151],"Tool":[159],"support":[160],"provided":[162],"ASF+SDF":[165,179],"Meta-Environment":[166],"Action":[170],"Environment,":[171],"which":[172],"new":[175],"extension":[176],"Meta-Environment.":[180]},"counts_by_year":[{"year":2020,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}