4895 search results - page 219 / 979 » Functional Quantum Programming |
188
click to vote
IANDC
2006
15 years 6 months ago
2006
It is well-known that stable models (as dI-domains, qualitative domains and coherence are not fully abstract for the language PCF. This fact is related to the existence of stable ...
165
click to vote
IEEEARES
2007
IEEE
16 years 21 days ago
2007
IEEE
Adding security functions in existing Web application servers is now vital for the IS of companies and organizations. Writing crosscutting functions in complex software should tak...
157
click to vote
ACSC
2005
IEEE
16 years 11 hour ago
2005
IEEE
Parallel pattern-matching (PPM) provides true commutative implementation of functions defined by cases in functional languages, because no argument is given precedence over any o...
173
click to vote
ARCS
2005
Springer
15 years 12 months ago
2005
Springer
In Ubiquitous computing small embedded sensor and computing nodes are the main enabling technologies. System programming for such small embedded systems is a challenging task invol...
157
click to vote
ISPA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. HPJava is an environment for scientific and parallel programming using Java. It is based on an extended version of the Java language. One feature that HPJava adds to Jav...