Coalgebraic Description of Generalized Binary Methods
نویسندگان
چکیده
منابع مشابه
Coalgebraic Description of Generalized Binary Methods
We extend the Reichel-Jacobs coalgebraic account of specification and refinement of objects and classes in Object Oriented Programming to (generalized) binary methods. These are methods that take more than one parameter of a class type. Class types include sums and (possibly infinite) products type constructors. We study and compare two solutions for modeling generalized binary methods, which u...
متن کاملCoalgebraic description of generalised binary methods
We extend Reichel-Jacobs coalgebraic account of specification and refinement of objects and classes in Object Oriented Programming to (generalized) binary methods. These are methods that take more than one parameter of a class type. Class types include products, sums and powerset type constructors. In order to take care of class constructors, we model classes as bialgebras. We study and compare...
متن کاملGlobal Caching for Coalgebraic Description Logics
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncertainty, non-monotonic conditionals, or coalitional power. Specifically, we work in coalgebraic logic with global assumptions (i.e. a general TBox), nominals, and satisfaction operators, and prove soundness and complet...
متن کاملAlgebraic and Coalgebraic Methods in Software Development
An increasing number of computer based systems rely on the cooperation of distributed, heterogeneous components or services organised into open software architectures that, moreover, can survive in loosely-coupled environments and be easily adapted to changing application requirements. Such is the case, for example, of applications designed to take advantage of the increased computational power...
متن کاملthe description of verb phrase of dezfuli dialect
شهرستان دزفول در بخش شمالغربی خوزستان با مساحت 4700 کیلومتر مربع و جمعیت 380416 (1375 ) واقع شده است . دزفولیها به گویش دزفولی تکلم می کنند ، گویشی که جز دسته جنوبی زبانهای ایرانی است . در این پایان نامه نویسنده قصد دارد گروه فعلی گویش دزفولی را توصیف کند. همچنین به بحث در باره ریشه فعلی و ستاک های مختلف ، ساخت سببی ، فعل های منظم و نامنظم ، ویژگیهای فعل مانند زمان ، وجه و نمود می پردازد در فصل...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2006
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2005.09.022