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.

Á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 ]
Á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 ]
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 ]
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 ]
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
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 ]
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 ]
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 ]
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.