10575 search results - page 561 / 2115 » T2Script Programming Language |
183
click to vote
ENTCS
2007
15 years 7 months ago
2007
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previou...
214
Voted
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
Object-oriented programming techniques have been used with great success for some time. But the techniques of object-oriented programming have been largely confined to the single a...
182
click to vote
CSC
2007
15 years 9 months ago
2007
A visualization framework can be seen as a solution to a specialized data flow problem. Spiegel1 is a visualization framework which uses the Unix pipeline model to execute program...
181
Voted
IPL
2007
15 years 7 months ago
2007
We present a characterization of first-order functional programs which are quasiterminating w.r.t. the symbolic execution mechanism of needed narrowing, i.e., computations in the...
158
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in intera...