Browsing by Author "Mylonakis Pascual, Nicolás"Més informacióMés informació

Now showing items 21-22 of 22

    • Una Notación algorítmica con genericidad y herencia junto con su relación con C++ y Java 

      Mylonakis Pascual, Nicolás (2003-06)
      Research report
      Open Access
      In this report, we present a new algorithmic notation which extends the notation which this department has used to teach the first courses of programming. The main novelty of this new notation, is the formal definition ...

    • Proof assistance for refnement in type theory 

      Mylonakis Pascual, Nicolás (2003-03-02)
      Research report
      Open Access
      In this paper, we represent in type theory a proof system for refinement of algebraic specifications. . The representation is not adequate but full because the use of proof obligations to represent ...