Жылтыр (бағдарламалау тілі) - Lustre (programming language)
Жылтыр Бұл ресми түрде анықталған, декларативті, және синхронды мәліметтер ағынымен бағдарламалау реактивті жүйелерді бағдарламалауға арналған тіл. Ол ғылыми жоба ретінде 1980 жылдардың басында басталды. Тілдің ресми тұсаукесерін 1991 жылғы IEEE еңбектерінен табуға болады.[1] 1993 жылы ол өндірістік ортаның негізгі тілі ретінде коммерциялық өнімде практикалық, өнеркәсіптік қолдануға көшті СКАД, әзірлеген Esterel Technologies. Ол қазір маңызды басқару бағдарламалық жасақтамасында қолданылады ұшақ,[2] тікұшақтар, және атом электр станциялары.
Luster бағдарламаларының құрылымы
Luster бағдарламасы - бұл түйін анықтамалар:
foo (a: bool) түйіні қайтарады (b: bool); b b = емес болсын; тел
Қайда ақымақ - түйіннің аты, а - бұл түйіннің бір кірісінің аты және б - бұл жалғыз шығарылымның атауы.Бұл мысалда түйін ақымақ оның енгізілуін жоққа шығарады а, бұл күтілетін нәтиже.
Ішкі айнымалылар
Қосымша ішкі айнымалыларды келесідей жариялауға болады:
түйін Nand (X, Y: bool) қайтарады (Z: bool); var U: bool; U = X және Y болсын; Z = U емес; тел
Ескерту: теңдеулер реті маңызды емес, жолдардың реті U = X және Y; және Z = U емес; нәтижені өзгертпейді.
Арнайы операторлар
алдын ала б | Алдыңғы мәнін қайтарады б |
б -> q | Орнатыңыз б өрнектің бастапқы мәні ретінде q |
Мысалдар
Жиектерді анықтау
Edge түйіні (X: bool) қайтарады (E: bool); E = false -> X болсын, ал X емес; tel
Сондай-ақ қараңыз
- Эстерель
- Сигнал (басқа ақпарат ағынына бағытталған синхронды тіл)
- Синхронды бағдарламалау тілі
- Dataflow бағдарламалау
Әдебиеттер тізімі
- ^ [1] N. Halbwachs және басқалар. Синхронды мәліметтер ағынының бағдарламалау тілі LUSTER. Proc. IEEE 1991 т. 79, No 9. Қолданылған: 17 наурыз 2014 ж.
- ^ «SCADE жетістік тарихы». Алынған 8 маусым 2013.
Сыртқы сілтемелер
- Синхронды зертхана Ресми сайт
- СКАД өнім беті
 | Бұл бағдарламалау тілі - қатысты мақала а бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту. |