Sciweavers

66 search results - page 11 / 14
» Documenting Programs Using a Library of Tree Structured Plan...
Sort
View
PODS
2008
ACM
158views Database» more  PODS 2008»
14 years 8 months ago
Local Hoare reasoning about DOM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
Philippa Gardner, Gareth Smith, Mark J. Wheelhouse...
XSYM
2009
Springer
139views Database» more  XSYM 2009»
14 years 3 months ago
A Data Parallel Algorithm for XML DOM Parsing
Abstract. The extensible markup language XML has become the de facto standard for information representation and interchange on the Internet. XML parsing is a core operation perfor...
Bhavik Shah, Praveen Rao, Bongki Moon, Mohan Rajag...
SIGCSE
2006
ACM
132views Education» more  SIGCSE 2006»
14 years 2 months ago
An interactive tutorial system for Java
interactive teaching materials, primarily because of its integration with the web through the applet mechanism. The 1997 and 1998 ITiCSE conferences convened working groups to deve...
Eric Roberts
CORR
1999
Springer
120views Education» more  CORR 1999»
13 years 8 months ago
A Machine-Independent Debugger--Revisited
Most debuggers are notoriously machine-dependent, but some recent research prototypes achieve varying degrees of machine-independence with novel designs. Cdb, a simple source-leve...
David R. Hanson
BMCBI
2008
111views more  BMCBI 2008»
13 years 8 months ago
A perl package and an alignment tool for phylogenetic networks
Background: Phylogenetic networks are a generalization of phylogenetic trees that allow for the representation of evolutionary events acting at the population level, like recombin...
Gabriel Cardona, Francesc Rosselló, Gabriel...