Ara es mostren els items 1-11 de 11

    • A Co-semidecision procedure for behavioral equivalence 

      Palasí Lallana, Vicent Ramon (1996-01)
      Report de recerca
      Accés obert
      We shall demonstrate that proving the behavioral equivalence of two algebraic specifications is equivalent to proving a set of theorems in a given initial algebra. Thus, it is possible to prove automatically this behavioral ...
    • Automatic deduction of the behavioral equivalence between two algebraic specifications 

      Palasí Lallana, Vicent Ramon (1995-01-01)
      Report de recerca
      Accés obert
      We shall demonstrate that proving the behavioral equivalence of two algebraic specifications is equivalent to proving a set of theorems in a given initial algebra. Thus, it is possible to prove automatically this behavioral ...
    • Automatic verification of programs: algorithm ALICE 

      Palasí Lallana, Vicent Ramon (1996-06)
      Report de recerca
      Accés obert
      This paper aims to introduce a method for verification of programs, which is fully automatic. This method consists in an algorithm called ALICE which, given a program and an algebraic specification, answers if the ...
    • Equivalence between executable OOZE and algebraic specification 

      Palasí Lallana, Vicent Ramon (1994-10)
      Report de recerca
      Accés obert
      In this paper two algorithms are presented: one which turns an executable OOZE specification into an algebraic specification and another which does the reverse operation. In this way, we shall be able to prove in a ...
    • Especificació formal de la programació orientada a objectes: un survey 

      Palasí Lallana, Vicent Ramon (1995-05)
      Report de recerca
      Accés obert
      En aquest survey, s'examinen els diversos métodes de formalització de la programació orientada a objectes i se'n fa una comparació i una discussió de tots ells.
    • Models semàntics de dades: un estudi comparatiu 

      Palasí Lallana, Vicent Ramon (1994-04)
      Report de recerca
      Accés obert
      Els models semàntics de dades sorgeixen com una forma d'enriquir els esquemes tradicionals de bases de dades amb informació semàntica, per tal de reduir la diferència que existeix entre model i realitat. En aquest article, ...
    • Reducció de l'equivalència inicial visible a teoremes inductius 

      Palasí Lallana, Vicent Ramon (1996-06)
      Report de recerca
      Accés obert
      We prove that checking of the initial visible equivalence between two visible algebraic specification can be reduced to the proof of several inductive theorems on a given initial algebra.
    • Reduction of behavioral equivalence to inductive theorems 

      Palasí Lallana, Vicent Ramon (1996-01)
      Report de recerca
      Accés obert
      We shall demonstrate that proving the behavioral equivalence of two algebraic specifications can be reduced to proving a set of inductive theorems. So we can prove automatically this behavioral equivalence by applying ...
    • Semàntica algebraica del llenguatge AL: l'algorisme alfa 

      Palasí Lallana, Vicent Ramon (1996-06)
      Report de recerca
      Accés obert
      We present the AL language. We provide an informal description and give its syntax and semantics in algebraic notation.
    • Semàntica externa: una variant interessant de la semàntica de comportament 

      Palasí Lallana, Vicent Ramon (1996-06)
      Report de recerca
      Accés obert
      Starting from behavioural semantics, a new semantics called "external semantics" is proposed. The aim of this new semantics is to solve the problem of software correctness with respect to an algebraic specification.
    • Visible semantics: an algebraic semantics for automatic verification of algorithms 

      Palasí Lallana, Vicent Ramon (1996-04)
      Report de recerca
      Accés obert
      A new semantics for algebraic specifications, called visible semantics, is defined. Its most notable property is that it is specially suitable for dealing with the problem of program correctness. Some properties of this ...