Data/hora: 24/06/2024 18:12:52

Biblioteca(s): 	Embrapa Agricultura Digital.	
Data corrente: 	19/02/1998	
Data da última atualização: 	20/09/2007	
Autoria: 	GUEDES, L. C. C.; HAEUSLER, E. H.	
Título: 	On the separability of denotational semantics.	
Ano de publicação: 	1996	
Fonte/Imprenta: 	In: SIMPÓSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO, 1., 1996, Belo Horizonte. Anais. Belo Horizonte: SBC / UFMG, 1996.	
Páginas: 	p.209-222	
Idioma: 	Inglês	
Conteúdo: 	Many authors say that mosses observed that denotational semantics interwine model details with the underlying conceptual analysis. However, it is not written anywhere what exactly is a model detail or the conceptual analysis. Mosses proposed the action semantics approach in order to help hidding the model details under the concept of facets. It should be noticed that the separation between actions and faces is not enough to characterize language and model concepts respectively. A rather intuitive definition for language inherent concepts, under any framework, is to taking into account what is common to every specification of the language. Anything into account what is common to every specification of the language. Anything else should be considered as model dependent. Here, under a denotational semantics framework, we introduce the concept of model algebra as the basis of our separation. From this concept we define the corresponding action algebra, which will define, together will all other action algebras for the same language, a category of action algebras. The iterative pull-back of this category, named as language algebra, formalizes the concept of being language inherent. This result is of major relevance to the subject of compiler generation because it precisely defines what should be the best description of a programming language.	
Palavras-Chave: 	Linguagens de programação; Programming languages.	
Categoria do assunto: 	--	
Registro original: 	Embrapa Agricultura Digital (CNPTIA)	
Exemplares: 	CNPTIA - (6633-1) - ADD - PL - -- - 005.13 - SIM - 1996.00015 - DIS