1821 search results - page 58 / 365 » Security-Aware Program Transformations |
ICALP
2001
Springer
15 years 6 months ago
2001
Springer
Formal power series are an extension of formal languages. Recognizable formal power series can be captured by the so-called weighted finite automata, generalizing finite state ma...
95
Voted
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
The Unified Modeling Language UML is a rich language so that it seem not feasible to give a single semantics for the complete language in one ste In order to define the semantics,...
106
Voted
EPK
2004
15 years 3 months ago
2004
: Heterogeneous and proprietary interchange formats pose a major problem for business process management. This applies in particular to processes that have been modelled as Event-D...
106
Voted
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a multi-pass interprocedural analysis and transformation for the functional aggregate update problem. Our solution handles untyped programs, including unrestri...
74
Voted
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
We give an elementary semantics to an effect system, tracking read and write effects by using relations over a standard extensional semantics for the original language. The seman...