نتایج جستجو برای: discipline mechanism
تعداد نتایج: 670857 فیلتر نتایج به سال:
Journal:
:Historical Reflections/Réflexions Historiques
2021
2012
François Pottier
Jonathan Protzenko
We present the design of Mezzo, a programming language in the ML tradition, which places strong emphasis on the control of aliasing and access to mutable memory. A balance between simplicity and expressiveness is achieved by marrying a static discipline of permissions and a dynamic mechanism of adoption and abandon.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید