کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
424362 685420 2007 5 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications
چکیده انگلیسی

The Structural Operational Semantics Development Tooling (SOSDT) Eclipse Plugin integrates the Relational Meta-Language (RML) compiler and debugger with the Eclipse Integrated Development Environment Framework. SOSDT, together with the RML compiler and debugger, provides an environment for developing and maintaining executable Structural Operational Semantics specifications, including the Natural Semantics big step variant of SOS specifications. The RML language is successfully used at our department for writing large specifications for a range of languages like Java, Modelica, Pascal, MiniML etc. The SOSDT environment includes support for browsing, code completion through menus or popups, code checking, automatic indentation, and debugging of specifications.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 175, Issue 1, 14 May 2007, Pages 71-75