Não conheço nenhuma pesquisa sobre a semântica de vários recursos de linguagem, embora existam muitos livros que tratam da semântica de linguagens de programação. Aqui estão alguns dos mais abrangentes, que também lidam com construções menos padrão:
Conceitos de design em linguagens de programação de Franklyn Turbak, David Gifford e Mark Sheldon. Um livro gigantesco, cheio de semânticas de muitas construções linguísticas diferentes.
Conceitos, técnicas e modelos de programação de computadores por Peter Van Roy e Seif Haridi. Este livro concentra-se principalmente nos conceitos em termos da linguagem Oz. Todos os exemplos do livro são executados. No final do livro, há um capítulo ou dois discutindo a semântica formal das construções da linguagem.
Os textos mais clássicos, que enfatizam mais as técnicas semânticas, e não a variedade de construções da linguagem de programação, incluem:
Tipos e linguagens de programação por Benjamin Pierce. O livro sobre sistemas de tipos. Concentra-se principalmente em construções de linguagem funcional, enquanto aumenta a sofisticação do sistema de tipos. Também abrange o Featherweight Java, um cálculo básico do Java.
Transições e árvores por Hans Huttel. Uma boa introdução à semântica operacional, cobrindo uma variedade de construções de linguagens de crescente complexidade.
Semântica com Aplicações de Hanne Riis Nielson e Flemming Nielson. Uma introdução a vários estilos semânticos, incluindo algumas aplicações não óbvias deles. Uma ótima leitura!
A estrutura das linguagens de programação digitadas por David A Schmidt. Um sólido livro fundamental.
Semântica das Linguagens de Programação: Estruturas e Técnicas de Carl A Gunter. Outro sólido livro fundamental.
Por fim, um trabalho em andamento, generosamente disponível para download, Practical Foundations for Programming Languages por Bob Harper, abrange muitos recursos diferentes da linguagem de programação, garantindo que tudo seja formalizado ao longo do caminho.
Devo acrescentar que, se você fizer uma pergunta mais específica, obterá uma resposta mais específica. Muitos artigos científicos estão por aí dando semântica a vários recursos da linguagem de programação. Se você estivesse interessado em um recurso específico, eu poderia desenterrar um ou dois papéis sobre esse recurso.