
	Where results make sense

Topic: Christopher Strachey

Related Topics

Reduce computer algebra system

CTSS

Adam Smith (politician)

Jope Seniloli

Chess (musical)

French Monarchy

Mission Viejo, California

West Springfield, Massachusetts

Newborough, Anglesey

Burnham Thorpe

Diya Mirza

Charles Vyner Brooke

Ryk Neethling

Vinko Bogataj

List of popes

In the News (Fri 17 Feb 12)

EXECUTIVE POWER

Iran

ANALYSIS

Pakistan

Family compact

	Christopher Strachey - Wikipedia, the free encyclopedia
		Christopher Strachey (1916–1975) was a British computer scientist.
		Strachey was one of the founders of denotational semantics, and a pioneer in programming language design.
		An interesting quote in that regard is "Optimum programming is to be avoided because it tends to become a time-wasting intellectual hobby of the programmers" (slightly paraphrased).
	en.wikipedia.org /wiki/Christopher_Strachey (229 words)

	Dana Scott - Wikipedia, the free encyclopedia
		His work on automata theory earned him the ACM Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages.
		This period saw Scott working close to Christopher Strachey, and the two managed, despite intense administrative pressures, to oversee a great deal of fundamental work on providing a mathematical foundation for the semantics of programming languages, the work for which Scott is best known.
		Together their work constitutes the Scott-Strachey approach to denotational semantics, and it is constitutes one of the most deeply influential pieces of work in theoretical computer science, and can perhaps be regarded as founding one of the major schools of computer science.
	en.wikipedia.org /wiki/Dana_Scott (662 words)

	Christopher Strachey -- Facts, Info, and Encyclopedia article (Site not responding. Last check: 2007-10-08)
		Christopher Strachey (1916–1975) was a (The people of Great Britain) British (A scientist who specializes in the theory of computation and the design of computers) computer scientist.
		Strachey was one of the founders of (Click link for more info and facts about denotational semantics) denotational semantics, and a pioneer in ((computer science) a language designed for programming computers) programming language design.
		While he did not invent the function, Strachey coined the term (Click link for more info and facts about Currying) Currying.
	www.absoluteastronomy.com /encyclopedia/C/Ch/Christopher_Strachey.htm (154 words)

	Higher-Order and Symbolic Computation: Editorial, 13(1/2)5-6
		This issue of HOSC is dedicated to the memory of Christopher Strachey, 25 years after his passing away [2].
		Christopher Wadsworth (who coined the term `continuation') kindly agreed to write a foreword.
		Barbara Strachey Halpern, who was Christopher Strachey's sister and executor, agreed to our proposal to reprint the lecture notes, wishing us well with the project.1 Daniel Damian, Bernd Grobauer, and Karen Møller typeset the lecture notes and the technical monograph.
	www.brics.dk /~hosc/vol13/1-editorial.html (630 words)

	AIM25: Women's Library: Autograph Letter Collection: Strachey Letters
		Richard Strachey was born in 1861 became a soldier at a young age.
		Dorothea Strachey, later Bussy, the writer who published her most famous work 'Olivia' anonymously in 1948, was born in 1866 and was educated at Les Ruches in Fontainbleau where Marie Souvestre, the daughter of Emile Souvestre, was the head of the school.
		Her daughter, Philippa Strachey, known as Pippa, was born in 1872.
	www.aim25.ac.uk /cats/65/6814.htm (1401 words)

	Encyclopedia: Christopher Strachey (Site not responding. Last check: 2007-10-08)
		Computer science (informally: CS or compsci) is, in its most general sense, the study of computation and information processing, both in hardware and in software.
		The Combined Programming Language (CPL) was a computer programming language developed jointly between the Mathematical Laboratory at the University of Cambridge and the University of London Computer Unit during the 1960s.
		In the history of computing, optimum programming is the practice of arranging a programs instructions in memory so as to minimize the the time the machine spends waiting for instructions.
	www.nationmaster.com /encyclopedia/Christopher-Strachey (790 words)

	Denotational semantics - Wikipedia, the free encyclopedia
		The field was originally developed by Christopher Strachey and Dana Scott in the 1960s.
		A key concept in denotational semantics is the principle of compositionality: the meaning of an expression (or indeed a whole program) is composed of the meaning of its constituent parts.
		As mentioned earlier, the field was initially developed by Christopher Strachey and Dana Scott in the 1960s and then Joe Stoy in the 1970s at the Programming Research Group, part of the Oxford University Computing Laboratory.
	www.wikipedia.org /wiki/Denotational_semantics (1905 words)

	Christopher Strachey: recollections of his influence
		This exhilarating and elegant combination of programming language theory (Strachey) and sophisticated mathematics (Scott) generated tremendous excitement and was seen as a major breakthrough and a very hot topic for research.
		Techniques developed by Strachey's student Chris Wadsworth [9] turned out to be suitable for showing the equivalence of a semantics of recursive Lisp procedures using knots to a semantics using fixed-points.
		Strachey strongly influenced my early research and his ideas had a substantial impact on the course of my academic activities: the first class I ever taught was on denotational semantics and it gave rise to an early textbook describing the methods of Strachey and his students [5].
	www.cl.cam.ac.uk /users/mjcg/Strachey/gordon.html (831 words)

	Review: Carrington (Site not responding. Last check: 2007-10-08)
		Though Dora, a heterosexual woman who didn't lose her virginity until she was in her twenties, and Strachey, an avowed homosexual, each had an assortment of male bed partners, they were intensely devoted to each other with a passion that was "all absorbing" and "self-abasing".
		Strachey would go on to write several unique biographies, using a style characterized by "a brevity which excludes everything that is redundant and nothing that is significant." The 1918 publication of Eminent Victorians cemented Strachey's literary reputation.
		Strachey and Dora don't have sex, but their love is definitely neither unrequited nor unacknowledged.
	movie-reviews.colossus.net /movies/c/carrington.html (657 words)

	Grand Text Auto » Christopher Strachey: The first digital artist?
		Christopher Strachey is rightly viewed as a pioneer of modern computing.
		Strachey, born in 1916, grew up on Gordon Square, which was then center of the Bloomsbury group.
		It is clear, however, from Strachey’s contribution to Encounter, that he also understood the other side of combinatory literature — the view of the system itself when one steps back from the individual outputs, the remarkable diversity that can be produced by a simple plan.
	grandtextauto.gatech.edu /2005/08/01/christopher-strachey-first-digital-artist (4461 words)

	Christopher Strachey (1916-1975)
		Christopher Strachey was the first leader of the
		April 2000 issue of Higher-Order and Symbolic Computation (Volume 13, Issue 1/2) was dedicated to the memory of Christopher Strachey, 25 years after his passing away, and includes his previously unpublished lecture notes "Fundamental Concepts in Programming Languages".
		Joe Stoy, a co-author with Strachey and lecturer at the PRG.
	vmoc.museophile.com /pioneers/strachey.html (318 words)

	REMINISCENCES ON THE HISTORY OF TIME SHARING (Site not responding. Last check: 2007-10-08)
		By time-sharing, I meant an operating system that permits each user of a computer to behave as though he were in sole control of a computer, not necessarily identical with the machine on which the operating system is running.
		Christopher Strachey may well have been correct in saying in his letter to Donald Knuth that the term was already in use for time-sharing among programs written to run together.
		Their correction in Scientific American was incorrect, because they supposed that Strachey and I had developed the idea independently, whereas giving each user continuous access to the machine wasn't Strachey's idea at all.
	www-formal.stanford.edu /jmc/history/timesharing/timesharing.html (2683 words)

	Program Verification and Semantics: Report
		The group was the outcome of a strong battle between Leslie Fox and Christopher Strachey who, at the beginning of the 1960s, had opposing views with regard to computing machines and the most appropriate use of them.
		Strachey’s major objective was the definition of the basic concepts that allowed the description of all the parts of a programming language in term of mathematical declarative expressions, so that it would not be necessary to postulate an “evaluating mechanism.”
		Strachey himself underlined Dana’s role in his results, reporting progress directly to the Science Research Council (SRC) in 1970.
	vmoc.museophile.com /pvs01/report.html (1471 words)

	Fathom :: The Source for Online Learning
		The designer Christopher Strachey (1916-75) was at this time working at the National Research and Development Corporation (NRDC) and was an enthusiastic supporter of the package concept.
		Strachey also proposed a new type of logic design, the 'order code' for the computer.
		Strachey's order-code structure persisted into the late 1970s in the ICL 1900 range of computers.
	www.fathom.com /feature/122025 (861 words)

	Christopher Strachey (Site not responding. Last check: 2007-10-08)
		Strachey es uno de los fundadores de la semántica del denotational, y un pionero en diseño del lenguaje de programación.
		Strachey trabajó de cerca con Dana Scott y Peter Landin en los años 60.
		Un concepto debido a Strachey que sea familiar a todos los programadores de C es la distinción entre el l y los R-valores.
	www.yotor.net /wiki/es/ch/Christopher%20Strachey.htm (113 words)

	Strachey Lecture in Computing Science, TT96
		This is the third of a termly series of Distinguished Lectures named after Christopher Strachey, the first Professor of Computation at Oxford University.
		Christopher Strachey and Dana Scott created the subject of the denotational semantics of programming languages around 1969.
		The subject is both broad and deep, ranging from the mathematical theory of domains, through the study of programming languages, to practical application.
	www.comlab.ox.ac.uk /oucl/strachey/plotkin-tt96.html (107 words)

	Strachey (Site not responding. Last check: 2007-10-08)
		Specialty definitions using "Strachey": Christopher Strachey ♦ General Purpose Macro-generator ♦ Sartor Resartus, Strachey, Christopher.
		"Strachey" is generally used as a noun (proper) -- approximately 100.00% of the time.
		"Strachey" is used about 53 times out of a sample of 100 million words spoken or written in English.
	www.websters-online-dictionary.org /St/Strachey.html (473 words)

	Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering (ResearchIndex) (Site not responding. Last check: 2007-10-08)
		Abstract: In collaboration with his colleagues at Oxford, Christopher Strachey pioneered the analysis of programming languages in terms of semantic features.
		Three of Strachey's contributions--inductive definition of semantics, semantic-domain definitions, and calculi for semantic description--are presented, and their consequences on languages research are described.
		Strachey's impact, present and future, on the computer programming "mainstream" is also outlined.
	citeseer.lcs.mit.edu /schmidt99induction.html (789 words)

	Formal Methods Day at Royal Holloway
		The underlying aim is to give a definitive analysis of concepts such as procedures, references and local state, continuations and exceptions, which are at the core of today's programming languages, including object-oriented languages such as Java.
		This version of Strachey's programme has seemed well out of reach for the 20 years following the publication of his monograph.
		The key ideas of games semantics will be presented informally, and the progress towards completing Strachey's programme, and some key issues for future research, will be discussed.
	www.seas.upenn.edu /~sweirich/types/archive/1997-98/msg00213.html (750 words)

	Higher-Order and Symbolic Computation, Volume 13
		Michael J. Gordon: Christopher Strachey: Recollections of His Influence.
		Martin Richards: Christopher Strachey and the Cambridge CPL Compiler.
		Christopher Strachey, Christopher P. Wadsworth: Continuations: A Mathematical Semantics for Handling Full Jumps.
	www.informatik.uni-trier.de /~ley/db/journals/lisp/lisp13.html (174 words)

	CSE 230 Notes, Sethi 4 (Site not responding. Last check: 2007-10-08)
		By hiding the representation of a data type, they make it impossible for certain kinds of problem to arise; one example would be the infamous Y2K problem.
		In lectures notes from 1967, Christopher Strachey of Oxford University gave a classification of the different kinds of polymorphism.
		This is the same Strachey who introduced CPL, which was implemented as BCPL and inspired C (the "C" is for Christopher); he also introduced the very useful notions of "l-value" and "r-value" in these same lecture notes; and he is the co-founder with Dana Scott of denotational semantics.
	www-cse.ucsd.edu /users/goguen/courses/230/s4.html (517 words)

	Abstrct (Site not responding. Last check: 2007-10-08)
		In his 1967 lecture notes, Christopher Strachey states that macrogenerators are useful as the only alternative to rewriting the compiler when language extensions are needed.
		He also states, however, that they deal inappropriately with programs as strings of symbols, ignoring their semantic content, and that they lead to inconvenient syntax and often less transparent code.
		He concludes that a goal of language designers should be to eliminate the need for macrogeneration.
	www.cs.indiana.edu /~dyb/pubs/HOSC-13-12-pp57-63-abstract.html (146 words)

	Christopher Strachey - Encyclopedia, History and Biography
		Christopher Strachey (1916-1975) (http://vmoc.museophile.com/pioneers/strachey.html) at the Virtual Museum of Computing
		This page was last modified 06:18, 3 Apr 2005.
		The article about Christopher Strachey contains information related to Christopher Strachey, References and External links.
	www.arikah.net /encyclopedia/Christopher_Strachey (191 words)

	History of C++ (Site not responding. Last check: 2007-10-08)
		In 1966, Christopher Strachey assembled a collection of working papers on a language called CPL (Combined Programming Language).
		It was never actuall implemented, but was used basically to study the theory of programming languages.
		Pascal enjoyed brief popularity in the academic community because it is easy to learn, but is not well-suited for large-scale programming tasks.
	www.onr.com /user/mitchell/lhs/99-00/archives/examples/history.html (408 words)

	Citations: Toward a mathematical semantics for computer languages - Scott, Strachey (ResearchIndex) (Site not responding. Last check: 2007-10-08)
		Scott, C. Strachey, Toward a mathematical semantics for computer languages, in: J. Fox (Ed.), Proceedings of the Symposium on Computers and Automata, Vol.
		A paradigmatic example of the development of a semantic theory of processes in which operational, axiomatic, and denotational semantics coexist harmoniously, and may be used to highlight different aspects of process behaviours, is the theory of testing equivalence developed by De....
		In this method, each program statement is associated with a meaning or denotation which is typically a function mapping the input to the output of the statement.
	sherry.ifi.unizh.ch /context/28825/0 (4865 words)

	The Strachey Lecture
		This is the twenty-second of a termly series of Distinguished Lectures named after Christopher Strachey, the first Professor of Computation at Oxford University.
		Modern encryption is based on unproven assumptions concerning the intractability of certain computational tasks.
		Israel Prize in C.S., the Rothschild Prize in Mathematics, membership in the US National Academy of Sciences, the Israel Academy of Sciences and Humanities, the French Academy of Sciences as well as several honorary doctorates.
	www.comlab.ox.ac.uk /oucl/strachey/rabin-mt02.html (184 words)

	Lisp and Symbolic Computation (Site not responding. Last check: 2007-10-08)
		77--81 Roger Penrose Reminiscences of Christopher Strachey 83--84 Martin Richards Christopher Strachey and the Cambridge CPL Compiler.
		103--114 Joe Stoy Christopher Strachey and Fundamental Concepts.
		131--133 Christopher Strachey and Christopher P. Wadsworth Continuations: A Mathematical Semantics for Handling Full Jumps.
	www.math.utah.edu:8080 /ftp/pub/tex/bib/toc/higherordersymbcomput.html (1264 words)

Try your search on: Qwika (all wikis)