Sciweavers

Share
45 search results - page 1 / 9
» Type Safe Programming of XML-based Applications
Sort
View
PEPM
2015
ACM
4 years 5 months ago
SWIN: Towards Type-Safe Java Program Adaptation between APIs
Java program adaptation between different APIs is a common task in software development. When an old API is upgraded to an incompatible new version, or when we want to migrate an ...
Jun Li, Chenglong Wang, Yingfei Xiong, Zhenjiang H...
CC
2015
Springer
4 years 5 months ago
Protocols by Default - Safe MPI Code Generation Based on Session Types
This paper presents a code generation framework for type-safe and deadlock-free Message Passing Interface (MPI) programs. The code generation process starts with the deļ¬nition of...
Nicholas Ng, José Gabriel de Figueiredo Cou...
GI
2004
Springer
10 years 3 months ago
Type Safe Programming of XML-based Applications
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
Martin Kempa, Volker Linnemann
TGC
2007
Springer
10 years 3 months ago
Type-Safe Distributed Programming with ML5
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
Tom Murphy VII, Karl Crary, Robert Harper
AFP
2004
Springer
128views Formal Methods» more  AFP 2004»
10 years 3 months ago
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...
books