16190 search results - page 312 / 3238 » Applicative programming with effects |
236
click to vote
SOFTWARE
2011
14 years 11 months ago
2011
Developing parallel applications is notoriously difficult, but is even more complex for desktop applications. The added difficulties are primarily because of their interactive nat...
105
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
Programs written in point-free form express computation purely in terms of functions. Such programs are especially amenable to local transformation. In this paper, we describe a pr...
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as...
156
click to vote
PADL
2001
Springer
15 years 8 months ago
2001
Springer
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...
128
click to vote
APSEC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Real-time embedded systems (RTESs) are becoming increasingly ubiquitous, controlling a wide variety of popular and safety-critical devices. Effective testing techniques c...