7 search results - page 2 / 2 » A Structure Editor for the Program Composing Assistant |
WWW
2002
ACM
14 years 6 months ago
2002
ACM
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...
TPHOL
2007
IEEE
14 years 1 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...