{"id":"https://openalex.org/W2059337572","doi":"https://doi.org/10.1016/s1571-0661(04)80925-3","title":"An Action Semantics Integrated Development Environment","display_name":"An Action Semantics Integrated Development Environment","publication_year":2001,"publication_date":"2001-06-01","ids":{"openalex":"https://openalex.org/W2059337572","doi":"https://doi.org/10.1016/s1571-0661(04)80925-3","mag":"2059337572"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)80925-3","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80925-3","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)80925-3","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048890235","display_name":"Lu\u00eds Menezes","orcid":"https://orcid.org/0000-0002-8978-8900"},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Luis Menezes","raw_affiliation_strings":["Center of Informatics Federal, University of Pernambuco, CP 7851, CEP 50732-970, Recife, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center of Informatics Federal, University of Pernambuco, CP 7851, CEP 50732-970, Recife, Brazil","institution_ids":["https://openalex.org/I25112270"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022901220","display_name":"Hermano Perrelli de Moura","orcid":"https://orcid.org/0000-0001-5992-2171"},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Hermano Moura","raw_affiliation_strings":["Center of Informatics Federal, University of Pernambuco, CP 7851, CEP 50732-970, Recife, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center of Informatics Federal, University of Pernambuco, CP 7851, CEP 50732-970, Recife, Brazil","institution_ids":["https://openalex.org/I25112270"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055946270","display_name":"Mardoqueu Vieira","orcid":null},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Mardoqueu Vieira","raw_affiliation_strings":["Center of Informatics Federal, University of Pernambuco, CP 7851, CEP 50732-970, Recife, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center of Informatics Federal, University of Pernambuco, CP 7851, CEP 50732-970, Recife, Brazil","institution_ids":["https://openalex.org/I25112270"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036791199","display_name":"Wanderley Cansan\u00e7\u00e3o","orcid":null},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Wanderley Cansan\u00e7\u00e3o","raw_affiliation_strings":["Center of Informatics Federal, University of Pernambuco, CP 7851, CEP 50732-970, Recife, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center of Informatics Federal, University of Pernambuco, CP 7851, CEP 50732-970, Recife, Brazil","institution_ids":["https://openalex.org/I25112270"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111947264","display_name":"Francisco Eduardo de Albuquqerque Lima","orcid":null},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Francisco Lima","raw_affiliation_strings":["Center of Informatics Federal, University of Pernambuco, CP 7851, CEP 50732-970, Recife, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center of Informatics Federal, University of Pernambuco, CP 7851, CEP 50732-970, Recife, Brazil","institution_ids":["https://openalex.org/I25112270"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063685873","display_name":"Leonardo F. R. Ribeiro","orcid":"https://orcid.org/0000-0003-2639-942X"},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Leonardo Ribeiro","raw_affiliation_strings":["Center of Informatics Federal, University of Pernambuco, CP 7851, CEP 50732-970, Recife, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center of Informatics Federal, University of Pernambuco, CP 7851, CEP 50732-970, Recife, Brazil","institution_ids":["https://openalex.org/I25112270"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5022901220","https://openalex.org/A5036791199","https://openalex.org/A5048890235","https://openalex.org/A5055946270","https://openalex.org/A5063685873","https://openalex.org/A5111947264"],"corresponding_institution_ids":["https://openalex.org/I25112270"],"apc_list":null,"apc_paid":null,"fwci":0.5405,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.78351132,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"44","issue":"2","first_page":"157","last_page":"160"},"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.9991999864578247,"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.9991999864578247,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9991000294685364,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9921000003814697,"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/computer-science","display_name":"Computer science","score":0.8046613335609436},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7137467861175537},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.6993191838264465},{"id":"https://openalex.org/keywords/interpreter","display_name":"Interpreter","score":0.634132981300354},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.6203768253326416},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5233596563339233},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.5086108446121216},{"id":"https://openalex.org/keywords/action-semantics","display_name":"Action semantics","score":0.4993431568145752},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.49178317189216614},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.44584524631500244},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4401390552520752},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33656078577041626},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.262795627117157},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.12387830018997192},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.10957548022270203},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08994168043136597},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.07762497663497925},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.06789684295654297}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8046613335609436},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7137467861175537},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.6993191838264465},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.634132981300354},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.6203768253326416},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5233596563339233},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.5086108446121216},{"id":"https://openalex.org/C150607116","wikidata":"https://www.wikidata.org/wiki/Q4677421","display_name":"Action semantics","level":5,"score":0.4993431568145752},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.49178317189216614},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.44584524631500244},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4401390552520752},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33656078577041626},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.262795627117157},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.12387830018997192},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.10957548022270203},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08994168043136597},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.07762497663497925},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.06789684295654297},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(04)80925-3","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80925-3","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)80925-3","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80925-3","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1725916140","https://openalex.org/W1890527144","https://openalex.org/W4285719527","https://openalex.org/W6635063842"],"related_works":["https://openalex.org/W2401084759","https://openalex.org/W2625007905","https://openalex.org/W3007870257","https://openalex.org/W2158105805","https://openalex.org/W1787359028","https://openalex.org/W2089740622","https://openalex.org/W2085929359","https://openalex.org/W1495012123","https://openalex.org/W2002931343","https://openalex.org/W4300427851"],"abstract_inverted_index":{"We":[0,89],"demonstrate":[1],"the":[2,7,17,84,92,97],"first":[3],"public":[4],"release":[5],"of":[6,21,32,80,87,100],"Abaco":[8,93],"system,":[9],"an":[10],"integrated":[11,69],"development":[12],"environment":[13],"designed":[14],"to":[15,106],"support":[16],"construction":[18],"and":[19,42,48,61,83,103],"maintenance":[20],"action":[22,45,49,57,62,101],"semantics":[23],"descriptions.":[24],"The":[25],"system":[26,94],"is":[27],"formed":[28],"by":[29],"a":[30,71,77],"set":[31],"tools":[33,67],"like":[34],"parser":[35],"generators,":[36],"specification":[37],"processors,":[38],"including":[39],"sort":[40],"checkers":[41],"interpreters":[43,50],"for":[44],"semantic":[46],"descriptions,":[47],"which":[51],"can":[52],"execute":[53],"actions":[54],"written":[55],"in":[56,70],"notation":[58,63,102],"version":[59,64],"1":[60],"2.":[65],"These":[66],"are":[68],"graphical":[72],"user":[73],"interface":[74],"environment,":[75],"allowing":[76],"friendly":[78],"design":[79],"new":[81],"specifications":[82],"immediate":[85],"test":[86],"them.":[88],"expect":[90],"that":[91],"will":[95],"improve":[96],"learning":[98],"curve":[99],"its":[104],"application":[105],"programming":[107],"language":[108],"design.":[109]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}