5810 search results - page 466 / 1162 » An Approach to Programming Based on Concepts |
175
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
190
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
184
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
Althoughthereisalargebodyofresearchonthetimeoverheadofobject oriented programs, there is little work on memory overhead. This paper takes an empirical approach to the study of this...
151
click to vote
ECIR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this work we study the theoretical and empirical properties of various global inference algorithms for multi-document summarization. We start by defining a general fr...
151
click to vote
ADBIS
1995
Springer
15 years 10 months ago
1995
Springer
It is by now folklore that the bottom-up evaluation of a program after the “magic set” transformation is “as efficient as” top-down evaluation. There are a number of forma...