Clement, Collin(Universitat Politècnica de València, 2024-09-10)
[ES] La semántica denotacional es una rama de la Ciencia de la Computación dedicada a dotar de significado a los lenguajes de programación mediante el diseño de objectos matemáticos (denominados denotaciones o dominios ...