Exploració per autor "Mas Rovira, Jan"

Ara es mostren els items 1-3 de 3

    • Anàlisi automàtica de programes Haskell 

      Mas Rovira, Jan (Universitat Politècnica de Catalunya, 2015-06-26)
      Treball Final de Grau
      Accés obert
      Expliquem els detalls d'un analitzador automàtic de programes Haskell. L'analitzador és capaç de detectar recursivitat en les definicions d'un programa, transformar definicions per tal de millorar-ne l'eficiència mentre ...

    • Automatic inductive equational reasoning 

      Mas Rovira, Jan (Universitat Politècnica de Catalunya, 2018-06)
      Projecte Final de Màster Oficial
      Accés obert
      We present Phileas, an automatic theorem prover focused on structural induction. Phileas is capable of automatically proving properties about inductively defined data types in Haskell anb reporting a proof in a human ...

    • Jutge.org: characteristics and experiences 

      Petit Silvestre, Jordi; Roura Ferret, Salvador; Carmona Vargas, Josep; Cortadella, Jordi; Duch Brown, Amalia; Giménez, Omer; Mani, Anaga; Mas Rovira, Jan; Rodríguez Carbonell, Enric; Rubio Gimeno, Alberto; San Pedro Martín, Javier de; Venkataramani, Divya (2018-07)
      Article
      Accés obert
      Jutge.org is an open educational online programming judge designed for students and instructors, featuring a repository of problems that is well organized by courses, topics and difficulty. Internally, Jutge.org uses a ...