選擇課程回放的形式學習會重新記錄學習進度,面授的學習進度將會被覆蓋是否繼續?
確認申請補簽?
X
*所屬人群:
*單位: *聯系人:
*電話: *地址:
*需求:
確認提交

用戶登錄X

在線客服

幫助中心

APP下載

關注我們

首頁>課程>程序分析技術

程序分析技術 收藏

0人已評價
  • 授課形式:錄播
  • 適用年份:2018/2019年
  • 科       目:專業培訓-計算機科學與技術
  • 學       時:13學時
  • 課程簡介
  • 課程目錄
  • 課程評論

本課程的主題是程序分析技術。劉教授從五個方面講述了程序設計語言及實現技術,包括程序設計語言的發展、元程序設計、數據流和信息流的分析技術、程序切片與部分求值的案例與分析。

  • 錄播
    程序設計語言的發展(一)

    0時47分36秒

  • 錄播
    程序設計語言的發展(二)

    0時47分52秒

  • 錄播
    元程序設計(一)

    0時45分45秒

  • 錄播
    元程序設計(二)

    0時45分37秒

  • 錄播
    元程序設計(三)

    0時48分14秒

  • 錄播
    元程序設計(四)

    0時44分52秒

  • 錄播
    數據流分析技術(一)

    0時48分51秒

  • 錄播
    數據流分析技術(二)

    1時08分50秒

  • 錄播
    信息流分析技術(一)

    0時40分46秒

  • 錄播
    信息流分析技術(二)

    0時43分47秒

  • 錄播
    程序切片與部分求值

    1時05分10秒

講師介紹

劉磊,吉林大學教授,博導。從事程序理論、程序設計語言及實現技術、軟件自動化等方向的研究。特別是在形式化方法、過程式語言的部分求值技術、程序抽象化等方面取得了一批國內領先的研究成果.承擔和參加了國家自然科學基金項目4項、省部級項目2項、協作項目3項、發表學術論文50余篇,其中被三大檢索收錄14篇、學術著作三部。曾榮獲寶鋼優秀教師獎,承擔過多項教改項目、精品課程建設項目,獲得三項省級獎勵。

服務監督電話:020-89192366    技術支持與運營:廣東中人世紀網絡技術有限公司    粵ICP備10228807號-1    ICP證粵B2-20110267  
在群里跟着老师买彩票 奉贤区| 渭源县| 安庆市| 华容县| 潍坊市| 远安县| 桃园县| 教育| 铜山县| 铜山县| 陇南市| 镇宁| 会泽县| 洞头县| 曲靖市| 化德县| 太仓市| 青浦区| 东平县| 佛山市| 黄大仙区| 肇源县| 正蓝旗| 安溪县| 浦北县| 汤原县| 休宁县| 洪江市| 龙江县| 密山市| 鹤峰县| 德州市| 仙游县| 晋中市| 光泽县| 繁峙县| 南投县| 茂名市|