Sciweavers

11739 search results - page 265 / 2348
» Slideshow: functional presentations
Sort
View
ESA
2007
Springer
99views Algorithms» more  ESA 2007»
16 years 26 days ago
Linear-Time Ranking of Permutations
Abstract. A lexicographic ranking function for the set of all permutations of n ordered symbols translates permutations to their ranks in the lexicographic order of all permutation...
Martin Mares, Milan Straka
IFL
2007
Springer
146views Formal Methods» more  IFL 2007»
16 years 26 days ago
A Supercompiler for Core Haskell
Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs. These high-level features present many challenges...
Neil Mitchell, Colin Runciman
APLAS
2003
ACM
15 years 12 months ago
Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion
Given the inorder and preorder traversal of a binary tree whose labels are all distinct, one can reconstruct the tree. This article examines two existing algorithms for rebuilding ...
Shin-Cheng Mu, Richard S. Bird
ACMMPC
2000
Springer
249views Mathematics» more  ACMMPC 2000»
15 years 11 months ago
Algebraic Methods for Optimization Problems
Abstract. We argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an ext...
Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu
VLDB
1995
ACM
97views Database» more  VLDB 1995»
15 years 10 months ago
Similarity based Retrieval of Pictures Using Indices on Spatial Relationships
The paper presents (i) two similarity based methods for retrieval of pictures using indices on spatial relationships; (ii) efficient algorithms for the deduction and reduction of ...
A. Prasad Sistla, Clement T. Yu, Chengwen Liu, Kin...