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影响因子(影响力)学科排名




书目名称Generic Programming网络公开度




书目名称Generic Programming网络公开度学科排名




书目名称Generic Programming被引频次




书目名称Generic Programming被引频次学科排名




书目名称Generic Programming年度引用




书目名称Generic Programming年度引用学科排名




书目名称Generic Programming读者反馈




书目名称Generic Programming读者反馈学科排名

Defiance

空气传播

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

预定

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.

不适当