4036 search results - page 412 / 808 » Formal Methods |
186
click to vote
CAV
2005
Springer
16 years 10 days ago
2005
Springer
Recent work on weighted-pushdown systems shows how to generalize interprocedural-dataflow analysis to answer “stack-qualified queries”, which answer the question “what data...
198
click to vote
FMCO
2005
Springer
16 years 10 days ago
2005
Springer
Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems....
173
click to vote
FORMATS
2005
Springer
16 years 10 days ago
2005
Springer
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...
172
click to vote
IFL
2005
Springer
16 years 9 days ago
2005
Springer
With-loops are versatile array comprehensions used in the functional array language SaC to implement universally applicable array operations. We describe the fusion of with-loops a...
145
click to vote
IFL
2005
Springer
16 years 9 days ago
2005
Springer
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...