2776 search results - page 322 / 556 » System-Level Abstraction Semantics |
190
click to vote
TLCA
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
196
click to vote
ESOP
2004
Springer
16 years 10 hour ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
136
click to vote
IBERAMIA
2004
Springer
16 years 4 hour ago
2004
Springer
Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-li...
165
click to vote
ICCS
2004
Springer
16 years 1 hour ago
2004
Springer
Abstract. The unpredictable run-time configurations of dynamic, datadriven application systems require flexible simulation components that can adapt to changes in the number of i...
152
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...