4355 search results - page 454 / 871 » From Interpretation to Compilation |
188
click to vote
RTA
2005
Springer
16 years 10 days ago
2005
Springer
In this paper, we consider the monadic second order logic (MSO) and two of its extensions, namely Counting MSO (CMSO) and Presburger MSO (PMSO), interpreted over unranked and unord...
178
click to vote
SAS
2005
Springer
16 years 10 days ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
144
click to vote
UML
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. State machines, represented by statecharts or statechart diagrams, are an important formalism for behavioural modelling. According to the research literature, the most po...
177
click to vote
VSTTE
2005
Springer
16 years 10 days ago
2005
Springer
What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs that are generated from source code. Not only can the WYSINW...
169
click to vote
DIS
2004
Springer
16 years 8 days ago
2004
Springer
We consider the problem of discovering the optimal pair of substring patterns with bounded distance α, from a given set S of strings. We study two kinds of pattern classes, one is...