Sciweavers

FM
1991
Springer
164views Formal Methods» more  FM 1991»
13 years 8 months ago
Formalizing Design Spaces: Implicit Invocation Mechanisms
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
David Garlan, David Notkin
ISSAC
2004
Springer
91views Mathematics» more  ISSAC 2004»
13 years 10 months ago
Hyperexponential solutions of finite-rank ideals in orthogonal ore rings
An orthogonal Ore ring is an abstraction of common properties of linear partial differential, shift and q-shift operators. Using orthogonal Ore rings, we present an algorithm for...
George Labahn, Ziming Li