2786 search results - page 133 / 558 » A Practical Technique for Process Abstraction |
100
click to vote
CAV
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We present a new method for the generation of linear invariants which reduces the problem to a non-linear constraint solving problem. Our method, based on Farkas’ Lemma...
121
click to vote
ACSD
2009
IEEE
15 years 8 months ago
2009
IEEE
We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (...
110
click to vote
EACL
2006
ACL Anthology
15 years 3 months ago
2006
ACL Anthology
In this paper1 we introduce eXtensible MetaGrammar, a system that facilitates the development of tree based grammars. This system includes both (1) a formal language adapted to th...
113
click to vote
SCAM
2005
IEEE
15 years 7 months ago
2005
IEEE
We present a pointer analysis algorithm designed for source-to-source transformations. Existing techniques for pointer analysis apply a collection of inference rules to a dismantl...
TGC
2007
Springer
15 years 7 months ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...