-
[CMHM04]
-
Manuel Carro, Julio Mariño, Ángel Herranz, and Juan José
Moreno-Navarro.
Teaching how to derive correct concurrent programs from state-based
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 semi-automatic
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):73--75, 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é Moreno-Navarro, and Susana
Muñoz-Hernández.
Constructive intensional negation.
In Stuckey and Kameyama, editors, Functional and Logic
Programming Symposium, number 2998 in LNCS, pages 39--54, Nara, Japan, April
2004. Springer.
[ bib ]
-
[GMHV04]
-
S. Guadarrama, Susana Muñoz-Herná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 sub-intervals 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ñoz-Hernández and Juan José Moreno-Navarro.
Implementation results in classical constructive negation.
In Demoen and Lifschitz [DL04], pages 284--298.
[ bib ]
-
[DL04]
-
Bart Demoen and Vladimir Lifschitz, editors.
Logic Programming, 20th International Conference, ICLP 2004,
Saint-Maló, France, September 6-10, 2004, Proceedings, volume 3132 of
Lecture Notes in Computer Science (LNCS). Springer, 2004.
[ bib ]
-
[MHMMN04]
-
Susana Muñoz-Hernández, J. Mariño, and Juan José
Moreno-Navarro.
Constructive intensional negation.
In Proceedings of the 7th International Symposiun in Functional
and Logic Programming, FLOPS'04, number 2998 in LNCS, pages 39--54, Nara,
Japan, 2004.
[ bib ]
-
[CMAHM04]
-
Manuel Carro, Julio Mariño, Ángel Herranz, and Juan José
Moreno-Navarro.
Teaching how to derive correct concurrent programs (from state-based
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 85--106. Springer, 2004.
ISBN 3-540-23611-2.
[ bib ]
This file was generated by
bibtex2html 1.98.