Searching for "Specifying Behavior in C ." – sorted by Relevance.
-
Specifying behavior in C++
- Specifying Behavior in C++ Xiangtian Dai and Gregory Hager John Peterson Department of Computer
- Cited by 3 (0 self) – Add To MetaCart
-
An Overview of Larch/C++: Behavioral Specifications for C++ Modules
- of the behavioral interface specification language Larch/C++. The features of Larch/C++ used to specify the behavior
- Cited by 24 (8 self) – Add To MetaCart
-
Addressing unbounded parallelism in verification of software components
- of calls which can be performed on R in parallel. It depends on the behavior of C (specified by Prot
- Cited by 3 (0 self) – Add To MetaCart
-
Modeling Unbounded Parallelism Using Behavior Protocols
- number of calls which can be performed on R in parallel. It depends on the behavior of C (specified
- Cited by 2 (2 self) – Add To MetaCart
-
An Agent-Oriented View of Artificial Intelligence Teaching Using a Modern C++ Programming
- ++. It is intended to formally specify the behavior of C++ program modules. Larch/C++ specifies how to use C
- Add To MetaCart
-
LSL traits for using Z with Larch
- -style BISL that is tailored to C++. It is used to specify behaviors for C++ modules. Such specifications
- Add To MetaCart
-
Formal Semantics and Soundness of an Algorithm for Translating Model-based Specifications to Constraint Programs
- calculus assertions to specify the behavior of C++ [Str91] functions, a translation algorithm for SPECS-C
- Cited by 1 (1 self) – Add To MetaCart
-
Abstract interface behavior of object-oriented languages with monitors
- the behavior of C under certain assumptions ΞE about the environment, where ΞE acts as an abstract
- Cited by 3 (3 self) – Add To MetaCart
-
Symbolic Scheduling Techniques
- -flow dependencies have to be satisfied to ensure a correct execution of the specified behavior. if ( C ) A; else B
- Cited by 1 (0 self) – Add To MetaCart

