研發對動態型別程式語言裡自定義型別物件的不可變性質檢查之程式設計支援;Developing Programming Support for the Immutability Check on User-Defined Typed Objects in Dynamically Typed Languages

NCU Institutional Repository > 資訊電機學院 > 資訊工程學系 > 研究計畫 > Item 987654321/91382

請使用永久網址來引用或連結此文件: http://ir.lib.ncu.edu.tw/handle/987654321/91382

題名:	研發對動態型別程式語言裡自定義型別物件的不可變性質檢查之程式設計支援;Developing Programming Support for the Immutability Check on User-Defined Typed Objects in Dynamically Typed Languages
作者:	莊永裕
貢獻者:	國立中央大學資訊工程學系
關鍵詞:	程式碼分析;漸進型別;型別提示;抽象解譯;程式語言結構;code analysis;gradual typing;type hint;abstract interpretation;language construct
日期:	2023-07-17
上傳時間:	2024-09-18 14:52:01 (UTC+8)
出版者:	國家科學及技術委員會
摘要:	本計畫之目的在於提供Python這類動態型別語言的程式設計協助，尤其是非程式設計專業的特定領域專家，也能在運用各種函式庫時得以早期發現程式裡可能出現的問題，而不是將錯誤留到讀取大量資料的執行期間，受困於難以理解的錯誤訊息。本研究預期能對廣泛使用這類語言與特定領域函式庫的科學計算、資料科學、機器學習等領域有所助益，在混合不同程式設計風格與多種函式庫使用時，也能了解程式裡資料之間的影響與對應，有效率地撰寫出品質良好的程式碼，節省執行試誤與除錯的時間。由於這類語言經常作為工具用於研究與業界，也期望本研究除了增進程式語言研究的進展，也能有助於運用該類語言的學術社群進行研究，並促進程式設計實務上的應用。
關聯:	財團法人國家實驗研究院科技政策研究與資訊中心
顯示於類別:	[資訊工程學系] 研究計畫

文件中的檔案:

檔案	描述	大小	格式	瀏覽次數
index.html		0Kb	HTML	14	檢視/開啟

在NCUIR中所有的資料項目都受到原著作權保護.

社群 sharing

資料載入中.....