The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical. We present in a tutorial fashion a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about th...

Ancient Chinese philosophy already developed a philosophy of humanitarianism or humanity in the general sense. The concept of "Ren" / "Jen" was indeed a main idea already in Confucianism. It was to my mind Mencius, who was the most explicit, if not even the first, philosopher of what I call concrete humanity. The article takes up Albert Schweitzer's discussion of MengZi's philosophical humanita...

Verification and Debugging of Constraint Logic Programs Manuel Hermenegildo, Germán Puebla, Francisco Bueno, and Pedro López-Garćıa {herme,german,bueno,pedro}@fi.upm.es Department of Computer Science Technical University of Madrid (UPM)

Interpretation-based Code Certification for Pervasive Systems: Preliminary Experiments Elvira Albert ^chool of Computer Science Complutense University of Madrid [email protected] Germán Puebla School of Computer Science Technical University of Madrid {german,herme}@f¡. upm.es Manuel HermenegildoDepartments of Computer Science and Electrical and Computer Engineering University of New México

This paper describes our approach to the collection of ‘natural’ (i.e., representative) data from spoken interactions in a social setting in the context of the development (through time) of expressive speech synthesis. Over the past ten years or so, we have collected several corpora of unprompted social conversations that illustrate the ‘contact’ element of speech that was lacking in many of th...

Given the role philosophical mentality can fulfill in bringing individuals the essential skills of wisdom and well thinking, the present paper, by applying Smith’s (2007) theoretical framework, strived to explore the extent philosophic-mindedness exists among the participants. Considering the fact that, a philosophic mind begets philosophical answers, the participants’ philosophical thi...

ion-Carrying Code ? Elvira Albert, Puri Arenas, Germán Puebla, and Manuel Hermenegildo 1 Complutense University of Madrid, {elvira,puri}@sip.ucm.es 2 Technical University of Madrid, {german,herme}@fi.upm.es 3 University of New Mexico, [email protected] Abstract. Abstraction-Carrying Code (ACC) has recently been proposed as a framework for mobile code safety in which the code supplier provides a pro...