4959 search results - page 7 / 992 » Imperative Functional Programming |
113
Voted
ML
2007
ACM
15 years 3 months ago
2007
ACM
The problem of disjoint sets, also known as union-find, consists in maintaining a partition of a finite set within a data structure. This structure provides two operations: a fu...
128
Voted
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
141
Voted
ENTCS
2007
15 years 3 months ago
2007
Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineerin...
122
Voted
POPL
1991
ACM
15 years 7 months ago
1991
ACM
We present a new approach to the polymorphic typing of data accepting in-place modification in ML-like languages. This approach is based on restrictions over type generalization,...
141
Voted
PLDI
1993
ACM
15 years 7 months ago
1993
ACM