926 search results - page 37 / 186 » Prolog as the First Programming Language |
117
click to vote
PADL
2010
Springer
15 years 4 months ago
2010
Springer
Newer Prolog implementations commonly offer support for multi-threading, and have also begun to offer support for tabling. However, most implementations do not yet integrate tablin...
214
click to vote
POPL
2003
ACM
16 years 2 months ago
2003
ACM
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...
ACMSE
2005
ACM
15 years 8 months ago
2005
ACM
As component-oriented approaches become increasingly pervasive in the development of complex software systems, it becomes increasingly important to introduce computing science stu...
126
click to vote
GI
2009
Springer
15 years 7 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
126
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Quantum computer programming is emerging as a new subject domain from multidisciplinary research in quantum computing, computer science, mathematics (especially quantum logic, lamb...