Types of Predicates in Polotsk Letters
نویسندگان
چکیده
منابع مشابه
Separation Logic Predicates for Aggregate Data Types
Many imperative languages have type systems built from a few elementary types with rules for building aggregate types. In C, integers, floating point numbers, and pointers are elementary types; struct, union and array build aggregates. When using separation logic to write assertions for such languages, one uses separating conjunction ∗ to describe aggregate values in memory. These conjunctions ...
متن کاملConstructive Membership Predicates as Index Types
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we motivate and explore this idea in the concrete setting of lists and trees. We show that the inhabitants of membership predicates are precisely the inhabitants of a generic shape type. We show that membership of x (of typ...
متن کاملthe relationship between teaching styles and personality types of efl teachers in iranian schools
معلمان یکی از موثرترین عنصر برای موفقیت در هر سیستم آموزشی می باشند. این تحقیق? رابطه بین شخصیت معلمان و سبک های آموزشی شان را در محیط یادگیری زبان انگلیسی در ایران بررسی می کند. بهمین جهت? با توجه به موارد موجود? تعداد 45 نفر از معلمان زبان از مدارس مختلف تبریز انتخاب شدند. اطلاعات از طریق نوع شخصیت معلم و فهرستی از سبکهای آموزشی شان جمع آوری شد. تجزیه و تحلیل داده ها نشان داد که رابطه معنی دا...
Vague Spatial Data Types, Set Operations, and Predicates
Many geographical applications deal with spatial objects that cannot be adequately described by determinate, crisp concepts because of their intrinsically indeterminate and vague nature. Current geographical information systems and spatial database systems are unable to cope with this kind of data. To support such data and applications, we introduce vague spatial data types for vague points, va...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philological Review
سال: 2020
ISSN: 2415-8828
DOI: 10.31499/2415-8828.1.2020.204123