4257 search results - page 616 / 852 » The Logical Modularity of Programs |
182
click to vote
IFL
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
169
click to vote
PADL
2007
Springer
16 years 24 days ago
2007
Springer
Modern development environments integrate various static analyses into the build process. Analyses that analyze the whole project whenever the project changes are impractical in th...
177
click to vote
IFL
2005
Springer
16 years 5 days ago
2005
Springer
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
165
click to vote
OOPSLA
2005
Springer
16 years 4 days ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
175
click to vote
APLAS
2004
ACM
16 years 2 days ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...