کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10334223 | 690340 | 2005 | 43 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Semantic essence of AsmL
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
The State Machine Language, AsmL, is a novel executable specification language based on the theory of State Machines. AsmL is object-oriented, provides high-level mathematical data-structures, and is built around the notion of synchronous updates and finite choice. AsmL is fully integrated into the .NET framework and Microsoft development tools. In this paper, we explain the design rationale of AsmL and provide static and dynamic semantics for a kernel of the language.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 343, Issue 3, 17 October 2005, Pages 370-412
Journal: Theoretical Computer Science - Volume 343, Issue 3, 17 October 2005, Pages 370-412
نویسندگان
Yuri Gurevich, Benjamin Rossman, Wolfram Schulte,