Semântica Formal de Linguagens de Programação

17

Eu sou novo na teoria das linguagens de programação e estou procurando um bom recurso em um recurso para semântica formal de linguagens de programação. Procurando especificamente por semântica operacional estrutural. Eu tenho algumas recomendações de livros. Mas estou procurando um recurso em um nível mais introdutório. Especialmente tutoriais, recomendações de sites e livros gratuitos são bem-vindas.

reference-request  pl.programming-languages  semantics  formal-systems 
— falha de sistema
fonte
2
— Dave Clarke
Eu estava indo para postar exatamente o mesmo link, mas depois percebeu que o OP já mencionou que eles tinham recos livro, e foram à procura de outras referências
— Suresh Venkat

Respostas:

8

A semântica operacional estrutural (SOS) é um conceito muito geral. É essencialmente apenas uma relação binária em configurações (geralmente programas mais um contexto, como estado ou continuações disponíveis) ou, no caso de semântica rotulada, uma relação ternária entre configurações, ações (que representam certos contextos mínimos) e configurações. O bit "estrutural" geralmente é que essas relações são definidas indutivamente sobre a sintaxe envolvida (por exemplo, configurações e ações).

Assim, sem outro requisito, as entidades matemáticas que consideramos no SOS são muito gerais para serem interessantes / tratáveis ​​por si mesmas.

O SOS se torna interessante e substancial quando analisamos casos especiais, por exemplo, equivalências para cálculos temporizados, transições rotuladas para cálculos ambientais assíncronos correspondentes a reduções ou perguntas sobre a expressividade de certos (classes de) cálculos.

Portanto, minha recomendação para o Sr. / Senhora Systemsfault é pular generalidades e pular direto para cálculos específicos de interesse. Técnicas gerais de SOS podem ser facilmente capturadas ao longo do caminho.

— Martin Berger
fonte
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.