5863 search results - page 147 / 1173 » Calculating Functional Programs |
119
Voted
IWPC
2008
IEEE
15 years 9 months ago
2008
IEEE
To support understanding a specific GUI functionality in a program, we propose a visualization technique that presents the correspondence between the screens before and after the...
114
Voted
APLAS
2003
ACM
15 years 8 months ago
2003
ACM
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 ...
146
Voted
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard ...
137
Voted
PPSC
1997
15 years 4 months ago
1997
We illustrate how Fortran 90 supports object-oriented concepts by example of plasma particle computations on the IBM SP. Our experience shows that Fortran 90 and object-oriented m...
103
click to vote
IFL
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper is an extension of a previous work where two nondeterminism analyses were presented. One of them was efficient but not very powerful and the other one was more...