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
fonte
Respostas:
Observando o curso de semântica operacional da minha universidade, são apresentados os três seguintes:
Ohad.
fonte
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.
fonte
Eu recomendaria a leitura do capítulo 2 deste livro para download:
Semântica com Aplicações: Uma Introdução Formal, Hanne Riis Nielson e Flemming Nielson, Wiley, 1992. http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html
fonte