8132 search results - page 219 / 1627 » Dependability, Abstraction, and Programming |
179
click to vote
POPL
1992
ACM
15 years 10 months ago
1992
ACM
Jade is a language designed to support coarse-grain parallelism on both shared and distributed addressspace machines. Jade is data-oriented: a Jade programmer simply augments a se...
169
Voted
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Traditional dynamic program slicing techniques are code-centric, meaning dependences are introduced between executed statement instances, which gives rise to various problems such...
157
click to vote
LOPSTR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Termination of binary CLP programs has recently become an important question in the termination analysis community. The reason for this is due to that a number of approac...
155
click to vote
ECOOP
1987
Springer
15 years 10 months ago
1987
Springer
``Object-Oriented Programming'' and ``Data Abstraction'' have become very common terms. Unfortunately, few people agree on what they mean. I will offer informa...
148
click to vote
ACG
2006
Springer
16 years 18 days ago
2006
Springer
Abstract. This paper presents a Phantom Go program. It is based on a MonteCarlo approach. The program plays Phantom Go at an intermediate level.