4 search results - page 1 / 1 » Recognizable Graph Languages for Checking Invariants |
ECEASST
2010
13 years 2 months ago
2010
LICS
2012
IEEE
11 years 7 months ago
2012
IEEE
Abstract—We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying ...
POPL
1997
ACM
13 years 9 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
SCP
1998
13 years 4 months ago
1998
The Gamma language is based on the chemical reaction metaphor which has a number of benefits with respect to parallelism and program derivation. But the original definition of G...