Segura Díaz, Clara Mª
Your browser has limited support for third-party cookies, which may prevent you from viewing this content. If you run into problems, you can view the content in a
new window.
-
Rustan, K ;Leino, M (2010) Dafny: An Automatic Program Verifier for Functional Correctness [Libro-e]
-
Online Dafny tutorial [Sitio web]
-
Dafny reference manual [Manual PDF]
-
Dafny reference manual [Sitio web]
-
Rondon, P.M; Kawaguchi, M; Jhala, R (2008) Liquid types. In Proceedings of the 29th ACM SIGPLAN [Articulo-e]
-
Rondon, P.M; Kawaguchi, M; Jhala, R (2009). Type-based data structure verification. In Proceedings of the 30th ACM SIGPLAN [Articulo-e]
-
Vazou, N; Seidel, E.L; Jhala, R; Peyton-Jones, S (2014) Refinement Types for Haskell. In Proceedings of the 19th ACM SIGPLAN [Articulo-e]
-
Vazou, N; Seidel, E.L; Jhala, R (2013) Abstract refinement types. In 22nd European conference on Programming Languages and Systems [Articulo-e]
-
Online Proving Theorems in Lean [Sitio web]
-
Rustan, K., Leino, M. (2023), Program proofs
-
Online Liquid Haskell tutorial [Sitio web]
Conozco y acepto que el uso de los materiales contenidos en estas guías se realiza con finalidad de estudio, de apoyo a la docencia y la investigación. Se respetarán las condiciones de uso y contratación de cada uno de los recursos.
