مرکز منطقه ای اطلاع رساني علوم و فناوري - High-confidence, modular compiler development in a formal environment

DocumentCode :

25402

Title :

High-confidence, modular compiler development in a formal environment

Author :

Jason Hickey استاد راهنما

University :

Caltche library System

Grade :

نامعلوم

Major :

Master of Science

Number of pages :

Publish Date :

2005

Keyword :

theorem provers , Compilers , compiler verification , formal compilers , formal toolkits , meta-prl , theorem provers , Compilers , compiler verification formal compilers , formal toolkits , meta-prl , metaprl , metaprl

Note :

Language :

انگليسي

Link To Document :

https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=17&DC=25402