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.
- ISO/IEC 19501:2005 information technology - open distributed programming - unified modelling language (UML) version 1.4.2.Google Scholar
- G. Aigner, A. Diwan, D.L. Heine, M.S. Lam, D.L. Moore, B.R. Murphy, and C. Sapuntzakis. An overview of the SUIF2 compiler infrastructure. Technical report, Stanford University, 2000.Google Scholar
- L. Allison. Programming denotational semantics. The Computer Journal, 26(2):164--174, 1983.Google ScholarCross Ref
- L. Allison. Programming denotational semantics II. The Computer Journal, 28(5):480--486, 1985.Google ScholarCross Ref
- M. Conway. Proposal for an UNCOL. Communications of the ACM, 1(10):5--8, 1958. Google ScholarDigital Library
- ECMA. CLI partition II: Metadata. Technical Report TG3, 2001. http://msdn.microsoft.com/net/ecma/.Google Scholar
- B.K. Haddon and W.M. Waite. Experience with the universal intermediate language Janus. Software Practice & Experience, 8(5):606--616, Sept. 1978.Google ScholarCross Ref
- S. Macrakis. From UNCOL to ANDF: Progress in standard intermediate languages. Technical report, Open Software Foundation, Jan. 1992.Google Scholar
- S.N.I. Mount, R.M. Newman, and R.J. Low. Checking marked-up documentation for adherance to site-specific standards. In SIGDOC '05: Proceedings of the 23rd annual international conference on Design of communication, pages 76--79. ACM Press, 2005. Google ScholarDigital Library
- S.N.I. Mount, R.M. Newman, R.J. Low, and A. Mycroft. Exstatic: a generic static checker applied to documentation systems. In Proceedings of the 22nd annual international conference on Design of communication, pages 52--57. ACM Press, 2004. Google ScholarDigital Library
- P. Nelson. A comparison of PASCAL intermediate languages. SIGPLAN Notices, 18(8):208--213, 1979. Google ScholarDigital Library
- Open Software Foundation. Architecture neutral distribution format: A white paper. Technical report, Nov. 1990.Google Scholar
- G.D. Plotkin. Lcf considered as a programming language. Theoretical Computer Science, 5(3):223--255, 1977.Google ScholarCross Ref
- S. Ryu and N. Ramsey. Source-level debugging for multiple languages with modest programming effort. In 14th International Conference on Compiler Construction, pages 10--26, 2005. Google ScholarDigital Library
- H. Siy and L. Votta. Does the modern code inspection have value? In Proceedings of the IEEE International Conference on Software Maintenance (ICSM), 2001. Google ScholarDigital Library
- J. Strong, J. Wegstein, A. Tritter, J. Olsztyn, O. Mock, and T. Steel. The problem of programming communication with changing machines: A proposed solution: Report of the share ad-hoc committee on universal languages. Communications of the ACM, 1(8):12--18, 1958. and 1:9,9-15. Google ScholarDigital Library
- Sun Microsystems Inc. How to write doc comments for the Javadoc tool. http://java.sun.com/j2se/javadoc/writingdoccomments/.Google Scholar
- G. Winskel. The Formal Semantics of Programming Languages: An Introduction. MIT Press, 1993. Google ScholarDigital Library
Index Terms
- ICODE: enabling the static checking of programs and their documentation
Recommendations
Exstatic: a generic static checker applied to documentation systems
SIGDOC '04: Proceedings of the 22nd annual international conference on Design of communication: The engineering of quality documentationExstatic is a generic static checker developed by the author to address many of the practical problems in program development. Static checking provides a valuable means for automating time consuming checks not only concerned with program correctness (...
Checking marked-up documentation for adherance to site-specific standards
SIGDOC '05: Proceedings of the 23rd annual international conference on Design of communication: documenting & designing for pervasive informationMarked-up text (e.g. HTML and XML) is the format of choice for the delivery of end-user information in pervasive environments. Consistent style and structure of a set of pages can greatly aid their usability and this paper presents a tool called ...
STLlint: lifting static checking from languages to libraries
Traditional static checking centers around finding bugs in programs by isolating cases where the language has been used incorrectly. These language-based checkers do not understand the semantics of software libraries, and therefore cannot be used to ...
Comments