-
[Pab15]
-
Victor Pablos Ceruelo.
Extending the Expressiveness of Fuzzy Logic Languages.
PhD thesis, Facultad de Informática, Universidad
Politécnica de Madrid, July 2015.
Advisor: Muñoz-Hernández.
[ bib ]
-
[ESFG15]
-
Clara Benac Earle, Ana María Fernández Soriano, Lars-Åke
Fredlund, and Elena Gómez-Martínez.
Teaching software safety to master students.
In 41st Euromicro Conference on Software Engineering and
Advanced Applications, EUROMICRO-SEAA 2015, Madeira, Portugal, August
26-28, 2015 [DBL15], pages 306--308.
[ bib |
DOI |
http ]
-
[GLSF+15]
-
Elena Gómez-Martínez, Marino Linaje, Fernando
Sánchez-Figueroa, Andres Iglesias-Pérez, Juan Carlos Preciado,
Rafael Gónzalez-Cabero, and José Merseguer.
A semantic approach for designing assistive software recommender
systems.
Journal of Systems and Software, 104:166--178, 2015.
[ bib |
DOI ]
-
[NN15]
-
Jaime Nuche and Pablo Nogueira.
A syntactic approach to macro-grammars for context-free grammars.
Technical report, Babel research group (Universidad Politécnica de
Madrid), 2015.
[ bib |
http ]
-
[GÁH15]
-
Tomás García and Ángel Herranz.
Prototipo bouml para la traducción de uml a autómatas temporales.
Technical report, Babel research group (Universidad Politécnica de
Madrid), 2015.
[ bib |
.pdf ]
-
[FÁHM15]
-
Lars-Ake Fredlund, Ángel Herranz, and Julio Mariño.
Applying property-based testing in teaching safety-critical system
programming.
In 41st Euromicro Conference on Software Engineering and
Advanced Applications (SEAA), pages 309--316. IEEE, 2015.
Best paper award.
[ bib |
DOI ]
At the Universidad Politécnica de Madrid students attending
a course on concurrency are taught a high-level formalism
which permits concise specification of shared resources.
This formalism is used to express safety-critical access policies
for typical control problems such as robot plants.
Students are moreover provided with programming recipes
for implementing such shared resource specifications in
programming languages (typically Java). The teachers of the
course use various tools to ensure that the implementations
developed by students for a shared resource are of an acceptable quality.
Such tools include normal unit tests,
but also the systematic application of property-based
testing to judge the quality of the exercises. In this article
we provide an overview of the tools, techniques and methods used
in one particular exercise of the course: the implementation
of a control system for an automated warehouse.
-
[VTCM15]
-
Guillermo Vigueras, Salvador Tamarit, Manuel Carro, and Julio Mariño.
Towards a rule-based approach to generate high-performance scientific
code.
Poster and invited talk at HiPEAC 2015, Amsterdam, January 2015.
[ bib ]
-
[Esc15]
-
Santiago Escobar, editor.
Proceedings XIV Jornadas sobre Programación y Lenguajes,
PROLE 2014, Cadiz, Spain, September 16-19, 2014, volume 173 of
EPTCS, 2015.
[ bib |
DOI |
http ]
-
[AIST15b]
-
Julián Alarte, David Insa, Josep Silva, and Salvador Tamarit.
Temex: The web template extractor.
In Gangemi et al. [GLP15], pages 155--158.
[ bib |
DOI |
http ]
-
[GLP15]
-
Aldo Gangemi, Stefano Leonardi, and Alessandro Panconesi, editors.
Proceedings of the 24th International Conference on World Wide
Web Companion, WWW 2015, Florence, Italy, May 18-22, 2015 - Companion
Volume. ACM, 2015.
[ bib |
http ]
-
[CMMRT15]
-
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, and Salvador Tamarit.
A zoom-declarative debugger for sequential erlang programs.
Science of Computer Programming, 110:104 -- 118, 2015.
[ bib |
DOI |
http ]
Abstract We present a declarative debugger for sequential Erlang programs. The tool is started when a program produces some unexpected result, and proceeds asking questions to the user about the correctness of some subcomputations until an erroneous program function is found. Then, the user can refine the granularity by zooming in the function, checking the values bound to variables and the if/case/try-catch branches taken during the execution. We show by means of an extensive benchmark that the result is a usable, scalable tool that complements already existing debugging tools such as the Erlang tracer and Dialyzer. Since the technique is based on a formal calculus, we are able to prove the soundness and completeness of the approach.
Keywords: Erlang, Zoom debugging, Declarative debugging
-
[CMRT15]
-
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, and Salvador
Tamarit.
A declarative debugger for concurrent erlang programs.
In XV Jornadas sobre Programación y Lenguajes, PROLE
2015. Universidad de Cantabria, 2015.
[ bib ]
-
[TMVC15]
-
Salvador Tamarit, Julio Mariño, Guillermo Vigueras, and Manuel Carro.
A haskell implementation of a rule-based program transformation for c
programs.
In XV Jornadas sobre Programación y Lenguajes, PROLE
2015. Universidad de Cantabria, 2015.
[ bib ]
-
[AIST15a]
-
Julián Alarte, David Insa, Josep Silva, and Salvador Tamarit.
A collection of website benchmarks labelled for template detection
and content extraction.
In XV Jornadas sobre Programación y Lenguajes, PROLE
2015. Universidad de Cantabria, 2015.
[ bib ]
-
[LOST15]
-
Marisa Llorens, Javier Oliver, Josep Silva, and Salvador Tamarit.
Dynamic slicing of csp via tracking.
In 25th International Symposium on Logic-Based Program Synthesis
and Transformation, LOPSTR 2015. Università degli Studi di Siena, 2015.
[ bib ]
-
[DEF15]
-
Álvaro Fernández Díaz, Clara Benac Earle, and Lars-Åke
Fredlund.
Adding distribution and fault tolerance to jason.
Sci. Comput. Program., 98:205--232, 2015.
[ bib |
DOI |
http ]
-
[DBL15]
-
41st Euromicro Conference on Software Engineering and Advanced
Applications, EUROMICRO-SEAA 2015, Madeira, Portugal, August 26-28, 2015.
IEEE Computer Society, 2015.
[ bib |
http ]
-
[TVCM15]
-
Salvador Tamarit, Guillermo Vigueras, Manuel Carro, and Julio Mariño.
A Haskell implementation of a rule-based program transformation for
C programs.
In Enrico Ponteli and Son Cao Tran, editors, Practical Aspects
of Declarative Languages PADL 2015, volume 9131 of LNCS, pages
105--114. Springer, 2015.
[ bib ]
-
[ALM15]
-
Emilio Jesús Gallego Arias, James Lipton, and Julio Mariño.
Declarative compilation for constraint logic programming.
In Maurizio Proietti and Hirohisa Seki, editors, Logic
Programming Synthesis and Transformation LOPSTR 2014, volume 8981 of
LNCS, pages 299--316. Springer, 2015.
[ bib ]
-
[EF15]
-
Clara Benac Earle and Lars-Åke Fredlund.
Functional testing of java programs.
Accepted to be published in LNCS after presentation at the 2015
International Symposium on Trends in Functional Programming (16th), 2015.
[ bib ]
The paper describes an approach to testing Java code using a func-
tional programming language. Models for Java programs are ex-
pressed as Quviq Erlang QuickCheck properties, from which ran-
dom tests are generated and executed. To remove the need for writ-
ing boilerplate code to interface Java and Erlang, a new library,
JavaErlang, has been developed. The library provides a number of
interesting features, e.g., it supports automatic garbage collection
of Java objects communicated to Erlang, and permits Java classes
to be written entirely in Erlang. Moreover, as the library is built on
top of the Erlang distributed node concept, the Java program under
test runs in isolation from the Erlang testing code. The chief ad-
vantage of this testing approach is that a functional programming
language, with expressive data types and side-effect free libraries,
is very suited to formulating models for imperative programs. The
resulting testing methodology has been applied extensively to eval-
uate student Java exercises.
-
[FHM15]
-
Lars-Åke Fredlund, Ángel Herranz-Nieva, and Julio Mariño.
Applying property-based testing in teaching safety-critical system
programming.
Submitted to the 2015 EUROMICRO Conference on Software Engineering
and Advanced Applications, 2015.
[ bib ]
At the Universidad Politécnica de Madrid students attending
a course on concurrency are taught a high-level formalism
which permits concise specification of shared resources.
This formalism is used to express safety-critical access policies
for typical control problems such as e.g. robot plants, etc.
Students are moreover provided with programming recipes
for implementing such shared resource specifications in
programming languages (typically Java). The teachers of the
course use various tools to assure that the implementations
students develop for a shared resource are of an acceptable quality.
Such tools include normal unit tests,
but also the systematic application of property-based
testing to judge the quality of the exercises. In this article
we provide an overview of the tools, techniques and methods used
in one particular exercise of the course: the implementation
of a control system for an automated warehouse.
This file was generated by
bibtex2html 1.98.