Larch oilasi - Larch family

The Larch oilasi rasmiy spetsifikatsiya tillari hisoblash tizimlarining aniq spetsifikatsiyasi uchun mo'ljallangan. Ular toza spetsifikatsiyaga imkon beradi kompyuter dasturlari va dasturning harakati to'g'risida dalillarni shakllantirish.

Larch oilasi asosan rivojlangan Qo'shma Shtatlar 1980 va 1990 yillarda, tadqiqotchilarni jalb qilgan holda Xerox PARC, DEC / SRC, MIT va boshqa joylar. Dan farqli o'laroq Z belgisi, Larch oilasida bitta til mavjud algebraik spetsifikatsiya ning mavhum ma'lumotlar turlari (LSL, Larch umumiy til) va alohida interfeys tili dasturlar yozilishi kerak bo'lgan har bir tilga mos ravishda (Modula-3, C, Kichik munozarasi, va boshqalar.). Larch loyihasi, shuningdek LP, shu jumladan rasmiy spetsifikatsiyalardan foydalanishni qo'llab-quvvatlovchi vositalarni ishlab chiqdi Larch Prover.

Shuningdek qarang

• Rasmiy usullar

Tashqi havolalar

• MIT Larch uy sahifasi.
• Larch: Rasmiy spetsifikatsiya uchun tillar va vositalar (.PDF), Springer-Verlag (1993). ISBN  0-387-94006-5
• CASL, umumiy algebraik spetsifikatsiya tili.

Bu dasturlash tili bilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.