4716 search results - page 556 / 944 » Iterative-free program analysis |
172
click to vote
CEFP
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In this paper we sketch some experiments with the construction of a simple compiler for a high level intermediate lazy functional language, with C++ as a target language....
166
click to vote
ICSM
2006
IEEE
16 years 25 days ago
2006
IEEE
An approach to automatically identify the stereotypes of all the methods in an entire system is presented. A taxonomy for object-oriented class method stereotypes is given that un...
166
click to vote
CONEXT
2006
ACM
16 years 23 days ago
2006
ACM
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...
178
click to vote
ETRA
2006
ACM
16 years 23 days ago
2006
ACM
This paper proposes to use eye movements to characterize the performance of individuals in reviewing source code of computer programs. We first present an integrated environment t...
175
click to vote
ESORICS
2005
Springer
16 years 9 days ago
2005
Springer
Security protocols are critical for protecting modern communication infrastructures and are therefore subject to thorough analysis. However practical implementations of these proto...