5415 search results - page 415 / 1083 » The Implementation of Functional Programming Languages |
162
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
172
click to vote
SIGMOD
1997
ACM
15 years 11 months ago
1997
ACM
Visual Language (VL) system development is getting increasingly sophisticated in part due to the arduous nature of user interface (UI) code development. This typically involves id...
183
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
162
Voted
PPDP
2005
Springer
16 years 9 days ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
176
click to vote
ERLANG
2004
ACM
16 years 8 days ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...