Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

14 relations
CompilerConcurrent Euclid (ConEuc)Formal verificationFunctional programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Limited accuracy of linearized gravity
Standard cosmological models rely on an approximate treatment of gravity, utilizing solutions of the linearized Einstein… 
Highly Cited
2015
Highly Cited
2015
Infinity computations in cellular automaton forest-fire model
2010
2010
A genetic algorithm based on extended sequence and topology encoding for the multicast protocol in two-tiered WSN
2009
2009
Toward a Stereotomic Design: Experimental Constructions and Didactic Experiences
The present study explores the possibility of tying up again the broken thread of research on stone- cutting construction… 
2008
2008
The Annotated Flatland: A Romance of Many Dimensions
The first-ever annotated edition of the beloved classic, beautifully illustrated and brilliantly brought to life for a new… 
2007
2007
Coupled electro-thermal simulation of a DC/DC converter
2000
2000
Data dependence analysis for array references
1998
1998
Boron-modified polysilylcarbodi-imides as precursors for Si–B–C–N ceramics: Synthesis, plastic-forming and high-temperature behavior
The synthesis, by two different reaction pathways, of boron-modified polysilylcarbodi-imides of general type {B[C 2 H 4 Si(R)NCN… 
1998
1998
Reflections and Projections on Creativity in Operations Research and Management Science: A Pressing Need for a Shift in Paradigm
This paper is an outgrowth of a talk given at a plenary session of the national meeting of ORSA/TIMS (now INFORMS) in May of 1996… 
Highly Cited
1990
Highly Cited
1990
Weakly Associative Groups
The space ℝc3 of 3-dimensional relativistically admissible velocities possesses (i) a binary operation which represents the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)