{"title":"在CHIPSY中单独编译","authors":"H. Eidnes, D. O. Hallsteinsen, D. H. Wanvik","doi":"10.1145/72910.73346","DOIUrl":null,"url":null,"abstract":"This paper describes a practical implementation scheme for separate compilation of strongly typed high-level languages. The scheme provides full inter-module type checking, while limiting the problems of “big inhale” and most redundant recompilations by employing smart recompilation at reasonable cost. It also provides type-safe link-time substitution of module variants. The scheme has been implemented for CHILL1 in CHIPSY®, and has been in use since 1983. The current host is VAX/VMS. Targets include VAX, Intel 8086 and 80286, both stand-alone and under MS-DOS. A Sun-386i and VAX/Ultrix hosted version is under development. CHIPSY is marketed by KVATRO A/S of Trondheim, Norway.","PeriodicalId":198444,"journal":{"name":"Proceedings of the 2nd International Workshop on Software configuration management","volume":"9 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Separate compilation in CHIPSY\",\"authors\":\"H. Eidnes, D. O. Hallsteinsen, D. H. Wanvik\",\"doi\":\"10.1145/72910.73346\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper describes a practical implementation scheme for separate compilation of strongly typed high-level languages. The scheme provides full inter-module type checking, while limiting the problems of “big inhale” and most redundant recompilations by employing smart recompilation at reasonable cost. It also provides type-safe link-time substitution of module variants. The scheme has been implemented for CHILL1 in CHIPSY®, and has been in use since 1983. The current host is VAX/VMS. Targets include VAX, Intel 8086 and 80286, both stand-alone and under MS-DOS. A Sun-386i and VAX/Ultrix hosted version is under development. CHIPSY is marketed by KVATRO A/S of Trondheim, Norway.\",\"PeriodicalId\":198444,\"journal\":{\"name\":\"Proceedings of the 2nd International Workshop on Software configuration management\",\"volume\":\"9 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1989-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 2nd International Workshop on Software configuration management\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/72910.73346\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 2nd International Workshop on Software configuration management","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/72910.73346","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
This paper describes a practical implementation scheme for separate compilation of strongly typed high-level languages. The scheme provides full inter-module type checking, while limiting the problems of “big inhale” and most redundant recompilations by employing smart recompilation at reasonable cost. It also provides type-safe link-time substitution of module variants. The scheme has been implemented for CHILL1 in CHIPSY®, and has been in use since 1983. The current host is VAX/VMS. Targets include VAX, Intel 8086 and 80286, both stand-alone and under MS-DOS. A Sun-386i and VAX/Ultrix hosted version is under development. CHIPSY is marketed by KVATRO A/S of Trondheim, Norway.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
