
[CMHM04]

Manuel Carro, Julio Mariño, Ángel Herranz, and Juan José
MorenoNavarro.
Teaching how to derive correct concurrent programs from statebased
specifications.
Full paper, September 2004.
[ bib 
.ps.gz ]
The fun of teaching and learning concurrent programming is
sometimes darkened by the difficulty in getting concurrent
programs to work right. In line with other programming
subjects in our department, we advocate the use of formal
specifications to state clearly how a concurrent program
must behave, to reason about this behavior, and to be able
to produce code from specifications in a semiautomatic
fashion. We argue that a mild form of specification not
only makes it possible to get programs running easier, but
it also introduces students to a quite systematic way of
approaching programming: reading and understanding
specifications is seen as an unavoidable step in the
programming process, as they are really the only place where
the expected conduct of the system is completely described.
By using formal techniques in these cases, where it is
undoubtedly appropriate, we introduce formality without the
need to resort to justifications with artificial or overly
complicated examples.

[AHM04]

Ángel Herranz and Julio Mariño.
Por otra ruta, por favor.
Novática, 1(170):7375, August 2004.
Contribución a la columna "Programar es Crear".
[ bib ]

[HM04]

Ángel Herranz and Julio Mariño.
Por otra ruta, por favor (cupcam 2003, problema e, solución).
Novatica, 1(170):73, July 2004.
Sección “Programar es crear”.
[ bib 
.pdf ]

[LH04]

José A. Leiva and Ángel Herranz.
Un refactorizador simple (cupcam 2003, problema d, solución).
Novatica, 1(169):74, May 2004.
Sección “Programar es crear”.
[ bib 
.pdf ]

[MMMH04]

Julio Mariño, Juan José MorenoNavarro, and Susana
MuñozHernández.
Constructive intensional negation.
In Stuckey and Kameyama, editors, Functional and Logic
Programming Symposium, number 2998 in LNCS, pages 3954, Nara, Japan, April
2004. Springer.
[ bib ]

[GMHV04]

S. Guadarrama, Susana MuñozHernández, and C. Vaucheret.
Fuzzy prolog: a new approach using soft constraints propagation.
Fuzzy Sets and Systems (FSS), 144(1):127  150, 2004.
Possibilistic Logic and Related Issues.
[ bib 
DOI 
http ]
We present a definition of a Fuzzy Prolog Language that models valued Fuzzy Logic, and subsumes former approaches because it uses a truth value representation based on a union of subintervals on [0,1] and is defined using general operators that can model different logics. This extension to Prolog is implemented by interpreting fuzzy reasoning as a set of constraints that are propagated through the rules by means of aggregation operators. Declarative and procedural semantics for Fuzzy Logic programs are given and their equivalence is proven. In addition, we present the implementation of an interpreter for this conceived language using constraint logic programming over real numbers.
Keywords: Fuzzy Prolog, Modeling uncertainty, Fuzzy logic programming, Constraint programming application, Implementation of fuzzy prolog

[MHMN04]

Susana MuñozHernández and Juan José MorenoNavarro.
Implementation results in classical constructive negation.
In Demoen and Lifschitz [DL04], pages 284298.
[ bib ]

[DL04]

Bart Demoen and Vladimir Lifschitz, editors.
Logic Programming, 20th International Conference, ICLP 2004,
SaintMaló, France, September 610, 2004, Proceedings, volume 3132 of
Lecture Notes in Computer Science (LNCS). Springer, 2004.
[ bib ]

[MHMMN04]

Susana MuñozHernández, J. Mariño, and Juan José
MorenoNavarro.
Constructive intensional negation.
In Proceedings of the 7th International Symposiun in Functional
and Logic Programming, FLOPS'04, number 2998 in LNCS, pages 3954, Nara,
Japan, 2004.
[ bib ]

[CMAHM04]

Manuel Carro, Julio Mariño, Ángel Herranz, and Juan José
MorenoNavarro.
Teaching how to derive correct concurrent programs (from statebased
specifications and code patterns).
In C.N. Dean and R.T. Boute, editors, Teaching Formal Methods,
CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, volume 3294 of LNCS,
pages 85106. Springer, 2004.
ISBN 3540236112.
[ bib ]
This file was generated by
bibtex2html 1.98.