4211 search results - page 218 / 843 » Types as Abstract Interpretations |
135
click to vote
SEMWEB
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Much data is published on the Web in XML format satisfying schemas, and to make the Semantic Web a reality, such data needs to be interpreted with respect to ontologies. ...
105
click to vote
CD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper reports on the experiences we gained while trying to build an interpreter for a new programming language aimed at developing strong mobile software. The interp...
105
click to vote
ERSHOV
2003
Springer
15 years 9 months ago
2003
Springer
Despite practical successes with the Futamura projections, it has been an open question whether target programs produced by specializing interpreters can always be as efficient as ...
123
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— Fundamental performance limitations on congestion control is discussed in relation to the information that is available in the controller. Three control architectures t...
137
click to vote
ESOP
1999
Springer
15 years 8 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...