4895 search results - page 120 / 979 » Functional Quantum Programming |
141
Voted
MICS
2008
15 years 7 months ago
2008
The intensional transformation is a technique that can be used in order to eliminate higher-order functions from a functional program by introducing appropriate context manipulatio...
180
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Existing value function approximation methods have been successfully used in many applications, but they often lack useful a priori error bounds. We propose a new approximate bili...
214
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
195
Voted
DFG
2004
Springer
16 years 24 days ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
168
Voted
PLDI
2010
ACM
16 years 4 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...