10666 search results - page 361 / 2134 » Quantum programming languages |
146
Voted
PLDI
2010
ACM
16 years 15 days ago
2010
ACM
175
Voted
POPL
2010
ACM
16 years 9 days ago
2010
ACM
232
Voted
ERLANG
2009
ACM
16 years 3 days ago
2009
ACM
229
click to vote
PADL
2001
Springer
15 years 12 months ago
2001
Springer
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...
184
Voted
ESOP
1999
Springer
15 years 11 months ago
1999
Springer
Expressions in the programming language C have such an under-specified semantics that one might expect them to be non-deterministic. However, with the help of a mechanised formali...