Extensions to setl to support problem specification and transformation of imperative programs

Authors:
Robert B. Dewar;Henry Merriman Lewis
Affiliations:
-;-
Venue:
Extensions to setl to support problem specification and transformation of imperative programs
Year:
1988

Citing 0
Cited 1

A top down unification of minimum cost spanning tree algorithms

SIGCOMM '89 Symposium proceedings on Communications architectures & protocols

Quantified Score

Hi-index	0.00

Visualization

Abstract