標(biāo)題: Titlebook: Language Design and Programming Methodology; Proceedings of a Sym Jeffrey M. Tobias Conference proceedings 1980 Springer-Verlag Berlin Heid [打印本頁] 作者: 悲傷我 時間: 2025-3-21 16:47
書目名稱Language Design and Programming Methodology影響因子(影響力)
書目名稱Language Design and Programming Methodology影響因子(影響力)學(xué)科排名
書目名稱Language Design and Programming Methodology網(wǎng)絡(luò)公開度
書目名稱Language Design and Programming Methodology網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Language Design and Programming Methodology被引頻次
書目名稱Language Design and Programming Methodology被引頻次學(xué)科排名
書目名稱Language Design and Programming Methodology年度引用
書目名稱Language Design and Programming Methodology年度引用學(xué)科排名
書目名稱Language Design and Programming Methodology讀者反饋
書目名稱Language Design and Programming Methodology讀者反饋學(xué)科排名
作者: defendant 時間: 2025-3-22 00:04
On the prime example of programming,ll-known presentations of Dijkstra and Wirth. However a general program transformation is shown to capture the clever "inventive step" in Dijkstra‘s solution, and another is employed to lead naturally to an alternative program. Complexity analyses of the two programs show that the latter is significantly more efficient.作者: formula 時間: 2025-3-22 02:23
Describing the complete effects of programs,l concept of a passback pair is introduced. Passback pairs allow the effects of a program to be described to a level suitable for the problem at hand. Methods of automatically deriving passback pairs of various degrees of refinement are discussed. These methods are then applied in an automatic program synthesis system, PROSYN.作者: 外觀 時間: 2025-3-22 06:41 作者: 機密 時間: 2025-3-22 11:57
A critique of modula,f MODULA, the earlier of the two languages, is presented in this paper. The emphasis is on the "useability" of MODULA, and whether it achieves its stated goals. A compiler for MODULA has been written in BCPL by two members of the University of York, J.Holden and I.C.Wand (Cottam, 1978), and this is the compiler used by the author.作者: 最有利 時間: 2025-3-22 14:20
Ken Robinsonundanforderungen be- ziehen sich allein vier, n?mlich hohes Adsorptionsverm?gen, Tonmineralhaltigkeit, geringe Gebirgsdurchl?ssigkeit und Dichte auf die Materialeigenschaften des Bodens bzw. der Barrieregestein978-3-642-63761-2978-3-642-58852-5作者: MONY 時間: 2025-3-22 19:47 作者: CLAM 時間: 2025-3-22 22:22 作者: 慟哭 時間: 2025-3-23 03:19
Don Herbison-Evansfekten auf die Prozessbiologie im Fermentationsprozess führen kann..Neben den negativen Effekten werden aber auch Synergien durch die Verwendung von Co-Substraten diskutiert, die sich negativ oder positiv auf die Effizienz des biologischen Prozesses auswirken k?nnen.作者: interpose 時間: 2025-3-23 08:29 作者: 不妥協(xié) 時間: 2025-3-23 12:36 作者: 懸掛 時間: 2025-3-23 14:59
Andrew Richardsonion-Gegenpart zu Luke Skywalker in ?Star Wars“ war in den drei?iger Jahren Buck Rodgers. Und der Protagonist und Vork?mpfer für die Durchführung ?sozialer Experimente“, Don Campbell, hatte in Kurt Lewin in der Depression der drei?iger Jahre seinen Wegbereiter.. Die Parallelen haben ihre Grenzen. Es 作者: 字的誤用 時間: 2025-3-23 20:42 作者: 描述 時間: 2025-3-23 23:00
andelt und die h?ufigsten Probleme bei Unfalluntersuchungen und bei ICAO-übungen dargestellt. ..In den Anhang wurden wichtige Informationen über Flugzeugkonstruktion, Not- und Sicherheitseinrichtungen in gro?en Flugzeugen, Flugdatenschreiber, Umrechnungstabellen und wichtige Abkürzungen der Luftfahrt aufgenommen..978-3-540-28525-0作者: 漂白 時間: 2025-3-24 02:28 作者: 極少 時間: 2025-3-24 10:25
The module: A system structuring facility in high-level programming languages, as a means to partition systems effectively. The module allows to encapsulate local details and to specify explicitly those elements that are part of the interface between modules..Modules as presented here are part of the language Modula-2. Problems of separate compilation and of splitting a modul作者: 商品 時間: 2025-3-24 14:39 作者: 詢問 時間: 2025-3-24 16:42
On the prime example of programming, more, but from a broader view of the programming process than has previously been taken. The initial steps toward a solution parallel those in the well-known presentations of Dijkstra and Wirth. However a general program transformation is shown to capture the clever "inventive step" in Dijkstra‘s s作者: intoxicate 時間: 2025-3-24 20:18
Describing the complete effects of programs,t is usually done by describing the invariants and predicate transformers of program segments. Instead of using predicate transformers, a more powerful concept of a passback pair is introduced. Passback pairs allow the effects of a program to be described to a level suitable for the problem at hand.作者: Terminal 時間: 2025-3-25 01:57
Pattern-matching commands,age? It shows that the facilities can be improved in some significant ways. However, the control structures that underlie pattern-matching operations are radically different from the usual ones, and this creates difficulties if the full power of the Snobol4 system is to be retained.作者: micronutrients 時間: 2025-3-25 05:24
A language for describing concepts as programs,object which satisfies the logical expression in the body of the function. The learning program‘s input is a set of objects which are instances of the concept to be learnt. A compiler/interpreter has been written which performs the reverse of the learning process. The concept description is regarded作者: preservative 時間: 2025-3-25 11:30
A human movement language for computer animation, language, numerical description, demonstration and muscle tension. The prospects of adapting each of them for computer input are discussed. The NUDES language (Numeric Utility Displaying Ellipsoid Solids, version 3) is described and related to this discussion. Current problems with movement specifi作者: 拋物線 時間: 2025-3-25 13:04
Dasim1: A practical exercise in data abstraction,rations upon it. This paper explains how such a specification is developed, indicating some of the problems which may be encountered. The manner in which DASIM1 employs the axioms in the simulation of the structure is described. Finally, certain correctness proofs concerning the axioms are discussed作者: 增強 時間: 2025-3-25 19:28 作者: Perennial長期的 時間: 2025-3-25 21:24 作者: deceive 時間: 2025-3-26 03:10
Claude Sammut,Brian Cohenorden ist wird in Kapitel 6 der Einfluss von Prozessst?rungen sowie Synergien erl?utert. Beide beeinflussen die beschriebenen Wechselwirkungen, die für die Bilanzierung von Praxisprozessen verwendet werden k?nnen erheblich und erfordern eine Berücksichtigung, auch wenn die Quantifizierung der Intens作者: syring 時間: 2025-3-26 07:09 作者: 有惡臭 時間: 2025-3-26 11:39
Ken Robinsonür jeden in diesem Bereich t?tigen Wissenschaftler unverzichDieses Handbuch besteht aus insgesamt sieben Einzelb?nden. Sechs B?nde behandeln die Themen Geofernerkundung,Str?mungs- und Transportmodellierung, Geophysik, Geotechnik Hydrogeolo- gie, Tonmineralogie und Bodenphysik sowie Geochemie. Ein we作者: modest 時間: 2025-3-26 15:00
Graham Leephysik, Geotechnik Hydrogeolo- gie, Tonmineralogie und Bodenphysik sowie Geochemie. Ein weiterer Band gibt Handlungsempfehlungen für ein stufenwei- weises Vorgehen bei der Erkundung von Deponie- und Altlast- standorten. Damit wird allen, die in Beh?rden und Firmen oder in der Wissenschaft an den Pro作者: 攤位 時間: 2025-3-26 17:22 作者: constellation 時間: 2025-3-26 21:24 作者: beta-cells 時間: 2025-3-27 01:18 作者: bourgeois 時間: 2025-3-27 05:54 作者: neolith 時間: 2025-3-27 12:28 作者: 不利 時間: 2025-3-27 17:28
Pascal versus C : A subjective comparison, structure of C appears superior. However, C has many potentially dangerous features, and requires great caution from its programmers. Other psychological effects that the various structures in these languages have on the process of programming are also conjectured..— G. L. Glegg, The Design of Design.作者: 軍械庫 時間: 2025-3-27 21:28
Pattern-matching commands,age? It shows that the facilities can be improved in some significant ways. However, the control structures that underlie pattern-matching operations are radically different from the usual ones, and this creates difficulties if the full power of the Snobol4 system is to be retained.作者: ALIAS 時間: 2025-3-27 22:19 作者: stress-response 時間: 2025-3-28 02:41 作者: galley 時間: 2025-3-28 06:51 作者: 極為憤怒 時間: 2025-3-28 14:06
https://doi.org/10.1007/3-540-09745-7EDV; Pascal; Programmiersprache; Programmierung (EDV); design; language; programming; programming language; 作者: 使堅硬 時間: 2025-3-28 14:56
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/580908.jpg作者: 字謎游戲 時間: 2025-3-28 22:38 作者: BUST 時間: 2025-3-29 00:09
Language Design and Programming Methodology978-3-540-38579-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Devastate 時間: 2025-3-29 05:48
0302-9743 Overview: 978-3-540-09745-7978-3-540-38579-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 歡樂東方 時間: 2025-3-29 07:36 作者: 不自然 時間: 2025-3-29 14:54 作者: cavity 時間: 2025-3-29 17:12
Algebraic specifications and transition graphs,A simple connection between transition graphs and algebraic specifications of data types is explained and its use in extracting equations for data abstraction is illustrated.作者: LAP 時間: 2025-3-29 20:26
The design of a successor to pascal,A new programming language intended as a contribution to the development of Pascal is discussed.作者: 耐寒 時間: 2025-3-30 03:55 作者: Silent-Ischemia 時間: 2025-3-30 07:04 作者: 樹膠 時間: 2025-3-30 10:24 作者: ABASH 時間: 2025-3-30 15:57
Architectural Images and City Marketinging services to tourists should be educated in order to increase the satisfaction of tourists with the destinations they are visiting, since the image of a place/city is crucial to tourists’ satisfaction, marketing and new investments.作者: 為現(xiàn)場 時間: 2025-3-30 18:29 作者: 聚集 時間: 2025-3-30 21:54 作者: irreparable 時間: 2025-3-31 02:22 作者: WATER 時間: 2025-3-31 05:45 作者: 脆弱吧 時間: 2025-3-31 09:34
Book 2012This book provides an original account of Emerson‘s creative debts to the British and European Romantics, including Coleridge and Carlyle, firmly locating them in his New England context. Moreover this book analyses and explains the way that his thought shapes his unique prose style in which idea and word become united in an epistemology of form.作者: Perceive 時間: 2025-3-31 15:52 作者: 比喻好 時間: 2025-3-31 20:51
2367-3370 methods; wireless communications signal processing for communications; electronics track IoT and sensor systems embedded systems; etc..978-981-16-2096-6978-981-16-2094-2Series ISSN 2367-3370 Series E-ISSN 2367-3389
