標(biāo)題: Titlebook: Design and Implementation of Programming Languages; Proceedings of a DoD John H. Williams,David A. Fisher Conference proceedings 1977 Sprin [打印本頁] 作者: 貶損 時間: 2025-3-21 19:24
書目名稱Design and Implementation of Programming Languages影響因子(影響力)
書目名稱Design and Implementation of Programming Languages影響因子(影響力)學(xué)科排名
書目名稱Design and Implementation of Programming Languages網(wǎng)絡(luò)公開度
書目名稱Design and Implementation of Programming Languages網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Design and Implementation of Programming Languages被引頻次
書目名稱Design and Implementation of Programming Languages被引頻次學(xué)科排名
書目名稱Design and Implementation of Programming Languages年度引用
書目名稱Design and Implementation of Programming Languages年度引用學(xué)科排名
書目名稱Design and Implementation of Programming Languages讀者反饋
書目名稱Design and Implementation of Programming Languages讀者反饋學(xué)科排名
作者: 寬宏大量 時間: 2025-3-21 22:48 作者: 道學(xué)氣 時間: 2025-3-22 00:31
Run-time checking of data access in pascal-like languages,ential role in the development and maintenance of reliable software. We believe that typed pointers and discriminated unions are fundamental data abstractions which are of great use in a wide variety of programming languages and programming endeavors. It then follows that efficient, thorough and opt作者: 他姓手中拿著 時間: 2025-3-22 06:07 作者: 豐富 時間: 2025-3-22 09:23
Separate definition and compilation in lis and its implementation,ch modification. Nor would it be reasonable to have every member of a programming project have access to all other program parts..The facilities provided in the LIS language for separate definition and compilation show that it can be achieved at a reasonable cost. Moreover the availability of the se作者: intellect 時間: 2025-3-22 14:38
Requirements for real-time languages,they contain processing that must be completed under critical time constraints. The language requirements for real-time systems differ more in degree than in nature from the requirements for other systems. This paper discusses five categories of requirements at a fairly general level and describes s作者: intellect 時間: 2025-3-22 18:26
Target computer independent optimization procedures for metacompilers,ques such as those presented in this paper can be perfected to reduce the cost and time involved in developing efficient DoDl compilers for such machines. Thus these compilers should be organized to include target computer independent optimization proceedures.作者: DEMN 時間: 2025-3-23 00:51 作者: 聲音刺耳 時間: 2025-3-23 04:20
A reminder for language designers,n limitations of their users. Notably, few languages really promote ease of readability. This paper suggests nine design principles for the development of readable high level languages. Each principle is backed up by a discussion and several examples. Among the issues discussed are the limitation of作者: Generic-Drug 時間: 2025-3-23 09:20
The tinman and communications applications,applications area for which the language is intended. In designing a Communications Oriented Language (COL), we have been influenced by forces somewhat at variance from those which have influenced the Tinman. We have thus designed a language which, although conforming in many ways to the Tinman, als作者: 慌張 時間: 2025-3-23 10:11 作者: 小歌劇 時間: 2025-3-23 15:53
Wolfgang Kowalsky,Wolfgang Schroederchecking. Attention is paid to alternatives and tradeoffs in language features which realize various desirable goals regarding data types. Interactions between features are pointed out, and implementation techniques are discussed.作者: Adulterate 時間: 2025-3-23 21:50
https://doi.org/10.1007/978-3-540-95936-6 relationships are considered: mixed type operations, generic operations, polymorphic operations, representational relationships, and component relationships. Two programming language models that permit objects having any of several types to be used in a single context are discussed..Finally some po作者: headway 時間: 2025-3-24 00:30
Psychologie als eine empirische Wissenschaftential role in the development and maintenance of reliable software. We believe that typed pointers and discriminated unions are fundamental data abstractions which are of great use in a wide variety of programming languages and programming endeavors. It then follows that efficient, thorough and opt作者: 緯線 時間: 2025-3-24 03:03 作者: 慢跑 時間: 2025-3-24 09:56 作者: modifier 時間: 2025-3-24 11:42 作者: 鞭子 時間: 2025-3-24 16:07 作者: 狂怒 時間: 2025-3-24 22:32 作者: 通知 時間: 2025-3-25 01:26 作者: 圓錐體 時間: 2025-3-25 06:26 作者: 苦笑 時間: 2025-3-25 08:56
https://doi.org/10.1007/978-3-662-64762-2 collection of tools hosted by a program development system. We have further proposed that it is particularly important to view a program as .. Our own experience in using two such program development systems is that these increase the overall programmer productivity quite significantly..Given that 作者: Foolproof 時間: 2025-3-25 12:44
https://doi.org/10.1007/BFb0021415Computer; Design; Programmiersprache; optimization; programming; programming language; verification作者: 下船 時間: 2025-3-25 17:11 作者: incision 時間: 2025-3-25 21:46
Some issues in data types and type checking,checking. Attention is paid to alternatives and tradeoffs in language features which realize various desirable goals regarding data types. Interactions between features are pointed out, and implementation techniques are discussed.作者: 祖?zhèn)髫敭a(chǎn) 時間: 2025-3-26 01:33
Target computer independent optimization procedures for metacompilers,ques such as those presented in this paper can be perfected to reduce the cost and time involved in developing efficient DoDl compilers for such machines. Thus these compilers should be organized to include target computer independent optimization proceedures.作者: 引起 時間: 2025-3-26 05:26 作者: 刀鋒 時間: 2025-3-26 08:45 作者: Urgency 時間: 2025-3-26 16:30
0302-9743 Overview: 978-3-540-08360-3978-3-540-37260-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Strength 時間: 2025-3-26 17:29 作者: Allure 時間: 2025-3-27 00:32 作者: BROTH 時間: 2025-3-27 03:52 作者: collateral 時間: 2025-3-27 08:54
The tinman and communications applications,o differs from it in some significant ways. We discuss first the philosophy that has governed our design, with particular emphasis on ways in which our goals differ from those of the Tinman. We then illustrate how such differences have led to features in the COL that are at variance with the Tinman criteria.作者: 偽善 時間: 2025-3-27 11:14
https://doi.org/10.1007/978-3-642-34362-9: restrictions on scope rules for static access, and capabilities for dynamic access. Examples include the interface to machine devices, files and virtual devices, device scheduling, device reservation, and buffer allocation.作者: 改革運(yùn)動 時間: 2025-3-27 14:17 作者: 同音 時間: 2025-3-27 19:38 作者: cravat 時間: 2025-3-28 01:24 作者: Adornment 時間: 2025-3-28 02:46 作者: JEER 時間: 2025-3-28 07:00
Requirements for real-time languages,h differ significantly in degree for real-time systems, and language capabilities and features to meet those requirements are discussed. The paper does not propose specific features for the "ideal" real-time language, but points out the areas of concern.作者: exigent 時間: 2025-3-28 12:19 作者: 用手捏 時間: 2025-3-28 14:52 作者: 迎合 時間: 2025-3-28 19:34 作者: 冷淡一切 時間: 2025-3-29 01:26 作者: 小說 時間: 2025-3-29 04:26 作者: osculate 時間: 2025-3-29 09:39
Models of data objects and data types,onships. Two programming language models that permit objects having any of several types to be used in a single context are discussed..Finally some possible research directions for developing improved models are suggested.作者: adroit 時間: 2025-3-29 15:13 作者: 挑剔小責(zé) 時間: 2025-3-29 19:04
A reminder for language designers,t of readable high level languages. Each principle is backed up by a discussion and several examples. Among the issues discussed are the limitation of the overall complexity, the design of function and procedure facilities, the design of data type facilities, and the correspondence between syntax and semantics.作者: 受傷 時間: 2025-3-29 23:09
Psychologie als eine empirische Wissenschaftimizable checks which monitor them at run-time are an essential adjunct to their use. Certainly our experience with PASCAL has convinced us of their utility. Although run-time checks are often held in disrepute, we should not ask ourselves, “Can I afford them?” but rather “Can I afford to be without them?”.作者: Irascible 時間: 2025-3-30 02:19 作者: GENRE 時間: 2025-3-30 06:04 作者: NEX 時間: 2025-3-30 10:14
Section III parallel processing, machine dependency and program verification,作者: xanthelasma 時間: 2025-3-30 15:10
Section IV programming language specifications, optimization and run-time support systems,作者: 原告 時間: 2025-3-30 16:37
Remarks on the impact of program verification on language design,作者: 一起 時間: 2025-3-30 21:25
Design and Implementation of Programming LanguagesProceedings of a DoD作者: 明智的人 時間: 2025-3-31 04:55
Haruhito Takeda,Junko Watanabeut immigration, minority rights, indigenous people, and unoccupied land. The third level focuses on normative theories of territorial rights. Here the object of study involves the norms and political practices that govern territorial rights, both inside sovereign jurisdictions and at large in global作者: 使長胖 時間: 2025-3-31 06:13
