FOSSACS
2007
Springer
14 years 6 months ago
2007
Springer
FOSSACS
2007
Springer
14 years 6 months ago
2007
Springer
Tree automata with one memory have been introduced in
FOSSACS
2007
Springer
14 years 6 months ago
2007
Springer
FOSSACS
2007
Springer
14 years 6 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
FOSSACS
2007
Springer
14 years 6 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
FOSSACS
2007
Springer
14 years 6 months ago
2007
Springer
Abstract. Some decision problems related to balanced context-free languages are important for their application to the static analysis of programs generating XML strings. One such ...
FOSSACS
2007
Springer
14 years 6 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
FOSSACS
2007
Springer
14 years 6 months ago
2007
Springer
A web service is modeled here as a finite state machine. A composition problem for web services is to decide if a given web service can be constructed from a given set of web serv...
FOSSACS
2007
Springer
14 years 6 months ago
2007
Springer
The last few years have seen the development of the rewriting calculus (also called rho-calculus or ρ-calculus) that uniformly integrates first-order term rewriting and λ-calcul...