1932 search results - page 237 / 387 » A Functional Quantum Programming Language |
116
click to vote
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This paper presents an approac...
146
click to vote
PADO
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We present a high-level approach to array bound check optimization that is neither hampered by recursive functions, nor disabled by the presence of partially redundant ch...
148
click to vote
ECOOP
1999
Springer
15 years 9 months ago
1999
Springer
THOR is a persistent object store that provides a powerful programming model. THOR ensures that persistent objects are accessed only by calling their methods and it supports atomic...
130
click to vote
PLDI
1996
ACM
15 years 8 months ago
1996
ACM
Many important classes of bugs result from invalid assumptions about the results of functions and the values of parameters and global variables. Using traditional methods, these b...
141
click to vote
SIGPLAN
2008
15 years 4 months ago
2008
Many organizations specify information release policies to describe the terms under which sensitive information may be released to other organizations. This paper presents a new a...