1932 search results - page 230 / 387 » A Functional Quantum Programming Language |
191
click to vote
CC
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Scientists are increasingly using dynamic programming languages like Matlab for prototyping and implementation. Effectively compiling Matlab raises many challenges due t...
164
click to vote
ERSHOV
2009
Springer
16 years 29 days ago
2009
Springer
One of the applications of supercompilation is proving properties
of programs.We focus in this paper on a speci c task: proving term
equivalence for a higher-order lazy functiona...
145
click to vote
IFIP
1998
Springer
15 years 10 months ago
1998
Springer
Case studies made of multimedia document production highlight the need for a means of classifying and describing the transformations of media elements which make up this process. ...
179
click to vote
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
Collaboration, either inter or intra-organization is a critical business function that demands skills and knowledge spanning a wide range of domains including social, business and ...
167
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g., dataflow computation and attribute grammars, using comona...