Browsing by Subject "C+ (Llenguatge de programació)"
Now showing items 1-1 of 1
(CEUR Workshop Proceedings, 2010)
Open AccessC+ is an action language for specifying and reasoning about the e ects of actions and the persistence of facts over time. Based on it. we present CN+, an operational enhanced form of C+ designed for representing complex ...