دانلود مقاله ISI انگلیسی شماره 148923
کد مقاله سال انتشار مقاله انگلیسی ترجمه فارسی تعداد کلمات
148923 2017 15 صفحه PDF سفارش دهید 8650 کلمه
خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
عنوان انگلیسی
A compiler for MSVL and its applications
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Theoretical Computer Science, Available online 12 August 2017

پیش نمایش مقاله
پیش نمایش مقاله

چکیده انگلیسی

In this paper, we present a method for implementing a compiler called MC for Modeling, Simulation and Verification Language (MSVL) based on LLVM. MC accepts a well formed MSVL program as input and generates an executable binary code. Different from other compilers, MC can be used not only to compile programs but also to model and verify programs. The details of implementation including the architecture design, lexical, syntactic and semantic analysis, as well as preprocessing and scheduling algorithms. Besides, we show MC can be utilized as an infrastructure for Artificial Intelligence (AI) planning. Several examples are given to show applications of MC in modeling and verifying programs, as well as AI planning.

خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.