Settings Help
CTAN
Comprehensive TeX Archive Network
Home Upload Browse

Direc­tory tex-archive/web/spiderweb/src/dijkstra

The spider file for Dijkstra's language of guarded commands isn't really
very good.  One problem is that it's hard to come up with ASCII representations
of the operators Dijkstra uses.  Suggestions will be appreciated.

Files

Name Size Date Notes
README 219 1989-04-07 02:00:00
binary.web 8682 1987-12-31 01:00:00
d.spider 4288 1993-04-04 02:00:00
make 109 1988-11-07 01:00:00
sp.web 695 1988-11-07 01:00:00
Guest Book Sitemap Contact 2014-04-17 12:10 CEST