Skip to main content

2 Result(s)

within Jesús M. Almendros-Jiménez Remove this filter English Remove this filter Logics and Meanings of Programs Remove this filter Software Engineering Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Solving Constraints on Sets of Spatial Objects

    In this paper, we present a constraint solver for constraints on sets of spatial objects. With this aim, we define a constraint system for handling spatial data types (points, lines, polygons and regions) and con...

    Jesús M. Almendros-Jiménez, Antonio Corral in Practical Aspects of Declarative Languages (2005)

  2. No Access

    Chapter and Conference Paper

    A Declarative Embedding of XQuery in a Functional-Logic Language

    This paper addresses the problem of integrating a fragment of XQuery, a language for querying XML documents, into the functional-logic language ...

    Jesús M. Almendros-Jiménez, Rafael Caballero… in Logic-Based Program Synthesis and Transfor… (2012)