1932 search results - page 135 / 387 » A Functional Quantum Programming Language |
229
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
153
click to vote
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordinatio...
138
click to vote
SCAM
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper shows that CPP, the preprocessor of the C language, can be seen as a programming language in which directives are statements, parametrized macros are functions, files a...
118
click to vote
FPCA
1993
15 years 8 months ago
1993
Multisets (also called bags) are an interesting data structure for parallelly implemented functional programming languages, since they do not force an unneeded restriction of the ...
137
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
This article demonstrates how a powerful and expressive ion from concurrency theory--monads of resumptions--plays a dual r^ole as a programming tool for concurrent applications. Th...