66 search results - page 8 / 14 » Documenting Programs Using a Library of Tree Structured Plan... |
HICSS
1998
IEEE
14 years 21 days ago
1998
IEEE
Because a hypermedia document is more complex than conventional text, it requires preparation with respect to two key aspects. First, the author begins to develop a "vision&q...
CACM
1998
13 years 8 months ago
1998
abstraction for modeling these problems is to view the Web as a collection of (usually small and heterogeneous) databases, and to view programs that extract and process Web data au...
SIGCSE
1997
ACM
14 years 18 days ago
1997
ACM
A typical Data Structures (CS 2) course covers a wide variety of topics: elementary algorithm analysis; data structures including dynamic structures, trees, tables, graphs, etc.; ...
JLP
2007
13 years 8 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
AC
2003
Springer
14 years 1 months ago
2003
Springer
Generic Haskell is an extension of Haskell that supports the construction of generic programs. These lecture notes discuss three advanced generic programming applications: generic ...