Sciweavers

6054 search results - page 957 / 1211
» Implementation of Andorra-based Languages
Sort
View
SIGSOFT
2009
ACM
16 years 5 months ago
Fitting the pieces together: a machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
Benjamin Delaware, William R. Cook, Don S. Batory
SIGSOFT
2009
ACM
16 years 5 months ago
Learning from examples to improve code completion systems
The suggestions made by current IDE's code completion features are based exclusively on static type system of the programming language. As a result, often proposals are made ...
Marcel Bruch, Martin Monperrus, Mira Mezini
SIGSOFT
2008
ACM
16 years 5 months ago
Deriving input syntactic structure from execution
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...
Zhiqiang Lin, Xiangyu Zhang
SIGSOFT
2005
ACM
16 years 5 months ago
Context- and path-sensitive memory leak detection
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...
Yichen Xie, Alexander Aiken
WWW
2008
ACM
16 years 5 months ago
Using context to enable semantic mediation in web service communities
The use of communities provides a scalable solution for gathering and managing functionally-equivalent Web services. In order to ensure single access to the community, a community...
Michael Mrissa, Philippe Thiran, Chirine Ghedira, ...