Informes técnicos
Informes técnicos publicados en el Departamento de Sistemas Informáticos y Computación
2021
- Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
The semantics of the Maude strategy language.
Technical report TR-01-21. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2021.
2020
- Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana and Gordon J. Pace
Themulus: A Timed Contract-Calculus.
Technical report TR-01-20. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2020.
2019
- Carlos Camacho, Luis Llana, Alberto Núñez and Mario Bravetti
Probabilistic Software Product Lines.
Technical report TR-01-19. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2019.
- Rubén Rubio, Narciso Martí-Oliet, Isabel Pita and Alberto Verdejo
Model checking strategy-controlled rewriting systems.
Technical report TR-02-19. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2019.
2018
- Adrián Riesco and Juan Rodríguez-Hortalá.
Property-based testing for Spark Streaming.
Technical report TR-2-18. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2018.
- Francisco J. López-Fraguas, Manuel Montenegro and Gorka Suárez-García.
Polymorphic success types for Erlang.
Technical report TR-3-18. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2018.
- Ricardo Peña
An Assertional Proof of Red-Black Trees using Dafny.
Technical report TR-4-18. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2018.
2017
- Francisco J. López-Fraguas, Manuel Montenegro and Gorka Suárez-García.
A type derivation system for Erlang (extended version).
Technical report TR-1-17. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2017.
- Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, and Isabel Pita.
Conditional Narrowing Modulo SMT Plus Axioms.
Technical report TR-2-17. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2017.
- Adrián Riesco and Isabel Pita.
A Maude specification of the Kademlia distributed hash table: centralized version.
Technical report TR-3-17. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2017.
- Óscar Martín, Alberto Verdejo, and Narciso Martí-Oliet.
Modular specification in rewriting logic (extended version).
Technical report TR-4-17. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2017. - Ricardo Peña Marí.
Método voraz: pago óptimo con monedas.
Technical report TR-1-15. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2015. - Adrián Riesco, and Juan Rodríguez-Hortalá.
A Lightweight Tool for Random Testing of Stream Processing Systems (Extended Version).
Technical report TR-2-15. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2015. - Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, and Salvador Tamarit.
A Zoom-Declarative Debugger for Sequential Erlang Programs (extended version).
Technical report TR-1-14. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2014. - Manuel Montenegro, Ricardo Peña, Clara Segura.
Space Consumption Analysis by Abstract Interpretation Inference of Recursive Functions and Reductivity Properties .
Technical report TR-2-14. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2014. - Cristóbal Pareja, Ricardo Peña, Clara Segura.
Transforming two heaps in linear time, a formal approach.
Technical report TR-3-14. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2014. - Fernando Rosa-Velardo.
Ordinal Recursive Complexity of Unordered Data Nets
Technical report TR-4-14. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2014. - Isabel Pita and Maria Inés Fernández Camacho.
Formal specification of the Kademlia Routing table and the Kad Routing table in Maude.
Technical report TR-1-13. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2013. - Ignacio Castiñeiras, Fernando Sáenz-Pérez.
Real-Life Employee Timetabling Problem: Instance Example.
Technical report TR-2-13. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2013. - Rafael Caballero, Enrique Martin-Martin, Adrian Riesco, and Salvador Tamarit
A calculus for sequential Erlang programs.
Technical report TR-3-13. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2013. - David Insa, Josep Silva, and Adrián Riesco
Speeding Up Algorithmic Debugging Using Balanced Execution Trees—Detailed Results.
Technical report TR-4-13. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2013. - Rafael Caballero, Peter J. Stuckey, and Antonio Tenorio-Fornés
MiniZinc+: Finite Type Extensions in Constraint Programming (extended version).
Technical report TR-5-13. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2013. - Elvira Albert, Antonio Flores-Montoya,Samir Genaim, and Enrique Martin-Martin
Termination and Cost Analysis of Loops with Concurrent Interleavings (Extended Version).
Technical report TR-6-13. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2013. - Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, and Salvador Tamarit
A calculus for zoom debugging sequential Erlang programs.
Technical report TR-7-13. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2013. - Manuel Montenegro, Ricardo Peña, and Clara Segura
Shape Analysis in a Functional Language by Using Regular Languages (Extended Version).
Technical report TR-8-13. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2013. - María Rosa Martos-Salgado, and Fernando Rosa-Velardo
Dynamic Networks of Infinite-State Timed Processes.
Technical report TR-9-13. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2013. - María Rosa Martos-Salgado, and Fernando Rosa-Velardo
Expressiveness of ν-lsPN.
Technical report TR-10-13. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2013. - Gopal Gupta y Ricardo Peña (Eds.)
Pre-Proceedings of LOPSTR'13: The 23rd International Symposium on Logic-Based Program Synthesis and Transformation.
Technical report TR-11-13. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2013. - Elvira Albert, Samir Genaim, Enrique Martin-Martin.
May-Happen-in-Parallel Analysis for Priority-based Scheduling (Extended Version).
Technical report TR-12-13. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2013. - Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero and Yolanda Ortega-Mallén
The role of indirections in lazy natural semantics (extended version).
Technical report TR-13-13. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2013. - Ignacio Castiñeiras and Fernando Sáenz-Pérez
Comparing TOY(FD) with State-of-the-Art Constraint Programming Systems.
Technical report TR-14-13. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2013. - Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, and Yolanda Ortega-Mallén.
A locally nameless representation for a natural semantics for lazy evaluation.
Technical report SIC-1-12. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2012. - Rafael del Vado Vírseda and Fernando Pérez Morente.
A Concurrent Operational Semantics for Constraint Functional Logic Programming.
Technical report SIC-3-12. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2012. - Rafael del Vado Vírseda and Fernando Pérez Morente.
A Modular Logical and Semantic Framework for Higher-Order Declarative Programming with Lambda Abstractions.
Technical report SIC-4-12. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2012. - Francisco López-Fraguas, Enrique Martin-Martin, and Juan Rodríguez-Hortalá.
Advances in Type Systems for Functional Logic Programming (Extended Version).
Technical report SIC-5-12. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2012. - Ignacio Castiñeiras and Fernando Sáenz-Pérez.
Analysis of the FD Variables and Constraints Generated by TOY(FDi) and ILOG for Solving Different Finite Domain Constraint Problems.
Technical report SIC-6-12. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2012. - Adrián Riesco and Juan Rodríguez-Hortalá.
Generators: Detailed Proofs.
Technical report SIC-7-12. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2012. - Narciso Martí-Oliet and Miguel Palomino.
WADT 2012 Preliminary Proceedings. 21st International Workshop on Algebraic Development Techniques.
Technical report SIC-8-12. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2012. - Adrián Riesco and Juan Rodríguez-Hortalá.
S-Narrowing for Constructor Systems: Detailed Proofs.
Technical report SIC-9-12. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2012. - R. Caballero and Y. García-Ruiz and F. Sáenz-Pérez
Declarative Debugging of Wrong and Missing Answers for SQL Views
Technical report SIC-10-12. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2012. - Enrique Martin-Martin and Juan Rodríguez-Hortalá.
Transparent Function Types: Clearing up Opacity (Extended Version).
Technical report SIC-11-12. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2012. - Manuel Montenegro, Ricardo Peña, and Clara Segura.
A Space Consumption Analysis By Abstract Interpretation.
Technical report SIC-1-11. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2011. - Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, and Alberto Verdejo.
Improving the Debugging of Membership Equational Logic Specifications.
Technical report SIC-2-11. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2011. - Rafael Caballero, Yolanda García, and Fernando Sáenz Pérez.
Declarative Debugging of SQL Views.
Technical report SIC-3-11. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2011. - Jesús M. Almendros Jiménez, Rafael Caballero Roldán, Yolanda García, and Fernando Sáenz Pérez.
Embeding XQuery in Toy.
Technical report SIC-4-11. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2011. - Isabel Pita Andreu.
Guía rápida sobre ejecución de especificaciones algebraicas en Maude bajo el entorno Eclipse para estudiantes de Estructuras de Datos.
Technical report SIC-5-11. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2011. - Isabel Pita Andreu.
Manual para realizar testing de TADs especificados en Maude e implementados en C++.
Technical report SIC-6-11. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2011. - Ricardo Peña and Marko van Eekelen (eds.).
Draft Proceedings of the 12th International Symposium on Trends in Functional Programming.
Technical report SIC-7-11. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2011. - Ricardo Peña (ed.).
Draft Proceedings of the 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis.
Technical report SIC-8-11. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2011. - Adrián Riesco and Juan Rodríguez-Hortalá.
Singular and Plural Functions for Functional Logic Programming: Detailed Proofs.
Technical report SIC-9-11. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2011. - Adrián Riesco.
Test-case Generation for Maude Specifications.
Technical report SIC-10-11. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2011. - Francisco López-Fraguas, Enrique Martin-Martin, and Juan Rodríguez-Hortalá.
Well-typed Narrowing with Extra Variables in Functional-Logic Programming (Extended Version). (Revised March 16, 2012)
Technical report SIC-11-11. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2011. - Mario Rodríguez-Artalejo and Carlos A. Romero-Díaz.
Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity.
Technical report SIC-1-10. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2010. - Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, and Rafael Caballero.
Declarative Debugging of Rewriting Logic Specifications.
Technical report SIC-2-10. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2010. - Francisco J. López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá.
Generic Functional Logic Programs.
Technical report SIC-3-10. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2010. - Rafael Caballero, Mario Rodríguez-Artalejo and Carlos A. Romero-Díaz.
A Transformation-based Implementation for CLP with Qualification and Proximity (Preliminary Version).
Technical report SIC-4-10. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2010. - Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez.
Integrating XPath with the Functional-Logic Language Toy.
Technical report SIC-5-10. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2010. - Francisco J. López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá.
Liberal Typing for Functional Logic Programs (Extended version).
Technical report SIC-6-10. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2010. - Mihai Codescu, Till Mossakowski, Adrián Riesco, and Christian Maeder.
Integrating Maude into Hets.
Technical report SIC-7-10. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2010. - Rafael Caballero, Mario Rodríguez-Artalejo and Carlos A. Romero-Díaz.
A Generic Scheme for Qualified Constraint Functional Logic Programming.
Technical report SIC-1-09. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2009. - Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, and Jaime Sánchez-Hernández.
A Fully Abstract Semantics for Constructor Systems (Extended version).
Technical report SIC-2-09. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2009. - Javier Álvez and Francisco Javier López-Fraguas.
A Complete Axiomatization of Strict Equality over Infinite Trees (Extended version)..
Technical report SIC-3-09. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2009. - Francisco Javier López-Fraguas, Stephan Merz, and Juan Rodríguez-Hortalá.
A Formalization of the Semantics of Functional-Logic Programming in Isabelle (Extended version).
Technical report SIC-4-09. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2009. - Manuel Montenegro, Ricardo Peña, and Clara Segura.
A Simple Region Inference Algorithm for a First-Order Functional Language (Extended version).
Technical report SIC-5-09. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2009. - Adrián Riesco, Alberto Verdejo, and Narciso Martí-Oliet.
Declarative Debugging of Missing Answers in Rewriting Logic.
Technical report SIC-6-09. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2009. - Adrián Riesco, Alberto Verdejo, Rafael Caballero, and Narciso Martí-Oliet.
A Declarative Debugger for Maude Specifications - User Guide.
Technical report SIC-7-09. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2009. - Mario Rodríguez-Artalejo and Carlos A. Romero-Díaz.
A Generic Scheme for Qualified Logic Programming.
Technical report SIC-1-08. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2008. - Rafael Caballero, Mario Rodríguez Artalejo, and
Rafael del Vado Vírseda.
Algorithmic Debugging of Missing Answers in Constraint Functional-Logic Programming.
Technical report SIC-2-08. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2008. - Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, and Jaime Sánchez-Hernández.
Rewriting and Call-time choice: the HO case (Extended version).
Technical report SIC-3-08. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2008. - Susana Nieva, Jaime Sánchez-Hernández, and Fernando Sáenz-Pérez.
Formalizing a Constraint Deductive Database Language based on Hereditary Harrop Formulas with Negation (Extended version).
Technical report SIC-4-08. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2008. - Manuel Montenegro, Ricardo Peña, and Clara Segura.
A Type System for Safe Memory Management and its Proof of Correctness.
Technical report SIC-5-08. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2008. - Adrián Riesco, Alberto Verdejo, Rafael Caballero, and Narciso Martí-Oliet.
Declarative Debugging of Maude Modules.
Technical report SIC-6-08. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2008. - Manuel Montenegro, Ricardo Peña, and Clara Segura.
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation.
Technical report SIC-7-08. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2008. - Manuel Montenegro, Ricardo Peña, and Clara Segura.
An Inference Algorithm for Guaranteeing Safe Destruction.
Technical report SIC-8-08. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2008. - Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, and Jaime Sánchez-Hernández.
A Flexible Framework for Programming with Non-deterministic Functions (Extended version).
Technical report SIC-9-08. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2008. - Juan Rodríguez-Hortalá.
A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems (Extended version).
Technical report SIC-10-08. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2008. - Adrián Riesco and Alberto Verdejo.
Parameterized skeletons in Maude.
Technical report SIC-1-07. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2007. - Fernando Rosa-Velardo.
Petri nets for the verification of ubiquitous systems with transient secure association.
Technical report SIC-2-07. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2007. - Adrián Riesco and Alberto Verdejo.
The EIGRP protocol in Maude.
Technical report SIC-3-07. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2007. - Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco and Alberto Verdejo.
Declarative Debugging of Maude Functional Modules.
Technical report SIC-4-07. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2007.