Portal de Periódicos da CAPES

Programming in OBJ and Maude

1993; Springer Science+Business Media; Linguagem: Inglês

10.1007/3-540-56883-2_12

1611-3349

Tim Winkler,

Formal Methods in Verification

This is a introduction to the gentle art of programming in OBJ and Maude. The features of OBJ that are highlighted are its logic— ordersorted equational logic— connections of this logic with unsorted first-order equational logic, newer features of the language, and parameterized programming. The language Maude— which contains OBJ as its functional sublanguage and extends OBJ to include object-oriented programming and concurrent systems programming— is briefly introduced with a focus on its logic and some simple examples.