605 search results - page 38 / 121 » Dynamic inference of abstract types |
APLAS
2005
ACM
13 years 10 months ago
2005
ACM
This paper describes a sound technique that combines the precision em proving with the loop-invariant inference of abstract interpretation. The loop-invariant computations are invo...
WSE
2002
IEEE
14 years 1 months ago
2002
IEEE
Every day, new information, products and services are being offered by providers on the World Wide Web. At the same time, the number of consumers and the diversity of their intere...
POPL
1997
ACM
14 years 1 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
ICFP
2002
ACM
14 years 8 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
ICPP
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Resource sharing on the Internet is becoming increasingly pervasive. Recently, there is growing interest in distributed systems such as peer-to-peer and grid, with effor...