Search For:

Displaying 1-4 out of 4 total
Language Bindings to XML
Found in: IEEE Internet Computing
By Fabio Simeoni, David Lievens, Richard Connor, Paolo Manghi
Issue Date:January 2003
pp. 19-27
<p>By preserving application semantics, XML bindings improve program specification, verification, and optimization. SNAQue makes it all simple and flexible.</p>
Symmetric encapsulated multi-methods to abstract over application structure
Found in: Proceedings of the 2009 ACM symposium on Applied Computing (SAC '09)
By David Lievens, William Harrison
Issue Date:March 2009
pp. 1-5
In object systems, classes take the role of modules, and interfaces consist of methods. Because methods are encapsulated in objects, interfaces in object systems do not allow abstracting over where methods are implemented. This implies that any change to t...
Matchmaking for covariant hierarchies
Found in: Proceedings of the 8th workshop on Aspects, components, and patterns for infrastructure software (ACP4IS '09)
By David Lievens, Fabio Simeoni
Issue Date:March 2009
pp. 94-104
We describe a model of matchmaking suitable for the implementation of services, rather than for their discovery and composition. In the model, processing requirements are modelled by client requests and computational resources are software processors that ...
Hybrid applications over XML: integrating the procedural and declarative approaches
Found in: Proceedings of the fourth international workshop on Web information and data management (WIDM '02)
By David Lievens, Fabio Simeoni, Paolo Manghi, Richard Connor
Issue Date:November 2002
pp. 9-14
We discuss the design of a quasi-statically typed language for XML in which data may be associated with different structures and different algebras in different scopes, whilst preserving identity. In declarative scopes, data are trees and may be queried wi...