• Publications
  • Influence
The Pointer Assertion Logic Engine
TLDR
We present a new framework for verifying partial specifications of programs in order to catch type and memory errors and check data structure invariants. Expand
  • 133
  • 13
Extending Java for High-Level Web Service Construction
TLDR
We incorporate innovations from the project into the Java language to provide high-level features for Web service programming. Expand
  • 41
  • 7
Document Structure Description 1.0
TLDR
Document Structure Description 1.0 is a specification of a new XML notation for describing classes of XML documents. Expand
  • 20
  • 5
  • PDF
Static Validation of XSL Transformations
TLDR
We present a validation technique for XSLT based on the summary graph formalism introduced in the static analysis of JWIG Web services that provides static guarantees that the output of the transformation is valid relative to the input schema. Expand
  • 17
  • 4
DSD: A schema language for XML
TLDR
We introduce the DSD (Document Structure Description) notation as our bid on how to meet the requirements above. Expand
  • 56
  • 3
  • PDF
The bigwig Project
TLDR
We present the results of the -bigwig- project, which aims to design and implement a high-level domain-specific language for programming interactive Web services. Expand
  • 67
  • 1
A Runtime System for Interactive Web Services
TLDR
We present ideas for an improved runtime system for interactive Web services built on top of CGI running on virtually every combination of browser and HTTP/CGI server. Expand
  • 23
  • 1
  • PDF
Language-Based Caching of Dynamically Generated HTML
TLDR
We show how to exploit this feature to provide an automatic fine-grained caching of document templates, based on the service source code. Expand
  • 7
  • 1
TAPSOFT '95: Theory and Practice of Software Development
TLDR
A decade of TAPSOFT.- Theory and practice of software development.- Rational spaces and set constraints.- Formal methods and social context in software development. Expand
  • 96