933 search results - page 29 / 187 » Multi-paradigm Declarative Languages |
173
click to vote
ICFP
2007
ACM
16 years 5 months ago
2007
ACM
Designing debugging tools for lazy functional programming languages is a complex task which is often solved by expensive tracing of lazy computations. We present a new approach in...
134
click to vote
EDOC
2007
IEEE
16 years 8 days ago
2007
IEEE
—Traditional Workflow Management Systems (WFMSs) are not flexible enough to support loosely-structured processes. Furthermore, flexibility in contemporary WFMSs usually comes ...
129
Voted
PPDP
2005
Springer
15 years 11 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
204
click to vote
DOOD
1997
Springer
15 years 10 months ago
1997
Springer
With the increasing importance of the World Wide Web as an information source, there is a growing interest for integration of Web and database technology. Several Web query languag...
148
click to vote
CODES
1994
IEEE
15 years 10 months ago
1994
IEEE
We present an experimental framework for mapping declarative programs, written in a language known as Ruby, into various combinations of hardware and software. Strategies for para...