PLDI
1994
ACM
14 years 3 months ago
1994
ACM
PLDI
1994
ACM
14 years 3 months ago
1994
ACM
Programslices have potentialuses in manysoftware engineering applications. Traditional slicing algorithms, however, do not work correctly on programs that contain explicit jump st...
FP
1992
14 years 3 months ago
1992
In this paper we describe a series of program transformations that are currently being implemented in the Glasgow Haskell Compiler. They are semantics preserving program transform...
FP
1992
14 years 3 months ago
1992
FP
1992
14 years 3 months ago
1992
The interface with the outside world has always been one of the weakest points of functional languages. It is not easy to incorporate I/O without being allowed to do side-effects....
OOGRAPHICS
1994
14 years 3 months ago
1994
class of general differentiable curves and surfaces and in turn refine this design to various parametric representations of curves and surfaces. This design includes all of the sta...
PPCP
1993
14 years 3 months ago
1993
PPCP
1993
14 years 3 months ago
1993
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
PPCP
1993
14 years 3 months ago
1993
PPCP
1993
14 years 3 months ago
1993
Use of constraint-based techniques in interactive graphics applications poses a variety of unique challenges to system implementors. This paper begins by describing how interface ...