1675 search results - page 139 / 335 » Some thoughts on teaching programming and programming langua... |
156
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
In this chapter, we explore the emerging research domain of modeldriven software refactoring. Program refactoring is a proven technique that aims at improving the quality of sourc...
115
click to vote
HASKELL
2005
ACM
15 years 10 months ago
2005
ACM
A type-indexed function is a function that is defined for each member of some family of types. Haskell’s type class mechanism provides collections of open type-indexed function...
153
click to vote
ISORC
2002
IEEE
15 years 9 months ago
2002
IEEE
Object-oriented, concurrent, and event-based programming models provide a natural framework in which to express the behavior of distributed and embedded software systems. However,...
152
click to vote
POPL
2012
ACM
14 years 6 days ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
160
click to vote
ECOOP
1999
Springer
15 years 9 months ago
1999
Springer
We discuss aspects of inlining of virtual method invocations. First, we introduce a new method test to guard inlinings of such invocations, with a di erent set of tradeo s from the...