1189 search results - page 85 / 238 » The Quotient of an Abstract Interpretation |
104
click to vote
IFL
2004
Springer
15 years 6 months ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
117
click to vote
ENTCS
2002
15 years 14 days ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
101
click to vote
AUSAI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Temporal expressions—references to points in time or periods of time—are widespread in text, and their proper interpretation is essential for any natural language pro...
109
Voted
IFSA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Generally, there are two main streams of theories for studying uncertainties. One is probability theory and the other is fuzzy set theory. One of the basic ideas of fuzzy...
106
click to vote
PCI
2005
Springer
15 years 6 months ago
2005
Springer
HIV Drug Resistance testing has been established as a routine test in several cases. Estimation of genotypic resistance is a laborious task consisting of experimental procedure and...