1724 search results - page 271 / 345 » Abstract Interpreters for Free |
173
click to vote
FASE
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
158
click to vote
FMCO
2007
Springer
16 years 8 days ago
2007
Springer
This paper describes the architecture of costa, an abstract interpretation based cost and termination analyzer for Java bytecode. The system receives as input a bytecode program, (...
158
click to vote
IDA
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Finite mixture models can be used in estimating complex, unknown probability distributions and also in clustering data. The parameters of the models form a complex repres...
191
click to vote
ISNN
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Inspired on psycholinguistics and neuroscience, a symbolicconnectionist hybrid system called θ-Pred (Thematic Predictor for natural language) is proposed, designed to re...
166
click to vote
LOPSTR
2007
Springer
16 years 7 days ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...