ICODE: enabling the static checking of programs and their documentation

Authors:
S. N. I. Mount;R. M. Newman;R. J. Low
Affiliations:
Coventry University;Coventry University;Coventry University
Venue:
SIGDOC '06 Proceedings of the 24th annual ACM international conference on Design of communication
Year:
2006

Citing 8
Cited 0

The formal semantics of programming languages: an introduction

The formal semantics of programming languages: an introduction
The problem of programming communication with changing machines: a proposed solution

Communications of the ACM
Proposal for an UNCOL

Communications of the ACM
A comparison of PASCAL intermediate languages

SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Does The Modern Code Inspection Have Value?

ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Exstatic: a generic static checker applied to documentation systems

Proceedings of the 22nd annual international conference on Design of communication: The engineering of quality documentation
Checking marked-up documentation for adherance to site-specific standards

Proceedings of the 23rd annual international conference on Design of communication: documenting & designing for pervasive information
Source-Level debugging for multiple languages with modest programming effort

CC'05 Proceedings of the 14th international conference on Compiler Construction

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe ICODE an intermediate language for a static checking system, which we claim is capable of representing documents and code from many different source languages. We describe a method for supporting our claims and sketch a proof that an exemplar block-structured language has a semantics-preserving translations to ICODE.