Titlebook: Generic Programming; International Semina Mehdi Jazayeri,Rüdiger G. K. Loos,David R. Musser Conference proceedings 2000 Springer-Verlag Ber

bankrupt

書目名稱Generic Programming影響因子(影響力)




書目名稱Generic Programming影響因子(影響力)學(xué)科排名




書目名稱Generic Programming網(wǎng)絡(luò)公開度




書目名稱Generic Programming網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Generic Programming被引頻次




書目名稱Generic Programming被引頻次學(xué)科排名




書目名稱Generic Programming年度引用




書目名稱Generic Programming年度引用學(xué)科排名




書目名稱Generic Programming讀者反饋




書目名稱Generic Programming讀者反饋學(xué)科排名

Defiance

空氣傳播

0302-9743 Overview: Includes supplementary material: 978-3-540-41090-4978-3-540-39953-7Series ISSN 0302-9743 Series E-ISSN 1611-3349

預(yù)定

jovial

Fecundity

Critical Theory and Political Engagement uniform representation, while the heterogeneous translation expands the program by specialising parameterised classes according to their arguments. This paper describes both translations in detail, compares their time and space requirements and discusses how each affects the Java security model.

Fecundity

切掉

Critical Theory and Political Theology PVS system to formally represent, verify and correctly apply generic software development steps and development methods from different existing transformational approaches. We illustrate our approach by representing the well-known divide-and-conquer paradigm, two optimization steps, and by formally deriving a mergesort program.

Frequency

Darrell P. Arnold,Andreas Michelthe . theorem prover is its special proof script language that enables textbook style presentation of proofs, hence allowing proofs in the language of algebra..Using . we were able to give a rigorous machine assisted correctness proof of a generic version of the Brown/Henrici arithmetic in the field of fractions over arbitrary gcd domains.

不適當(dāng)