| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 423770 | Electronic Notes in Theoretical Computer Science | 2006 | 6 Pages |
Abstract
The Web poses novel and interesting problems for both programming language design and verification—and their intersection. This paper provides a personal outline of one thread of work on this topic.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
