Program development using abstract interpretation (and the ciao system preprocessor)

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 the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system librarles), to genérate and simplify run-time tests, and to perform high-level program transformations such as múltiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, non-failure, and bounds on resource consumption (time or space cost). CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements the described functionality, will be used to illustrate the fundamental ideas.

Program analysis, debugging and optimization using the ciao system preprocessor

We present a tutorial overview of Ciaopp, the Ciao system preprocessor. Ciao is a public-domain, next-generation logic programming system, which subsumes ISO-Prolog and is specifically designed to a) be highly extensible via librarles and b) support modular program analysis, debugging, and optimization. The latter tasks are performed in an integrated fashion by Ciaopp. Ciaopp uses modular, incremental abstract interpretation to infer properties of program predicates and literals, including types, variable instantiation properties (including modes), non-failure, determinacy, bounds on computational cost, bounds on sizes of terms in the program, etc. Using such analysis information, Ciaopp can find errors at compile-time in programs and/or perform partial verification. Ciaopp checks how programs cali system librarles and also any assertions present in the program or in other modules used by the program. These assertions are also used to genérate documentation automatically. Ciaopp also uses analysis information to perform program transformations and optimizations such as múltiple abstract specialization, parallelization (including granularity control), and optimization of run-time tests for properties which cannot be checked completely at compile-time. We illustrate "hands-on" the use of Ciaopp in all these tasks. By design, Ciaopp is a generic tool, which can be easily tailored to perform these and other tasks for different LP and CLP dialects.

A generic preprocessor for program validation and debugging

We present a generic preprocessor for combined static/dynamic validation and debugging of constraint logic programs. Passing programs through the preprocessor prior to execution allows detecting many bugs automatically. This is achieved by performing a repertoire of tests which range from simple syntactic checks to much more advanced checks based on static analysis of the program. Together with the program, the user may provide a series of assertions which trigger further automatic checking of the program. Such assertions are written using the assertion language presented in Chapter 2, which allows expressing a wide variety of properties. These properties extend beyond the predefined set which may be understandable by the available static analyzers and include properties defined by means of user programs. In addition to user-provided assertions, in each particular CLP system assertions may be available for predefined system predicates. Checking of both user-provided assertions and assertions for system predicates is attempted first at compile-time by comparing them with the results of static analysis. This may allow statically proving that the assertions hold (Le., they are validated) or that they are violated (and thus bugs detected). User-provided assertions (or parts of assertions) which cannot be statically proved ñor disproved are optionally translated into run-time tests. The implementation of the preprocessor is generic in that it can be easily customized to different CLP systems and dialects and in that it is designed to allow the integration of additional analyses in a simple way. We also report on two tools which are instances of the generic preprocessor: CiaoPP (for the Ciao Prolog system) and CHIPRE (for the CHIP CLP(FL>) system). The currently existing analyses include types, modes, non-failure, determinacy, and computational cost, and can treat modules separately, performing incremental analysis.

A tutorial on program development and optimization using the Ciao preprocessor

We present in a tutorial fashion CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system libraries), to generate and simplify run-time tests, and to perform high-level program transformations such as multiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, non-failure, and bounds on resource consumption (time or space cost).

The ciao preprocessor

Abstract is not available.

The practice of memory in hypertext wor(l)ds

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

The practice of memory in hypertext wor(l)ds

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Critical cyber pedagogy: Doing multiliteracies in the Singapore classrooms

The Ministry of Education in Singapore has embarked on the ambitious project of introducing IT in schools. The IT Masterplan, budgeted at a cost of $2 billion, aims to wire up all schools by the year 2002. While the well-funded IT Masterplan is seeing the project in its final phase of implementation, this paper argues for a "critical cyber pedagogy" along with the acquisition of the functional and operational skills of technology. Drawing on theories of critical multiliteracies (Burbules & Callister, 2000; Luke, 2000b; New London Group, 1996), this paper explores and suggests how an instructional design of two classroom activities can be utilized as new forms of cyber and technoliteracies. Through the critical evaluation of websites and hypertext construction, students will be equipped with a new literacy that extends reading and writing by incorporating new blended forms of hybrid textualities. This technology-assisted pedagogy can achieve the desired outcome of self-directed learning, teamwork, critical thinking and problem solving strategies necessary for a knowledge-based society.

Complex question answering on semi-structured repositories: a user centric process enhanced with context

A Teia Mundial (Web) foi prevista como uma rede de documentos de hipertexto interligados de forma a criar uma espaço de informação onde humanos e máquinas poderiam comunicar. No entanto, a informação contida na Web tradicional foi/é armazenada de forma não estruturada o que leva a que apenas os humanos a possam consumir convenientemente. Consequentemente, a procura de informações na Web sintáctica é uma tarefa principalmente executada pelos humanos e nesse sentido nem sempre é fácil de concretizar. Neste contexto, tornou-se essencial a evolução para uma Web mais estruturada e mais significativa onde é dado significado bem definido à informação de forma a permitir a cooperação entre humanos e máquinas. Esta Web é usualmente referida como Web Semântica. Além disso, a Web Semântica é totalmente alcançável apenas se os dados de diferentes fontes forem ligados criando assim um repositório de Dados Abertos Ligados (LOD). Com o aparecimento de uma nova Web de Dados (Abertos) Ligados (i.e. a Web Semântica), novas oportunidades e desafios surgiram. Pergunta Resposta (QA) sobre informação semântica é actualmente uma área de investigação activa que tenta tirar vantagens do uso das tecnologias ligadas à Web Semântica para melhorar a tarefa de responder a questões. O principal objectivo do projecto World Search passa por explorar a Web Semântica para criar mecanismos que suportem os utilizadores de domínios de aplicação específicos a responder a questões complexas com base em dados oriundos de diferentes repositórios. No entanto, a avaliação feita ao estado da arte permite concluir que as aplicações existentes não suportam os utilizadores na resposta a questões complexas. Nesse sentido, o trabalho desenvolvido neste documento foca-se em estudar/desenvolver metodologias/processos que permitam ajudar os utilizadores a encontrar respostas exactas/corretas para questões complexas que não podem ser respondidas fazendo uso dos sistemas tradicionais. Tal inclui: (i) Ultrapassar a dificuldade dos utilizadores visionarem o esquema subjacente aos repositórios de conhecimento; (ii) Fazer a ponte entre a linguagem natural expressa pelos utilizadores e a linguagem (formal) entendível pelos repositórios; (iii) Processar e retornar informações relevantes que respondem apropriadamente às questões dos utilizadores. Para esse efeito, são identificadas um conjunto de funcionalidades que são consideradas necessárias para suportar o utilizador na resposta a questões complexas. É também fornecida uma descrição formal dessas funcionalidades. A proposta é materializada num protótipo que implementa as funcionalidades previamente descritas. As experiências realizadas com o protótipo desenvolvido demonstram que os utilizadores efectivamente beneficiam das funcionalidades apresentadas: ▪ Pois estas permitem que os utilizadores naveguem eficientemente sobre os repositórios de informação; ▪ O fosso entre as conceptualizações dos diferentes intervenientes é minimizado; ▪ Os utilizadores conseguem responder a questões complexas que não conseguiam responder com os sistemas tradicionais. Em suma, este documento apresenta uma proposta que comprovadamente permite, de forma orientada pelo utilizador, responder a questões complexas em repositórios semiestruturados.

Wireless triple play system

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e Computadores

Virtual separation of concerns : toward preprocessors 2.0 /von Christian Kästner

Software product line, variability, virtual separation, ifdef, preprocessor, cpp, annotative approaches, annotations

Banc electrònic d'objectes i recursos d'aprenentatge dels estudis de comunicació audiovisual

OdACAV és un banc electrònic d’objectes d’aprenentatge (OdA) que te com a finalitat principal servir als docents de les assignatures troncals dels Estudis de Comunicació Audiovisual (CAV) de la UB (obert també a altres universitats catalanes) implicats o que es vulguin implicar en la innovació docent i pretén facilitar i potenciar la documentació per a la investigació i la recerca a l’entorn del paper innovador dels OdA digitals; així com la patrimonialització dels mateixos. Què és i que no és un OdA de CAV? És tot allò que serveix en un procés d'ensinistrament, d'aprenentatge, de formació - que en els cas que ens ocupa, es tradueix en una col·lecció d'imatges fixes, en un hipertext, en una hipermèdia, un vídeo, etc.-, i la missió dels quals és suscitar l’interès i l'aprofitament en el transvasament dels continguts de les assignatures dels estudis actuals (de la Llicenciatura) i futurs (del Grau) de Comunicació Audiovisual. El projecte sorgeix com a necessitat orgànica de la mateixa naturalesa de l'ensenyament de Comunicació Audiovisual, on en el pla dels continguts els exemples, els referents, els models no són encara prou desenvolupats i costa molt disposar d'OdAs suficientment competents. Les fonts documentals del cinema, de la televisió i dels mitjans en general són la base sobre la que s’han bastit els OdA de la base de dades del web http://www.lmi.ub.es/repositori/ amb l’esperança que resultin adequats a la innovació en els Estudis de Comunicació Audiovisual. És, doncs, un repositori de condició cooperativa, dinàmic i flexible; amb esperit blog/wiki, els objectius del qual són: la creació d'un sistema de dipositació dels OdA; l'establiment d'un sistema de recuperació dels mateixos; la implantació de fluxos d'entrada i sortida; la consolidació d'un observatori d'investigació i de recerca sobre la innovació dels OdA en els entorns i els sistemes educatius actuals; l’articulació de possibles accions patrimonials al voltant de la creació i preservació d’aquests.

L'obra d'Antoni Viladomat a la Capella dels Dolors de Mataró

Amb aquest treball de final de carrera vull divulgar en format hipertextual el conjunt dels Dolors de Santa Maria de Mataró, que és segurament el conjunt de pintures més complet i més ben conservat del Barroc català. Totes són obra d'Antoni Viladomat i Manalt, el pintor barceloní més destacat de la seva època.

Bioinformática: interfaz web para mostrar las relaciones de expresión entre grupos de genes

El projecte que es presenta en aquesta memòria està composat per un preproces i una aplicació web. L’objectiu del treball realizat és mostrar les relacions d’expresió entre grups de gens. A més de dissenyar l’aplicació web en : http://revolutionresearch.uab.es que permetrà l’estudi dels resultats obtinguts.

Mercado Electrónico dos Serviços Turísticos e Viagens estudo de caso da presença de Cabo Verde e São Tomé e Príncipe como destino nos grandes operadores do mercado global

A economia digital suportada na Internet é hoje um poderoso instrumento para a realização de negócios e o turismo considerado a indústria do futuro pode adaptar este espaço como domínio de realização de venda/troca/ compra de produtos turísticos. O trabalho que ora se apresenta, tem como tema (Mercado Electrónico dos Serviços Turísticos e Viagens estudo de caso da presença de Cabo Verde e São Tomé e Príncipe como destino nos grandes operadores do mercado global). O trabalho está constituído por três capítulos, conclusão e recomendações. No primeiro capítulo, apresentamos as tendências actuais no comércio electrónico. No segundo capítulo, verificamos formas de funcionamento de grandes Agências de Viagens on-line, como a http://www.edreams.es, www.promovacances.com e http://www.exit.pt. A análise foi feita com base em alguns itens da tabela de James L. Horton, como: caracterização da agência, o público-alvo, o objectivo da página web, o conteúdo, o desenho e apresentação, a interactividade e o feedback. No terceiro e último capítulo, que constitui o estudo de caso do nosso trabalho verificamos as ofertas dos produtos e serviços turísticos de Cabo Verde e São Tomé e Príncipe, nas agências de viagens on-line de prestigio, www.edreams.es, www.promovacances.com e www.exit.pt, grandes operadores turísticos disponíveis na Internet. Primeiramente apresentamos as potencialidades turísticas de Cabo Verde e São Tomé e Príncipe, e confronta-las com a forma como aparecem nestas agências de viagens. Verificaremos, a forma de apresentação, os preços, os produtos e serviços oferecidos, a atractividade das ofertas, produtos especializados. A realização deste trabalho foi feito com base na pesquisa documental, análise do conteúdo como estatística paramétrica e conversas com profissionais da área do turismo. O trabalho foi desenvolvido nos meses de Março ao Julho de 2007.