Sciweavers

5 search results - page 1 / 1
» Towards ANSI C Program Slicing using XML
Sort
View
ENTCS
2002
78views more  ENTCS 2002»
13 years 10 months ago
Towards ANSI C Program Slicing using XML
In this paper, we consider ANSI C program slicing using XML (Extensible Markup Language). Our goal is to build a flexible, useful and uniform data interchange format for CASE tool...
Katsuhiko Gondow, Hayato Kawashima
HICSS
2003
IEEE
132views Biometrics» more  HICSS 2003»
14 years 4 months ago
Experience with ANSI C Markup Language for a Cross-Referencer
The purpose of this paper is twofold: (1) to examine the properties of our ANSI C Markup Language (ACML) as a domain-specific language (DSL); and (2) to show that ACML is useful ...
Hayato Kawashima, Katsuhiko Gondow
BMCBI
2007
195views more  BMCBI 2007»
13 years 11 months ago
NeuroTerrain - a client-server system for browsing 3D biomedical image data sets
Background: Three dimensional biomedical image sets are becoming ubiquitous, along with the canonical atlases providing the necessary spatial context for analysis. To make full us...
Carl Gustafson, William J. Bug, Jonathan Nissanov
PODS
2008
ACM
158views Database» more  PODS 2008»
14 years 11 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...
WCRE
2000
IEEE
14 years 3 months ago
GXL: Toward a Standard Exchange Format
This paper describes ongoing work toward the development of a standard software exchange format (SEF), for exchanging information among tools that analyze computer programs. A par...
Richard C. Holt, Andreas Winter, Andy Schürr