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

悲伤我

书目名称Language Design and Programming Methodology影响因子(影响力)




书目名称Language Design and Programming Methodology影响因子(影响力)学科排名




书目名称Language Design and Programming Methodology网络公开度




书目名称Language Design and Programming Methodology网络公开度学科排名




书目名称Language Design and Programming Methodology被引频次




书目名称Language Design and Programming Methodology被引频次学科排名




书目名称Language Design and Programming Methodology年度引用




书目名称Language Design and Programming Methodology年度引用学科排名




书目名称Language Design and Programming Methodology读者反馈




书目名称Language Design and Programming Methodology读者反馈学科排名

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.

外观

机密

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