1710 search results - page 193 / 342 » High-Level Programs and Program Conditions |
169
click to vote
SBMF
2009
Springer
16 years 1 months ago
2009
Springer
Motivated by issues in designing practical total functional programming languages, we are interested in structured recursive equations that uniquely describe a function not because...
164
click to vote
ESOP
2007
Springer
16 years 19 days ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
162
click to vote
IPPS
2006
IEEE
16 years 14 days ago
2006
IEEE
role assignment is a programming abstraction that supports the assignment of user-defined roles to sensor nodes such that certain conditions are met. Many common network configu...
156
click to vote
SEFM
2005
IEEE
16 years 1 days ago
2005
IEEE
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...
171
click to vote
CP
2004
Springer
15 years 12 months ago
2004
Springer
The paper introduces value precedence on integer and set sequences. A useful application of the notion is in breaking symmetries of indistinguishable values, an important class of ...