Titlebook: VLISP A Verified Implementation of Scheme; A Special Issue of L Joshua D. Guttman,Mitchell Wand Book 1995 Springer Science+Business Media N

只看該作者 · 發(fā)表于 2025-3-23 19:46:53

The VLISP Verified Scheme System,official denotational semantics for Scheme provides the main criterion of correctness. The Wand-Clinger technique was used to prove correctness of the primary compiler step. Then a state machine operational semantics is proved to be faithful to the denotational semantics. The remainder of the implem

只看該作者 · 發(fā)表于 2025-3-23 23:05:53

只看該作者 · 發(fā)表于 2025-3-24 06:21:10

Book 1995or elements in this verification were: ? The proof was based on the Clinger-Rees denotational semantics of Scheme given in [15). Our goal was to produce a "warts-and-all" verification of a real language. With very few exceptions, we constrained ourselves to use the se- mantic specification as publis

只看該作者 · 發(fā)表于 2025-3-24 06:38:04

of the major elements in this verification were: ? The proof was based on the Clinger-Rees denotational semantics of Scheme given in [15). Our goal was to produce a "warts-and-all" verification of a real language. With very few exceptions, we constrained ourselves to use the se- mantic specification

只看該作者 · 發(fā)表于 2025-3-24 14:13:42

只看該作者 · 發(fā)表于 2025-3-24 18:49:40

只看該作者 · 發(fā)表于 2025-3-24 22:08:37

http://image.papertrans.cn/v/image/980074.jpg

只看該作者 · 發(fā)表于 2025-3-25 00:01:35

		自動登錄	找回密碼
密碼			To register

關于派博傳思			派博傳思旗下網(wǎng)站			友情鏈接
派博傳思介紹	公司地理位置	論文服務流程	影響因子官網(wǎng)	吾愛論文網(wǎng)	大講堂	北京大學	Oxford Uni.	Harvard Uni.
發(fā)展歷史沿革	期刊點評	投稿經(jīng)驗總結	SCIENCEGARD	IMPACTFACTOR	派博系數(shù)	清華大學	Yale Uni.	Stanford Uni.
\|Archiver\|手機版\|小黑屋\| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-7 19:30
Copyright © 2001-2015 派博傳思京公網(wǎng)安備110108008328 版權所有 All rights reserved