Home » Authors » Andrei Arusoaie, Dorel Lucanu, Vlad Rusu

Andrei Arusoaie, Dorel Lucanu, Vlad Rusu

Public reference bibliography and cataloged PDF materials authored or published by Andrei Arusoaie, Dorel Lucanu, Vlad Rusu.

Found 1 document(s) Page 1 of 1

Towards a K Semantics for OCL

Year: 2011 • Source: hal.science • Listed PDF

We give a formal definition to a significant subset of the Object Constraint Language (OCL) in the K framework. The chosen subset includes the usual arithmetical, Boolean (including quantifiers), and string expressions; ...