Extensible syntax-oriented verifier and its implementation

Authors:
Takao Shimomura;Nhor Sok Lang;Kenji Ikeda
Affiliations:
University of Tokushima, Tokushima, Japan;University of Tokushima, Tokushima, Japan;University of Tokushima, Tokushima, Japan
Venue:
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Year:
2008

Citing 3
Cited 0

STLlint: lifting static checking from languages to libraries

Software—Practice & Experience
Customizable verifiers for web applications and their implementation

CEA'07 Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications
Visual design and programming for Web applications

Journal of Visual Languages and Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Distributed applications are rapidly converging towards the adoption of a computing paradigm based on service-oriented architectures, according to which an application can be seen as a composite web service that is built by assembling a set of existing ...