Disentangling denotational semantics specifications

Detalhes bibliográficos
Autor(a) principal: Saraiva, João Alexandre
Data de Publicação: 2008
Outros Autores: Bigonha, Roberto, Tirelo, Fábio
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/1822/34903
Resumo: Denotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equations in a definition may have to be aware of unrelated constructs semantics. Current approaches for modularity in this formalism do not address this problem, providing, for this reason, tangled semantic definitions. This paper proposes an incremental approach for denotational semantic specifications, in which each step can either add new features or adapt existing equations, by means of a formal language based on function transformation and aspect weaving.
id RCAP_9fa05f2861611747219207598d7079bd
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/34903
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Disentangling denotational semantics specificationsSemantics of programming languagesDenotational semanticsModularityAspect-oriented definitionsDenotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equations in a definition may have to be aware of unrelated constructs semantics. Current approaches for modularity in this formalism do not address this problem, providing, for this reason, tangled semantic definitions. This paper proposes an incremental approach for denotational semantic specifications, in which each step can either add new features or adapt existing equations, by means of a formal language based on function transformation and aspect weaving.Springer VerlagUniversidade do MinhoSaraiva, João AlexandreBigonha, RobertoTirelo, Fábio20082008-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/1822/34903eng0948-6968info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:31:23Zoai:repositorium.sdum.uminho.pt:1822/34903Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:26:39.110197Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Disentangling denotational semantics specifications
title Disentangling denotational semantics specifications
spellingShingle Disentangling denotational semantics specifications
Saraiva, João Alexandre
Semantics of programming languages
Denotational semantics
Modularity
Aspect-oriented definitions
title_short Disentangling denotational semantics specifications
title_full Disentangling denotational semantics specifications
title_fullStr Disentangling denotational semantics specifications
title_full_unstemmed Disentangling denotational semantics specifications
title_sort Disentangling denotational semantics specifications
author Saraiva, João Alexandre
author_facet Saraiva, João Alexandre
Bigonha, Roberto
Tirelo, Fábio
author_role author
author2 Bigonha, Roberto
Tirelo, Fábio
author2_role author
author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Saraiva, João Alexandre
Bigonha, Roberto
Tirelo, Fábio
dc.subject.por.fl_str_mv Semantics of programming languages
Denotational semantics
Modularity
Aspect-oriented definitions
topic Semantics of programming languages
Denotational semantics
Modularity
Aspect-oriented definitions
description Denotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equations in a definition may have to be aware of unrelated constructs semantics. Current approaches for modularity in this formalism do not address this problem, providing, for this reason, tangled semantic definitions. This paper proposes an incremental approach for denotational semantic specifications, in which each step can either add new features or adapt existing equations, by means of a formal language based on function transformation and aspect weaving.
publishDate 2008
dc.date.none.fl_str_mv 2008
2008-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/34903
url http://hdl.handle.net/1822/34903
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 0948-6968
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Springer Verlag
publisher.none.fl_str_mv Springer Verlag
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799132754517950464

Registros relacionados