1932 search results - page 268 / 387 » A Functional Quantum Programming Language |
123
click to vote
DAGSTUHL
2008
15 years 6 months ago
2008
Abstract. Building interval software interoperability can be a good solution when re-using high-quality legacy code or when accessing functionalities unavailable natively in one of...
TOOLS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. Behavioral reflection is crucial to support for example functional upgrades, on-the-fly debugging, or monitoring critical applications. However the use of reflective f...
152
click to vote
DAGSTUHL
1996
15 years 5 months ago
1996
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalua...
142
click to vote
ICALP
2001
Springer
15 years 9 months ago
2001
Springer
We consider the problem of enumerating all minimal integer solutions of a monotone system of linear inequalities. We first show that for any monotone system of r linear inequaliti...
166
click to vote
AADEBUG
2005
Springer
15 years 6 months ago
2005
Springer
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...