581 search results - page 37 / 117 » On the Verifiability of Programs Written in the Feature Lang... |
CP
2005
Springer
14 years 1 months ago
2005
Springer
Many combinatorial problems require of their solutions that they achieve a certain balance of given features. In the constraint programming literature, little has been written to s...
IPPS
1997
IEEE
13 years 12 months ago
1997
IEEE
We describe how we have parallelized Python, an interpreted object oriented scripting language, and used it to build an extensible message-passing molecular dynamics application f...
GPCE
2007
Springer
14 years 1 months ago
2007
Springer
Software written in one language often needs to construct sentences in another language, such as SQL queries, XML output, or shell command invocations. This is almost always done ...
DLS
2010
13 years 5 months ago
2010
Dynamic languages such as Python allow programs to be written more easily using high-level constructs such as comprehensions for queries and using generic code. Efficient executio...
ICFP
2007
ACM
14 years 7 months ago
2007
ACM
As a means of transmitting not only data but also code encapsulated within functions, higher-order channels provide an advanced form of task parallelism in parallel computations. ...