Encontrados 8 documentos, a visualizar página 1 de 1
Aneurisma da Veia Jugular Externa Trombosado: Causa Rara de Tumefação Cervical
Martins, Inês Santiago; Serviço de Imagiologia. Hospital Distrital de Santarém. Santarém. Portugal.Os aneurismas venosos raramente são responsáveis por tumefações cervicais, e em relação às veias do pescoço, os aneurismas da veia jugular externa são extremamente raros, sendo poucos os casos descritos na literatura. Embora na maioria assintomáticos, podem causar dor, complicar com trombose ou mesmo rotura. Os exames de imagem têm papel no diagnóstico e no planeamento cirúrgico desta patologia. Enfatizando-se ...
Bidirectional data transformation by calculation
Pacheco, Hugo José PereiraMAPi Doctoral Programme in Computer Science ; The advent of bidirectional programming, in recent years, has led to the development of a vast number of approaches from various computer science disciplines. These are often based on domain-specific languages in which a program can be read both as a forward and a backward transformation that satisfy some desirable consistency properties. Despite the high demand an...
Delta lenses over inductive types
Pacheco, Hugo; Cunha, Alcino; Hu, ZhenjiangExisting bidirectional languages are either state-based or operation-based, depending on whether they represent updates as mere states or as sequences of edit operations.In-between both worlds are delta-based frameworks, where updates are represented using alignment relationships between states.In this paper, we formalize delta lenses over inductive types using dependent type theory and develop a point-free del...
Relations as executable specifications : taming partiality and non-determinism ...
Macedo, Nuno; Pacheco, Hugo; Cunha, AlcinoComunicação publicada em "Lecture Notes in Computer Science", vol. 7560 (2012), pag. 146-161 ; The calculus of relations has been widely used in program specification and reasoning. It is very tempting to use such specifications as running prototypes of the desired program, but, even considering finite domains, the inherent partiality and non-determinism of relations makes this impractical and highly ineffici...
Multifocal : a strategic bidirectional transformation language for XML schemas
Pacheco, Hugo; Cunha, AlcinoLenses are one of the most popular approaches to define bidirectional transformations between data models. However, writing a lens transformation typically implies describing the concrete steps that convert values in a source schema to values in a target schema. In contrast, many XML-based languages allow writing structure-shy programs that manipulate only specific parts of XML documents without having to speci...
Algebraic specialization of generic functions for recursive types
Cunha, Alcino; Pacheco, HugoDefining functions over large, possibly recursive, data structures usually involves a lot of boilerplate. This code simply traverses non-interesting parts of the data, and rapidly becomes a maintainability problem. Many generic programming libraries have been proposed to address this issue. Most of them allow the user to specify the behavior just for the interesting bits of the structure, and provide traversal ...
Calculating with lenses : optimising bidirectional transformations
Pacheco, Hugo; Cunha, AlcinoThis paper presents an equational calculus to reason about bidirectional transformations specified in the point-free style. In particular, it focuses on the so-called lenses as a bidirectional idiom, and shows that many standard laws characterising point-free combinators and recursion patterns are also valid in that setting. A key result is that uniqueness also holds for bidirectional folds and unfolds, thus un...
Coupled schema transformation and data conversion for XML and SQL
Berdaguer, Pablo; Cunha, Alcino; Pacheco, Hugo; Visser, J.A two-level data transformation consists of a type-level transformation of a data format coupled with value-level transformations of data instances corresponding to that format. We have implemented a system for performing two-level transformations on XML schemas and their corresponding documents, and on SQL schemas and the databases that they describe. The core of the system consists of a combinator library for...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||