572 search results - page 37 / 115 » Formal Properties of Metrical Structure |
FOSSACS
2005
Springer
15 years 3 months ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...
CORR
1999
Springer
14 years 9 months ago
1999
Springer
This paper introduces a logical system, called BV , which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challe...
113
click to vote
ISPDC
2010
IEEE
14 years 8 months ago
2010
IEEE
—This paper presents an operational semantics of the repetitive model of computation, which is the basis for the repetitive structure modeling (RSM) package defined in the stand...
CAV
2004
Springer
15 years 3 months ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
AGP
1997
IEEE
15 years 1 months ago
1997
IEEE
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...