1675 search results - page 139 / 335 » Some thoughts on teaching programming and programming langua... |
180
click to vote
ECOOP
2007
Springer
15 years 10 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...
137
click to vote
HASKELL
2005
ACM
15 years 12 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...
186
click to vote
ISORC
2002
IEEE
15 years 11 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,...
181
click to vote
POPL
2012
ACM
14 years 1 months 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...
196
click to vote
ECOOP
1999
Springer
15 years 10 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...