Find link

language:

Find link is a tool written by Edward Betts.

searching for Programming Research Group 14 found (35 total)

alternate case: programming Research Group

Eurisko (960 words) [view diff] case mismatch in snippet view article find links to article

VLSI chip design. Previously, Lenat had worked at the automatic-programming research group at the Stanford Artificial Intelligence Laboratory, and was coauthor

Chris Verhoef (398 words) [view diff] exact match in snippet view article find links to article

in process algebra." Verhoef had done his graduate work at the Programming Research Group of the University of Amsterdam, where in 1990 he had published

Occam (programming language) (1,097 words) [view diff] exact match in snippet view article

Charles Antony Richard (1986). The Laws of Occam Programming. Programming Research Group, Oxford University. Egorov, A., Technical University – Sofia,

Alma-0 (627 words) [view diff] no match in snippet view article find links to article

Language with Backtracking (PDF) (Report). University of Amsterdam Programming, Research Group. Archived (PDF) from the original on 29 November 2023. Retrieved

Lispkit Lisp (565 words) [view diff] exact match in snippet view article find links to article

Oxford, England: University of Oxford: Computing Laboratory: Programming Research Group. Henderson, Peter; Jones, Geraint A.; Jones, Simon B. (1 December

Bracket (5,775 words) [view diff] exact match in snippet view article find links to article

for Computer Languages. Oxford University Computing Laboratory, Programming Research Group. "Part, Wolfram Language function". Reference.Wolfram.com. Wolfram

Denotational semantics (3,768 words) [view diff] exact match in snippet view article find links to article

Toward a mathematical semantics for computer languages Oxford Programming Research Group Technical Monograph. PRG-6. 1971. Jan Jürjens. J. Games In The

Institute for Logic, Language and Computation (520 words) [view diff] case mismatch in snippet view article find links to article

established as a University Research Institute. During 1991–1996 the programming research group of the Faculty of Mathematics and Computer Science was also part

Operational semantics (2,565 words) [view diff] exact match in snippet view article find links to article

Dana S. Scott. Outline of a Mathematical Theory of Computation, Programming Research Group, Technical Monograph PRG–2, Oxford University, 1970. Adriaan van

Quasi-quotation (1,272 words) [view diff] exact match in snippet view article find links to article

for computer languages, Oxford University Computing Laboratory, Programming Research Group. Quine, W. V. (2003) [1940]. Mathematical Logic (Revised ed.)

Scientific notation (4,856 words) [view diff] exact match in snippet view article find links to article

TRANSlating System, FORTRAN (PDF) (Preliminary report). New York: Programming Research Group, Applied Science Division, International Business Machines Corporation

Exponentiation (13,693 words) [view diff] exact match in snippet view article find links to article

TRANSlating System, FORTRAN (PDF) (Preliminary report). New York, USA: Programming Research Group, Applied Science Division, International Business Machines Corporation

Information algebra (2,296 words) [view diff] exact match in snippet view article find links to article

Technical Monograph PRG–2, Oxford University Computing Laboratory, Programming Research Group Scott, D.S. (1982), "Domains for denotational semantics", in M

Denotational semantics of the Actor model (3,346 words) [view diff] exact match in snippet view article find links to article

Toward a mathematical semantics for computer languages Oxford Programming Research Group Technical Monograph. PRG-6. 1971. Irene Greif. Semantics of Communicating