(Named after the Greek geometer, fl ca 300 BC.) A Pascal descendant for development of verifiable system software. No goto, no side effects, no global assignments, no functional arguments, no nested procedures, no floats, no enumeration types. Pointers are treated as indices of special arrays called collections. To prevent aliasing, Euclid forbids any overlap in the list of actual parameters of a procedure. Each procedure gives an imports list, and the compiler determines the identifiers that are implicitly imported. Iterators.

Ottawa Euclid is a variant.

["Report on the Programming Language Euclid", B.W. Lampson et al, SIGPLAN Notices 12(2):1-79, Feb 1977].

• Sell Your Home Fast. Find and Compare REALTORS®.
  Let local Realtors® compete for your business. Use HomeGain's free service to compare Realtors® by commission, experience and more. Free, no obligation.
  www.homegain.com
• Euclid Minnesota Areaguide: Click Here!
  Euclid Minnesota Areaguide. You will also find information on lodging, maps, real estate, yellow & white page listings, dining, discount hotel reservations, weather, coupons, demographics news & more.
  euclidmn.areaguides.net
• Euclid Jobs
  View Euclid job listings and apply online.
  www.jobscity.net
• Find Books By Euclid
  Buy used, new, rare and out-of-print books by Euclid. Millions of books from thousands of booksellers worldwide all in one, easy-to-search Web site. Find it at Alibris.
  www.alibris.com