4959 search results - page 7 / 992 » Imperative Functional Programming |
ML
2007
ACM
14 years 9 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...
ICFP
2003
ACM
15 years 10 months ago
2003
ACM
ENTCS
2007
14 years 10 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...
POPL
1991
ACM
15 years 1 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,...
PLDI
1993
ACM
15 years 2 months ago
1993
ACM