4281 search results - page 140 / 857 » How to Disembed a Program |
112
Voted
INFSOF
1998
15 years 2 months ago
1998
We show how to combine program slicing and constraint solving in order to obtain better slice accuracy. The method is used in the VALSOFT slicing system. One particular applicatio...
212
Voted
ESOP
2011
Springer
14 years 6 months ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...
113
Voted
LOPSTR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper aims at offering an insightful synthesis of different compositional semantics for logic program composition which have been developed in the literature. In p...
235
click to vote
Book
"This book serves as an introduction to the C++ language. It teaches how to
program in C++ and how to properly use its features. It does not attempt to teach
object-oriented...
122
Voted
HOTOS
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...