Now showing items 1-2 of 2

    • A formal library of set relations and its application to synchronous languages 

      Rocha, Camilo; Muñoz, César; Dowek, Gilles (Elsevier B.V., 2011)
      Set relations are particularly suitable for specifying the small-step operational semantics of synchronous languages. In this paper, a formal library of set relations for the definition, verification of properties, and ...
    • Synchronous set relations in rewriting logic 

      Muñoz, César; Rocha Niño, Hernán Camilo (Elsevier, 2014)
      This paper presents a mathematical foundation and a rewriting logic infrastructure for the execution and property verification of synchronous set relations. The mathematical foundation is given in the language of abstract ...