6960 search results - page 888 / 1392 » Continuity Analysis of Programs |
160
click to vote
TPHOL
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
165
click to vote
CEFP
2007
Springer
16 years 21 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....
163
click to vote
ICSM
2006
IEEE
16 years 16 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...
153
click to vote
CONEXT
2006
ACM
16 years 14 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...
171
click to vote
ETRA
2006
ACM
16 years 14 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...