Sentence examples similar to first-class specification from inspiring English sources
In particular we: (i) specify the reduction semantics of KLAIM in Maude, (ii) extend the Maude-based specification by making messages first-class citizens, and (iii) describe a second extension that allows true distributed execution of Maude-based KLAIM specifications.
This paper describes a Java-based framework for the development of component-based software systems supporting the specification of the logic of component interactions as a first-class aspect.
"First-class," said Time magazine.
The facilities were first-class.
He is also a first-class noodge.
First-class fares are up 32.5%.
"Tournament must be first-class.
"Send a first-class mailer.
first-class Azure objects.
Unlike SMIL Timesheets, which allow for embedding temporal aspects in documents written in some timeless specification languages, the TAL language allows for specifying temporal semantics to be applied to compositions outside of them, and as first-class entities.
