1210 search results - page 32 / 242 » Formal Techniques for Java Programs |
SAC
2006
ACM
15 years 8 months ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
127
click to vote
SAS
2001
Springer
15 years 6 months ago
2001
Springer
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
109
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
105
click to vote
ICFP
1999
ACM
15 years 6 months ago
1999
ACM
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
121
Voted
ICSE
1999
IEEE-ACM
15 years 6 months ago
1999
IEEE-ACM
In this paper we show how the FLAVERS data flow analysis technique, originally formulated for programs with the rendezvous model of concurrency, can be applied to concurrent Java...