نتایج جستجو برای: 2003in this paper
تعداد نتایج: 6252278 فیلتر نتایج به سال:
Journal:
:Social Science Research Network
2023
Journal:
:Annual Meeting of the Berkeley Linguistics Society
2003
Journal:
:LASER THERAPY
2012
Journal:
:Lingua Frankly
2016
2007
Sophia Drossopoulou
Adrian Francalanza
Peter Müller
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of call-backs, multiobject invariants, and subclassing. Several verification techniques for object invariants have been proposed. These techniques are complex and differ in restrictions on programs (e.g., which fields ca...
Journal:
:IAFOR Journal of Arts & Humanities
2017
Journal:
:Journal of Physics: Conference Series
2021
Journal:
:European Journal of Dentistry
2011
Journal:
:Autism
2018
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید