Semântica operacional
Semântica operacional é uma das abordagens de semântica formal, em que o significado de uma construção da linguagem é especificado pela computação que ela induz quando executada em uma máquina hipotética. A semântica operacional preocupa-se mais em como os programas são executados do que meramente com os resultados destas computações. A semântica formal é uma das áreas de estudo de ciência da computação, preocupada em atribuir significado às construções das linguagens de programação.
Tipos de semântica operacional
A abordagem de semântica operacional possui duas versões:
- Semântica operacional estruturada - Especifica mais detalhes da execução, tomando um passo menor;
- Semântica natural - Simplifica a notação e esconde detalhes, ao tomar um passo maior.
Ver também
Referências
- Nielson, H. & Nielson, F. Semantics with Applications: a formal introduction. disponível em: http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html
- lâminas para curso de um semestre de duração de semântica formal a nível de graduação
🔥 Top keywords: Wikipédia:Página principalEspecial:PesquisarSilvio LuizAntero GrecoWashington RodriguesChatGPTCleópatraMárcia (cantora brasileira)Paulo SoaresYasukeYouTubeNova CaledóniaCandombléCássio RamosEnchentes no Rio Grande do Sul em 2024Verinha DarcyRio Grande do SulPablo MarçalSony ChannelAMBEVCanal BrasilEduardo LeiteFicheiro:Logotipo da GloboNews.pngBrasilDanubio Fútbol ClubSalomãoEslováquiaBaby ReindeerJuraj Cintula16 de maioPaulo PimentaWhatsAppHigh Frequency Active Auroral Research ProgramRobert FicoCopa Libertadores da América de 2024Club BolívarAlma GêmeaCopa Libertadores da AméricaCristiano Ronaldo