建站
咨詢
售后
建站咨詢
新聞中心
編程語言最近（再次）成為研究的主要題目，并且，這次人們仔細(xì)地關(guān)注它們的語義基礎(chǔ)：
創(chuàng)新互聯(lián)建站主要從事成都網(wǎng)站建設(shè)、成都網(wǎng)站制作、網(wǎng)頁設(shè)計(jì)、企業(yè)做網(wǎng)站、公司建網(wǎng)站等業(yè)務(wù)。立足成都服務(wù)甘肅,10年網(wǎng)站建設(shè)經(jīng)驗(yàn),價格優(yōu)惠、服務(wù)專業(yè),歡迎來電咨詢建站服務(wù):18980820575
程序就是帶有語義的結(jié)構(gòu)化對象。結(jié)構(gòu)讓我們可以對程序做轉(zhuǎn)換。而語義則為我們提供了比較程序以及推斷轉(zhuǎn)換有效性的方法。語義包括程序的外延和內(nèi)涵行為。
程序轉(zhuǎn)換（Program Transformation）也得益于這種新的研究浪潮，并且已經(jīng)有公司成功發(fā)布了商業(yè)化的產(chǎn)品。
程序轉(zhuǎn)換是把一種程序轉(zhuǎn)換為另一種的操作。而術(shù)語“程序轉(zhuǎn)換”也被用于描述實(shí)現(xiàn)程序轉(zhuǎn)換的算法。程序中被轉(zhuǎn)換的語言和編寫得到的程序所用的語言分別被叫做源語言和目標(biāo)語言。
Adrian Thurston最近發(fā)布了Colm（計(jì)算機(jī)語言處理）的***個版本，這種語言被設(shè)計(jì)用來對計(jì)算機(jī)語言進(jìn)行分析和轉(zhuǎn)換。
Adrian是在皇后大學(xué)（ON，Canada）讀博士期間開發(fā)了Colm。他解釋說：
一種轉(zhuǎn)換語言會擁有基于正規(guī)語言的類型系統(tǒng)。它不會定義類或是數(shù)據(jù)結(jié)構(gòu)，而是會定義語法。根據(jù)語法會自動構(gòu)造解析器，而這個解析器會用于兩種目的： 解析輸入語言，并解析執(zhí)行分析的程序中的結(jié)構(gòu)模式。在這種設(shè)定中，基于語法的解析非常重要，因?yàn)樗_保輸入和結(jié)構(gòu)化模式都從同樣的類型系列解析為樹狀結(jié)構(gòu)，從而讓我們可以進(jìn)行比較。
Colm的主要貢獻(xiàn)在于解析方法。
Colm的解析引擎是廣義上的，但是它也考慮到了對二進(jìn)制全局?jǐn)?shù)據(jù)結(jié)構(gòu)的構(gòu)建，那種結(jié)構(gòu)可以在解析過程中查詢。在其它廣義的方法中，對全局?jǐn)?shù)據(jù)的構(gòu)建需要慎重的考慮，因?yàn)樵诮馕龇椒ㄖ袝嬖诠逃械牟l(fā)操作。這是一種非常巧妙的方法，經(jīng)?？梢栽诳傮w上避免問題的發(fā)生，并把問題延遲到對解析森林在解析之后的后續(xù)處理中。
使用Colm，我們可以在對輸入的***次遍歷過程中就獲得正確的解析樹，并確保某些回溯操作是可接受的。Colm讓我們不需要推斷對全局?jǐn)?shù)據(jù)的并發(fā)更新，也不需要獲取很多可能的解析樹，只是把錯誤的拋棄即可。
元編程（也叫做面向元模型的編程）取得了很大進(jìn)展，這多虧有了對語言工作臺和像Colm這樣強(qiáng)大的轉(zhuǎn)換技術(shù)的開發(fā)。你可能會使用一種嗎？ 你已經(jīng)使用一種了嗎？你選擇的是哪種呢？
英文原文：http://www.infoq.com/news/2011/05/colm
本文題目：Colm語言簡介
本文URL：http://www.dlmjj.cn/article/cdsjegc.html
