1776 search results - page 224 / 356 » Using a Logic Programming Language with Persistence and Cont... |
128
click to vote
PLDI
2010
ACM
16 years 19 days ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
151
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is ...
171
click to vote
CLIMA
2006
15 years 4 months ago
2006
It is recognised that institutions are potentially powerful means for making agent interactions effective and efficient, but institutions will only really be useful when, as in oth...
119
click to vote
CP
2004
Springer
15 years 8 months ago
2004
Springer
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
167
click to vote
FDL
2004
IEEE
15 years 7 months ago
2004
IEEE
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...