Skip to main content

9 Result(s)

within Hugo Pacheco Remove this filter

and

  1. No Access

    Article

    The essence of bidirectional programming

    Bidirectional transformations (BXs), programs with a forward transformation and a backward transformation that maintain consistency between input and output, are routinely written in ways that do not let progr...

    Sebastian Fischer, ZhenJiang Hu, Hugo Pacheco in Science China Information Sciences (2015)

  2. No Access

    Chapter and Conference Paper

    A Clear Picture of Lens Laws

    A lens is an optical device which refracts light. Properly adjusted, it can be used to project sharp images of objects onto a screen—a principle underlying photography as well as human vision. Striving for cla...

    Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco in Mathematics of Program Construction (2015)

  3. No Access

    Chapter and Conference Paper

    Validity Checking of Putback Transformations in Bidirectional Programming

    A bidirectional transformation consists of pairs of transformations —a forward transformation get produces a target view from a source, while a putback transformation put puts back modifications on the view to th...

    Zhenjiang Hu, Hugo Pacheco, Sebastian Fischer in FM 2014: Formal Methods (2014)

  4. No Access

    Chapter and Conference Paper

    Bidirectional Transformation of Model-Driven Spreadsheets

    Spreadsheets play an important role in software organizations. Indeed, in large software organizations, spreadsheets are not only used to define sheets containing data and formulas, but also to collect informa...

    Jácome Cunha, João P. Fernandes… in Theory and Practice of Model Transformatio… (2012)

  5. No Access

    Chapter and Conference Paper

    Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas

    Lenses 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 va...

    Hugo Pacheco, Alcino Cunha in Theory and Practice of Model Transformations (2012)

  6. No Access

    Chapter and Conference Paper

    Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants

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

    Nuno Macedo, Hugo Pacheco, Alcino Cunha in Relational and Algebraic Methods in Comput… (2012)

  7. Chapter and Conference Paper

    Classifying Execution Times in Parallel Computing Systems: A Classical Hypothesis Testing Approach

    In this paper two classifiers have been derived in order to determine if identical computer tasks have been executed at different processors. The classifiers have been developed analytically following a classi...

    Hugo Pacheco, Jonathan Pino, Julio Santana… in Progress in Pattern Recognition, Image Ana… (2011)

    Download PDF (328 KB)

  8. No Access

    Chapter and Conference Paper

    Generic Point-free Lenses

    Lenses are one the most popular approaches to define bidirectional transformations between data models. A bidirectional transformation with view-update, denoted a lens, encompasses the definition of a forward tra...

    Hugo Pacheco, Alcino Cunha in Mathematics of Program Construction (2010)

  9. No Access

    Chapter and Conference Paper

    Coupled Schema Transformation and Data Conversion for XML and SQL

    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 fo...

    Pablo Berdaguer, Alcino Cunha, Hugo Pacheco… in Practical Aspects of Declarative Languages (2007)