1675 search results - page 167 / 335 » Some thoughts on teaching programming and programming langua... |
157
click to vote
PPDP
2010
Springer
15 years 3 months ago
2010
Springer
The presence of uncertainty in the real world makes robustness to be a desired property of solutions to constraint satisfaction problems. Roughly speaking, a solution is robust if...
136
click to vote
CP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which users have preferences. We consider the problem of...
118
click to vote
ISCOPE
1997
Springer
15 years 9 months ago
1997
Springer
The original specification for the Message Passing Interface (MPI) included language bindings for C and Fortran 77. C++ programs that used MPI were thus required to use the C bin...
144
Voted
CORR
2011
Springer
15 years 1 days ago
2011
Springer
—A system of linear dependent types for the lambda calculus with full higher-order recursion, called d PCF, is introduced and proved sound and relatively complete. Completeness h...
123
Voted
DAGSTUHL
2006
15 years 6 months ago
2006
This paper applies a mix of aspect-oriented programming (AOP) and logic meta-programming (LMP) to tackle some concerns of/in legacy environments. We present four different problem...