Encontrados 11 documentos, a visualizar página 1 de 2
Transformation of structure-shy programs with application to XPath queries and ...
Cunha, Alcino; Visser, J.Various programming languages allow the construction of structure-shy programs. Such programs are defined generically for many different datatypes and only specify specific behavior for a few relevant subtypes. Typical examples are XML query languages that allow selection of subdocuments without exhaustively specifying intermediate element tags. Other examples are languages and libraries for polytypic or strate...
Transformation of structure-shy programs : applied to XPath queries and strateg...
Cunha, Alcino; Visser, J.Various programming languages allow the construction of structure-shy programs. Such programs are defined generically for many different datatypes and only specify specific behavior for a few relevant subtypes. Typical examples are XML query languages that allow selection of subdocuments without exhaustively specifying intermediate element tags. Other examples are languages and libraries for polytypic or strate...
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...
Comparative quantification of umbilical cord blood CD34+ and CD34+ bright cells...
Pranke,P.; Hendrikx,J.; Alespeiti,G.; Nardi,N.; Rubinstein,P.; Visser,J.The total number of CD34+ cells is the most relevant clinical parameter when selecting human umbilical cord blood (HUCB) for transplantation. The objective of the present study was to compare the two most commonly used CD34+ cell quantification methods (ISHAGE protocol and ProCount™ - BD) and analyze the CD34+ bright cells whose 7-amino actinomycin D (7AAD) analysis suggests are apoptotic or dead cells. T...
Type-safe two-level data transformation
Cunha, Alcino; Oliveira, José Nuno Fonseca; 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. Examples of two-level data transformations include XML schema evolution coupled with document migration, and data mappings used for interoperability and persistence. We provide a formal treatment of two-level data transformations that i...
Matching objects without language extension
Visser, J.Pattern matching is a powerful programming concept which has proven its merits in declarative programming. The absence of pattern-matching in object-oriented programming languages is felt especially when tackling source code processing problems. But existing proposals for pattern matching in such languages rely on language extension, which makes their adoption overly intrusive. We propose an approach to support...
Strong types for relational databases : functional pearl
Visser, J.; Silva, Alexandra M.Haskell's type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the level of types. This emergent capability has been exploited for instance to model arbitrary-length tuples (heterogeneous lists), extensible records, functions with variable length argument lists, and (homogenous) lists of statically fixe...
Strongly typed rewriting for coupled software transformation
Cunha, Alcino; Visser, J.Coupled transformations occur in software evolution when multiple artifacts must be modified in such a way that they remain consistent with each other. An important example involves the coupled transformation of a data type, its instances, and the programs that consume or produce it. Previously, we have provided a formal treatment of transformation of the first two: data types and instances. The treatment invol...
Immunophenotype of hematopoietic stem cells from placental/umbilical cord blood...
Pranke,P.; Hendrikx,J.; Debnath,G.; Alespeiti,G.; Rubinstein,P.; Nardi,N.; Visser,J.Identification and enumeration of human hematopoietic stem cells remain problematic, since in vitro and in vivo stem cell assays have different outcomes. We determined if the altered expression of adhesion molecules during stem cell expansion could be a reason for the discrepancy. CD34+CD38- and CD34+CD38+ cells from umbilical cord blood were analyzed before and after culture with thrombopoietin (TPO), FLT-3 li...
Strategic term rewriting and its application to a VDM-SL to SQL conversion
Alves, Tiago Miguel Laureano; Silva, P. F.; Visser, J.; Oliveira, José Nuno FonsecaWe constructed a tool, called VooDooM, which converts datatypes in Vdm-sl into Sql relational data models. The conversion involves transformation of algebraic types to maps and products, and pointer introduction. The conversion is specified as a theory of refinement by calculation. The implementation technology is strategic term rewriting in Haskell, as supported by the Strafunski bundle. Due to these choices o...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||