Título
|
Autores
|
|
Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis
|
María Alpuente, Demis Ballis, Francisco Frechina and Julia Sapiña
|
|
Metapredicate Optimization for Datalog Queries through Program Analysis
|
Francisco Bueno, Jesus Correas and Fernando Saenz-Perez
|
|
Formal Relational Languages in a Deductive Setting
|
Fernando Saenz-Perez
|
|
Polymorphic Types in Erlang Function Specifications
|
Francisco Javier López-Fraguas, Manuel Montenegro and Juan Rodriguez-Hortala
|
|
Fuzzy Thresholded Fixpoint Semantics
|
Pascual Julian-Iranzo, Gines Moreno and Jaime Penabad
|
|
No solvable lambda-value term left behind
|
Álvaro García-Pérez and Pablo Nogueira
|
|
River basin management with Spin
|
Maria-Del-Mar Gallardo, Pedro Merino, Laura Panizo and Alberto Salmerón
|
|
Extending Liquid Types to Arrays
|
Manuel Montenegro, Susana Nieva, Ricardo Peña and Clara Segura
|
|
A Logic of Graph Conditions Extended with Paths
|
Marisa Navarro, Fernando Orejas, Elvira Pino and Leen Lambers
|
|
A Tutorial on Using Dafny to Construct Verified Software
|
Paqui Lucio
|
|
Reversible Term Rewriting
|
Naoki Nishida, Adrian Palacios and German Vidal
|
|
Testing of ATL programs from Randomly Generated ECore Test Models
|
Jesus M. Almendros-Jimenez and Antonio Becerra-Teron
|
|
Comparing MapReduce and Pipeline implementations for counting triangles
|
Edelmira Pasarella, Maria-Esther Vidal and Cristina Zoltan
|
|
Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems
|
Salvador Tamarit, Julio Mariño, Guillermo Vigueras and Manuel Carro
|
|
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code
|
Guillermo Vigueras, Manuel Carro, Salvador Tamarit and Julio Mariño
|
|
An Introduction to Liquid Haskell
|
Ricardo Peña
|
|
Abstract Analysis of Universal Properties for tccp
|
Marco Comini, Maria Del Mar Gallardo, Laura Titolo and Alicia Villanueva
|
|
A tool for the automatic generation of logical models of order-sorted first-order theories
|
Raúl Gutiérrez, Salvador Lucas and Patricio Reinoso
|
|
Processing an Intermediate Representation Written in Lisp
|
Ricardo Peña, Santiago Saavedra and Jaime Sánchez-Hernández
|
|
Proving termination properties of conditional rewrite systems
|
Salvador Lucas and Jose Meseguer
|
|
How to Construct a Suite of Program Slices
|
David Insa, Sergio Pérez and Josep Silva
|
|
Page-Level Webpage Menu Detection
|
Julián Alarte, Josep Silva and David Insa
|
|
Automatic Grading of Programming Exercises using Property-Based Testing
|
Clara Benac Earle, Lars-Ake Fredlund and John Hughes
|
|