Titlebook: Language Design and Programming Methodology; Proceedings of a Sym Jeffrey M. Tobias Conference proceedings 1980 Springer-Verlag Berlin Heid

悲傷我

書(shū)目名稱(chēng)Language Design and Programming Methodology影響因子(影響力)




書(shū)目名稱(chēng)Language Design and Programming Methodology影響因子(影響力)學(xué)科排名




書(shū)目名稱(chēng)Language Design and Programming Methodology網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱(chēng)Language Design and Programming Methodology網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱(chēng)Language Design and Programming Methodology被引頻次




書(shū)目名稱(chēng)Language Design and Programming Methodology被引頻次學(xué)科排名




書(shū)目名稱(chēng)Language Design and Programming Methodology年度引用




書(shū)目名稱(chēng)Language Design and Programming Methodology年度引用學(xué)科排名




書(shū)目名稱(chēng)Language Design and Programming Methodology讀者反饋




書(shū)目名稱(chēng)Language Design and Programming Methodology讀者反饋學(xué)科排名

defendant

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

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.

外觀

機(jī)密

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.

最有利

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

CLAM

慟哭

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