Browse Dept. of Computer Science by Subject "abstract data types"

  • Guti��rrez, Ra��l; Meseguer, Jos��; Rocha, Camilo (2011-12-22)
    Built-in equality and inequality predicates based on comparison of canonical forms in algebraic specifications are frequently used because they are handy and efficient. However, their use places algebraic ...

    application/pdf

    application/pdfPDF (496Kb)