Euclid

Known as: Euclid (disambiguation), Euclid programming language 
Euclid is an imperative programming language for writing verifiable programs. It was designed by Butler Lampson and associates at the Xerox PARC lab… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
We present a formal system, E, which provides a faithful model of the proofs in 3 Euclid’s Elements, including the use of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
Two characterizations of the Sprague-Grundy function values of Euclid’s game, in terms of the winning strategy of the generalized… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Contents Introduction 1 1 Cyclohexane, cryptography, codes, and computer algebra 9 1.1 Cyclohexane conformations 9 1.2 The RSA… (More)
Is this relevant?
1990
1990
  • C. C. Rodr
  • 1990
This paper is about non-euclidean geometry in the theory of inference. 
Is this relevant?
1981
1981
The programming language Euclid was designed to be used for the construction of reliable and efficient systems software. This… (More)
Is this relevant?
Highly Cited
1978
Highly Cited
1978
In the spirit of the previous axiomatixation of the programming language Pascal, this paper describes Hoare-style proof rules for… (More)
Is this relevant?
1978
1978
The programming language Euclid provides features that support abstract data types, but does not strictly speaking provide a true… (More)
Is this relevant?
1977
1977
Euclid is a language for writing system programs that are to be verified. We believe that verification and reliability are… (More)
Is this relevant?
Highly Cited
1971
Highly Cited
1971
This paper presents an elementary treatment of the theory of subresultants, and examines the relationship of the subresultants of… (More)
Is this relevant?
Highly Cited
1971
Highly Cited
1971
This paper examines the computation of polynomial greatest common divisors by various generalizations of Euclid's algorithm. The… (More)
Is this relevant?