3311 search results - page 295 / 663 » Deductive Object Programming |
148
click to vote
WOLLIC
2009
Springer
15 years 9 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
129
click to vote
RBAC
2000
15 years 4 months ago
2000
: Enabling Technologies for Role Based Online Decision Engines Thomas Hildmann, Thomas Gebhardt 22-Feb-2000 The goal of our work at the Technical University of Berlin is to develop...
158
click to vote
ICCAD
2009
IEEE
15 years 21 days ago
2009
IEEE
Computational protein design can be formulated as an optimization problem, where the objective is to identify the sequence of amino acids that minimizes the energy of a given prot...
147
click to vote
SAC
2009
ACM
15 years 9 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 ...
242
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
Traditional class and object encodings are difficult to use in practical type-preserving compilers because of the complexity of the encodings. We propose a simple typed intermedia...