12452 search results - page 329 / 2491 » An exploration of program as language |
175
click to vote
ANTSW
2008
Springer
15 years 8 months ago
2008
Springer
We propose to integrate ACO in a Constraint Programming (CP) language. Basically, we use the CP language to describe the problem to solve by means of constraints and we use the CP ...
178
click to vote
LICS
2005
IEEE
16 years 11 days ago
2005
IEEE
A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and preorder. We further develop this,...
186
click to vote
LICS
2005
IEEE
16 years 11 days ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
179
click to vote
CC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We present techniques that enable source-level debugging for multiple languages at the cost of only modest programming effort. The key idea is to avoid letting debugging ...
209
click to vote
TOOLS
1998
IEEE
15 years 11 months ago
1998
IEEE
There are a number of programmable macro systems such as Lisp's. While they can handle complex program transformation, they still have difficulty in handling some kinds of tr...