Sciweavers

4835 search results - page 34 / 967
» Refactoring Functional Programs
Sort
View
CTCS
1991
Springer
15 years 1 months ago
Stone Duality for Stable Functions
Thomas Ehrhard, Pasquale Malacaria
PPDP
2007
Springer
15 years 3 months ago
Interactive, scalable, declarative program analysis: from prototype to implementation
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
William C. Benton, Charles N. Fischer
64
Voted
ICSE
2010
IEEE-ACM
15 years 2 months ago
LSdiff: a program differencing tool to identify systematic structural differences
Program differencing tools such as GNU diff identify individual differences but do not determine how those differences are related to each other. For example, an extract super...
Alex Loh, Miryung Kim