کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
423757 685287 2008 19 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Type Checking Circus Specifications
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Type Checking Circus Specifications
چکیده انگلیسی

Circus is a formal language that combines Z, CSP and additional constructors of Morgan's refinement calculus. It is aimed at the development by refinement of state-rich reactive systems. In this work, we define the Circus type system and describe the design and implementation of a type checker. We developed the type checker based directly on the typing rules that formalise the type system of Circus. We believe that this contributed to the robust construction of the type checker. We also discuss the validation strategy of the type checker, including integrations with other Circus tools.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 195, 18 January 2008, Pages 75-93