Exploració per autor "Pérez Campo, Javier"

Ara es mostren els items 1-4 de 4

    • A one pass algorithm for type checking with overloading and polymorphism 

      Pérez Campo, Javier; Mylonakis Pascual, Nicolás (1992-05-24)
      Report de recerca
      Accés obert
      This paper presents an algorithm to do type checking with overloaded functions. It also handles type variables, which enables it to handle polymorphic functions and other interesting problems as incomplete programs. The ...

    • Interfaz gráfico para UPCLISP 

      Pérez Campo, Javier (1991-01)
      Report de recerca
      Accés obert

    • Representación de bolas n-dimensionales 

      Pérez Campo, Javier (1991-10-15)
      Report de recerca
      Accés obert
      This work presents a new method to represent N-Dimensional balls of points. The method translates the points situated on a N-Dimensional space to a space with less dimensions. The objective is to mantain the distances ...

    • Una Modelización de la incompletitud en los programas 

      Pérez Campo, Javier (1994-01)
      Report de recerca
      Accés obert
      This paper presents the concept of multiple type variable. This concept models the incompleteness in programs and simplifies its type checking. The expresiveness of this concept also helps in the handling of value constructors.