1687 search results - page 120 / 338 » Light Functional Interpretation |
140
click to vote
CSSE
2008
IEEE
16 years 26 days ago
2008
IEEE
Instruction-Set Simulators (ISS) are indispensable tools for studying new architectures. There are several alternatives to achieve instruction set simulation, such as interpretive...
160
click to vote
ICANN
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We develop a probabilistic interpretation of non-linear component extraction in neural networks that activate their hidden units according to a softmaxlike mechanism. On ...
149
click to vote
ESOP
2005
Springer
15 years 12 months ago
2005
Springer
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...
174
click to vote
ESOP
1999
Springer
15 years 10 months ago
1999
Springer
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...
188
click to vote
LFP
1990
15 years 7 months ago
1990
Quest is a programming language based on impredicative type quantifiers and subtyping within a three-level structure of kinds, types and type operators, and values. The semantics ...