933 search results - page 29 / 187 » Multi-paradigm Declarative Languages |
147
Voted
ICFP
2007
ACM
16 years 3 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...
107
Voted
EDOC
2007
IEEE
15 years 10 months ago
2007
IEEE
—Traditional Workflow Management Systems (WFMSs) are not flexible enough to support loosely-structured processes. Furthermore, flexibility in contemporary WFMSs usually comes ...
PPDP
2005
Springer
15 years 9 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...
170
Voted
DOOD
1997
Springer
15 years 8 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...
127
Voted
CODES
1994
IEEE
15 years 8 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...