نتایج جستجو برای: generic
تعداد نتایج: 75397 فیلتر نتایج به سال:
Journal:
:International Journal of Pharmacy and Pharmaceutical Sciences
2020
Journal:
:IEEE Aerospace and Electronic Systems Magazine
1986
2004
Fermín Reig
Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated at many types. Reasoning about programs that use type classes does not enjoy the benefits of generic reasoning, as it requires providing proofs for an arbitrary number of type instances. This makes the process very impractical. ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید