On the Power of Higher-Order Algebraic Specification Methods
نویسندگان
چکیده
منابع مشابه
On the Power of Higher-Order Algebraic Specification Methods
Soundness and adequacy theorems are presented for the expressive power of higher-order initial algebra specifications with respect to the arithmetical and analytical hierarchies. These results demonstrate that higher-order initial algebra semantics substantially extends the power of both first-order initial and first-order final algebra semantics. It thus provides a unifying framework for all t...
متن کاملthe effects of error correction methods on pronunciation accuracy
هدف از انجام این تحقیق مشخص کردن موثرترین متد اصلاح خطا بر روی دقت آهنگ و تاکید تلفظ کلمه در زبان انگلیسی بود. این تحقیق با پیاده کردن چهار متد ارائه اصلاح خطا در چهار گروه، سه گروه آزمایشی و یک گروه تحت کنترل، انجام شد که گروه های فوق الذکر شامل دانشجویان سطح بالای متوسط کتاب اول passages بودند. گروه اول شامل 15، دوم 14، سوم 15 و آخرین 16 دانشجو بودند. دوره مربوطه به مدت 10 هفته ادامه یافت و د...
15 صفحه اولHigher Order and Reactive Algebraic Specification and Development
Algebraic specification frameworks such as the Casl family of specification languages are presently expanding to encompass all aspects of software, including e.g. functional programming and reactive specification. Thus, a comprehensive environment for formal software development is being created. This paper gives an overview of publications by the author that contribute to this goal, both in th...
متن کاملon the comparison of keyword and semantic-context methods of learning new vocabulary meaning
the rationale behind the present study is that particular learning strategies produce more effective results when applied together. the present study tried to investigate the efficiency of the semantic-context strategy alone with a technique called, keyword method. to clarify the point, the current study seeked to find answer to the following question: are the keyword and semantic-context metho...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1996
ISSN: 0890-5401
DOI: 10.1006/inco.1996.0007