4716 search results - page 612 / 944 » Iterative-free program analysis |
136
click to vote
ICSM
2007
IEEE
16 years 23 days ago
2007
IEEE
An in-depth investigation of C preprocessor usage for portability and configuration management is presented. Three heavily-ported and widely used C++ libraries are examined. A cor...
187
click to vote
IBPRIA
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. This paper presents a new approach to the problem of simultaneous location and segmentation of object in images. The main emphasis is done on the information provided by ...
158
Voted
LICS
2006
IEEE
16 years 14 days ago
2006
IEEE
We show that typability for a natural form of polymorphic recursive typing for rank-2 intersection types is undecidable. Our proof involves characterizing typability as a context ...
169
click to vote
ICECCS
2005
IEEE
16 years 2 days ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
162
click to vote
IEEEICCI
2005
IEEE
16 years 1 days ago
2005
IEEE
The paper presents a case study that investigates programmer learning during incremental program development. Dialog based protocol and protocol analysis are used to explore the l...