1710 search results - page 193 / 342 » High-Level Programs and Program Conditions |
110
click to vote
SBMF
2009
Springer
15 years 8 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...
102
Voted
ESOP
2007
Springer
15 years 7 months 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...
106
Voted
IPPS
2006
IEEE
15 years 7 months 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...
104
click to vote
SEFM
2005
IEEE
15 years 7 months 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...
112
click to vote
CP
2004
Springer
15 years 7 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 ...