5415 search results - page 681 / 1083 » The Implementation of Functional Programming Languages |
199
click to vote
CORR
2008
Springer
2008
Springer
Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell
15 years 7 months ago
This paper is an exploration in a functional programming framework of isomorphisms between elementary data types (natural numbers, sets, finite functions, permutations binary deci...
191
Voted
ICIP
1994
IEEE
16 years 8 months ago
1994
IEEE
We describe the implementation of a graphical programming tool in the object-oriented language, Smalltalk80, that allows a user to construct a radiographic measurement model. The ...
180
click to vote
SAS
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. While the tightest proven worst-case complexity for Andersen's points-to analysis is nearly cubic, the analysis seems to scale better on real-world codes. We examine...
166
click to vote
IWMM
2009
Springer
16 years 1 months ago
2009
Springer
Magpie is a source-to-source transformation for C programs that enables precise garbage collection, where precise means that integers are not confused with pointers, and the liven...
187
click to vote
IFL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...