Euclid (programming language): Difference between revisions

Revision as of 18:46, 2 June 2006

Latest revision as of 06:47, 30 September 2023

(16 intermediate revisions by 15 users not shown)

Line 1:

{{Infobox programming language

[[Image:Kool-AidMan.jpg]]

| name = Euclid

[[Image:Kool-AidMan.jpg]]

| logo =

[[Image:Kool-AidMan.jpg]]

| paradigm = [[Multi-paradigm programming language|multi-paradigm]]: [[structured programming|structured]], [[Imperative programming|imperative]], [[Functional programming|functional]]

[[Image:Kool-AidMan.jpg]]

| year = 1970s

[[Image:Kool-AidMan.jpg]]

| designer = [[Butler Lampson]], [[James G. Mitchell]], [[Jim Horning]], Ralph L. London, [[Gerald J. Popek]]

[[Image:Kool-AidMan.jpg]]

| developer = [[Ric Holt]] and [[James Cordy]]

[[Image:Kool-AidMan.jpg]]

| latest_release_version = <!--X.Y.Z/{{release date|mf=yes|YYYY|MM|DD}}-->

[[Image:Kool-AidMan.jpg]]

| latest release date =

[[Image:Kool-AidMan.jpg]]

| typing = [[strong typing|strong]], [[static typing|static]]

[[Image:Kool-AidMan.jpg]]

| implementations =

[[Image:Kool-AidMan.jpg]]

| dialects =

[[Image:Kool-AidMan.jpg]]

| influenced_by = [[Pascal (programming language)|Pascal]], [[Mesa (programming language)|Mesa]], [[Alphard (programming language)|Alphard]], [[CLU (programming language)|CLU]], Gypsy, [[BCPL]], [[Modula]], [[LIS (programming language)|LIS]], SUE

[[Image:Kool-AidMan.jpg]]

| influenced = [[Concurrent Euclid (programming language)|Concurrent Euclid]], [[Turing (programming language)|Turing]]

[[Image:Kool-AidMan.jpg]]

| operating_system =

[[Image:Kool-AidMan.jpg]]

| license =

[[Image:Kool-AidMan.jpg]]

| website =

[[Image:Kool-AidMan.jpg]]

| file_ext =

[[Image:Kool-AidMan.jpg]]

}}

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

[[Image:Kool-AidMan.jpg]]

'''Euclid''' is an imperative programming language for writing [[Formal verification|verifiable]] programs. It was designed in the mid-1970s by [[Butler Lampson]] and associates[[James G. Mitchell]] at the [[Xerox PARC]] lab in collaboration with [[Jim Horning]] at the mid[[University 1970sof Toronto]], Ralph L. London at [[Information Sciences Institute|USC ISI]] and [[Gerald J. Popek]] at [[University of California, Los Angeles|UCLA]]. The implementation was led by [[Ric Holt]] at the [[University of Toronto]] and [[James Cordy]] was the principal programmer for the first implementation of the [[compiler]]. It was originally designed for the [[Motorola]] [[6809]] microprocessor. It was considered innovative for the time; the compiler development team had a $2 million dollar budget over 2 years and was commissioned by the [[Defense Advanced Research Projects Agency]] of the [[United States Department of Defense|U.S. Department of Defense]] and the [[Department of National Defence (Canada)|Canadian Department of National Defence]]. It was used for a few years at [[I. P. Sharp Associates]], [[MITRE|MitreMITRE Corporation]], [[SRI International]] and various other international institutes for research in systems programming and secure software systems.

Euclid is descended from the [[Pascal programming language|Pascal]], [[Mesa (programming language)|Mesa]], [[Alphard (programming language)|Alphard]], [[CLU (programming language)|CLU]], Gypsy, [[BCPL]], [[Modula]], [[LIS (programming language)|LIS]], and SUE. Functions in Euclid are closed scopes, may not have side effects, and must explicitly declare imports. Euclid also disallows gotos[[GOTO|goto]]s, floating point numbers, global assignments, [[nested functionsfunction]]s and aliases, and none of the actual parameters to a function can refer to the same thingmemory cell (which Euclid calls a "variable"). Euclid implements modules as types. DescendentsDescendants of Euclid include the [[MesaConcurrent Euclid programming language]], [[Concurrent Euclid]] and the [[Turing programming language]].

==External links==

*[http://portal.acm.org/citation.cfm?id=804077954666.971189 ACMB.W. paper:Lampson, TheJ.J. Horning, R.L. London, J.G. Mitchell and G.J. Popek 1977. Report on the programming language Euclid. SIGPLAN Notices 12, Language:2 a(February progress1977), report1-79.]

*[http://portal.acm.org/citation.cfm?id=804077 R.C. Holt, D.B. Wortman, J.R. Cordy and D.R. Crowe 1978. The Euclid Language: a progress report. In Proceedings of the 1978 Annual Conference (Washington, D.C., United States, December 04 - 06, 1978), 111-115.]

*[http://portal.acm.org/citation.cfm?id=802513 D.B. Wortman and J.R. Cordy 1981. Early experiences with Euclid. In Proc. 5th international Conference on Software Engineering (San Diego, California, United States, March 09 - 12, 1981), 27-32.]

[[Category:ProgrammingProcedural programming languages]]

[[Category:Programming languages created in the 1970s]]

[[Category:Statically typed programming languages]]

[[Category:Systems programming languages]]