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)