444 search results - page 49 / 89 » Termination by Abstraction |
TPHOL
2003
IEEE
14 years 2 months ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
FIDJI
2003
Springer
14 years 2 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
FASE
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
HYBRID
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. The algorithmic design of least restrictive controllers for hybrid systems that satisfy reachability specifications has received much attention recently. Despite the imp...
ECWEB
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. There are many definitions for Mobile Electronic Commerce (MCommerce). We define M-Commerce as any type of transaction of an economic value having at least at one end a m...