G. Nani
Abstract
PIC (Pascal Interface Controller) is a tool for the development of large, modular software systems in Pascal. The new kind of modularity, implemented by PIC, is analyzed in the paper. Two different versions of PIC have been developed, to interface with Pascal compilers providing different support to program decomposition into compilation units.
- [1] D. Cooper, "Standard Pascal User Reference Manual", W. W. Norton Company, 1983. Google Scholar
Digital Library
- [2] R. B. Kieburtz, W. Barabash and C. R. Hill, "A Type-checking Program Linkage System for Pascal", Proc. 3rd Int. Con. on Software Engeneering, Atlanta 1978. Google ScholarDigital Library
- [3] "Pascal-2 User Manual", Oregon Software, 1983.Google Scholar
- [4] M. Ancona, L. De Floriani, G. Dodero, S. Mancosu, "Integrating library modules into Pascal programs", Proc. 6th International Conference on Software Engineering, Poster Session, IEEE, Tokyo, 13-16 September 1982.Google Scholar
- [5] M. Ancona, L. De Floriani, G. Dodero, P. Thea "Program Development by using a Source Linker", Proceedings of the 4th Jerusalem Conference Information Techonology, 1984.Google Scholar
- [6] G. Nani, "Source Linker User Manual", Tech. Rep. n. 160 Istituto per la Matematica Applicata, Genova, 1984 (in Italian).Google Scholar
- [7] S. Boyd, "Modular C", SIGPLAN Notice, 18(4), 1983. Google ScholarDigital Library
- [8] G. Nani, "Implementing separate compilation by means of independent compilation", Tech. Rep. n. 206, Istituto per la Matematica Applicata, Genova, 1986 (in Italian).Google Scholar
- [9] "VAX Pascal User Manual", Digital Equipment Corporation, 1982.Google Scholar
- [10] N. Wirth, "Programming in Modula-2", Springer Verlag, 1982. Google ScholarDigital Library
- [11] N. Wirth, "The Module: a system structuring facility in high level programming languages", Proceedings Symposium on Language Design and Programming Methodology, Sydney, 1979. Google ScholarDigital Library
Index Terms
- Implementing separate compilations in Pascal
Recommendations
Amalgamating different JIT compilations in a meta-tracing JIT compiler framework
DLS 2020: Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic LanguagesMost virtual machines employ just-in-time (JIT) compilers to achieve high-performance. Trace-based compilation and method-based compilation are two major compilation strategies in JIT compilers. In general, the former excels in compiling programs with ...
A simple separate compilation mechanism for block-structured languages
A very simple and efficient technique for the introduction of separate compilation facilities into compilers for block-structured languages is presented. Using this technique, programs may be compiled in parts while the compile-time checking advantages ...
Incremental concrete syntax for embedded languages with support for separate compilation
Embedded domain-specific languages (EDSLs) are known to improve the productivity of developers. However, for many domains no DSL implementation is available and two important reasons for this are: First, the effort to implement EDSLs that provide the ...
Comments