433 search results - page 3 / 87 » A history of the history of programming languages |
SAC
2008
ACM
13 years 10 months ago
2008
ACM
Within aspect-oriented programming, the quality of aspect code depends on the readability and expressiveness of pointcut languages. Readability is increased by using specialized, ...
ESOP
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...
SIGSOFT
2005
ACM
14 years 11 months ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
TOOLS
1997
IEEE
14 years 3 months ago
1997
IEEE
: This paper presents pattern histories for deriving two different callback libraries. The pattern histories document the important design decisions behind each library. The two re...
UM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. This paper focuses on the utilization of the history of navigation within recommender systems. It aims at designing a collaborative recommender based on Markov models rel...