THE EUCI.m LANGUAGE: A PROGRESS REPORT

Abstract

Euclid is a p r o g r a m m i n g language for writing verifiable s y s t e m programs . A compi ler for Euclid is being i m p l e m e n t e d by the authors . Since i ts def ini t ion [I], the language has evolved largely in r e sponse to p rob lems discovered in t h e course of imp lemen ta t i on . This paper gives a s u m m a r y of language changes… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics