1710 search results - page 193 / 342 » High-Level Programs and Program Conditions |
163
click to vote
SBMF
2009
Springer
16 years 18 days 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...
161
Voted
ESOP
2007
Springer
16 years 6 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...
151
click to vote
IPPS
2006
IEEE
16 years 2 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...
149
click to vote
SEFM
2005
IEEE
15 years 11 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...
163
click to vote
CP
2004
Springer
15 years 11 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 ...