2500 search results - page 124 / 500 » Specifying Behavior in C |
158
click to vote
CASCON
1992
15 years 4 months ago
1992
Metaprogramming is the process of specifying generic software source templates from which classes of software components, or parts thereof, can be automatically instantiated to pr...
103
click to vote
ACSD
2004
IEEE
15 years 7 months ago
2004
IEEE
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...
154
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
We study the relation between Nominal Logic and the Theory of Contexts, two approaches for specifying and reasoning about datatypes with binders. We consider a natural-deduction s...
118
click to vote
HPDC
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper describes work in progress to develop a standard for interoperability among high-performance scientific components. This research stems from growing recognition that th...
126
click to vote
AMAST
2004
Springer
15 years 7 months ago
2004
Springer
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...