PLDB
Languages Features Calendar CSV Lists Blog About Sponsor Add Language
GitHub icon

Turing

Turing

Turing is a pl created in 1982 by Ric Holt.

#203on PLDB 40Years Old 525Users
34Books 12Papers 524Repos

Turing is a Pascal-like programming language developed in 1982 by Ric Holt and James Cordy, then of University of Toronto, Canada. Turing is a descendant of Euclid, Pascal and SP/k that features a clean syntax and precise machine-independent semantics. Turing 4.1.0 is the latest stable version of Turing. Read more on Wikipedia...


Example from the web:
% Accepts a number and calculates its factorial function factorial (n: int) : real if n = 0 then result 1 else result n * factorial (n - 1) end if end factorial var n: int loop put "Please input an integer: " .. get n exit when n >= 0 put "Input must be a non-negative integer." end loop put "The factorial of ", n, " is ", factorial (n)
Example from hello-world:
put "Hello World"
Example from Linguist:
% Accepts a number and calculates its factorial function factorial (n: int) : real if n = 0 then result 1 else result n * factorial (n - 1) end if end factorial var n: int loop put "Please input an integer: " .. get n exit when n >= 0 put "Input must be a non-negative integer." end loop put "The factorial of ", n, " is ", factorial (n)
Example from Wikipedia:
% Accepts a number and calculates its factorial function factorial (n: int) : real if n = 0 then result 1 else result n * factorial (n - 1) end if end factorial var n: int loop put "Please input an integer: " .. get n exit when n >= 0 put "Input must be a non-negative integer." end loop put "The factorial of ", n, " is ", factorial (n)

Language features

Feature Supported Example Token
Strings
"Hello world"
"
Print() Debugging put
Comments
% A comment
Line Comments
% A comment
%
Semantic Indentation ϴ

Books about Turing from ISBNdb

title authors year publisher
Programming with Turing and Object Oriented Turing (Mathematics) Grogono, Peter 1995 Springer
Introduction To Computer Science Using The Turing Programming Language R.c. Holt; J.n.p. Hume 1984 Brady (robert J.) Co ,u.s.
Racket Programming the Fun Way: From Strings to Turing Machines Stelly, James. W. 2021-01-08T00:00:01Z No Starch Press
Racket Programming the Fun Way: From Strings to Turing Machines Stelly, James. W. 2021 No Starch Press
Turing (A Novel about Computation) Papadimitriou, Christos H. 2005 The MIT Press
Turing Omnibus: 61 Excursions in Computer Science Dewdney, A. K. 1989-05-01T00:00:01Z W H Freeman & Co
Turing Computability: Theory and Applications (Theory and Applications of Computability) Soare, Robert I. 2016 Springer
Turing Computability: Theory and Applications (Theory and Applications of Computability) Soare, Robert I. 2016 Springer
Parsing the Turing Test: Philosophical and Methodological Issues in the Quest for the Thinking Computer Jan Naudts 2007 Springer
Neural Networks and Analog Computation: Beyond the Turing Limit (Progress in Theoretical Computer Science) Siegelmann, Hava T. 2012 Birkhäuser
Turing Programming Series : SQL must know will be ( 4th Edition )(Chinese Edition) [美]Ben Forta 钟鸣,刘晓霞 2013 人民邮电出版社
A Hierarchy of Turing Degrees: A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definability (AMS-206) (Annals of Mathematics Studies) Downey, Rod and Greenberg, Noam 2020 Princeton University Press
Structured Induction in Expert Systems (The Turing Institute Press) Shapiro, Alen D. 1987 Addison-Wesley
Turing Programming Series : C # Graphic Guide ( 4th Edition )(Chinese Edition) [美]Daniel M.Solis 姚琪琳,苏林,朱晔,等 2013 人民邮电出版社
COSMOS AND CONSCIOUSNESS: Quantum Computers, SuperStrings, Programming, Egypt, Quarks, Mind Body Problem, and Turing Machines Blaha, Stephen 2003-04-29T00:00:01Z CreateSpace Independent Publishing Platform
Cosmos and Consciousness: Quantum Computers, SuperStrings, Programming, Egypt, Quarks, Mind Body Problem, and Turing Machines Second Edition Blaha, Stephen 2002-07-18T00:00:01Z Janus Associates Inc.
Programming with Turing and Object Oriented Turing Grogono, Peter 2014 Springer
Turing Programming Series: Learning R(Chinese Edition) [ MEI ] Richard.Cotton 2014 People Post Press
Philosophical Explorations of the Legacy of Alan Turing Manuel Gessner 20170530 Springer Nature
Mathematical Logic (Collected Works of A.M. Turing Book 4) Gandy, R. O. and Yates, C. E. M. 2001 North Holland
Turing Programming Series: Ming Xie C language(Chinese Edition) [ RI ] CHAI TIAN WANG YANG 2013 People Post Press
Turing Programming Series: Learn the regular expression(Chinese Edition) [ MEI ]Michael Fitzgerald 2013-04-01 People Post Press
Marrow Turing programming books Code: Programming Language Core Concepts(Chinese Edition) [ RI ] XI WEI TAI HE 2014 People Post Press
Computing Nature: Turing Centenary Perspective (Studies in Applied Philosophy, Epistemology and Rational Ethics Book 7) Gordana Dodig-Crnkovic 2013 Springer
Turing programming books 30 days of software development: Farewell to embrace agile waterfall(Chinese Edition) [ MEI ] Ken Schwaber . Jeff Sut... 2014 People Post Press
Pattern-Oriented Software Architecture Volume 2: Concurrency and networking Turing programming object model series(Chinese Edition) [ MEI ]Douglas Schmidt , [ DE ]Michael Stal , [ DE ]Hans Rohnert 2013 People Post Press
Turing (programming Language) Emory Christer 2012
Introduction To Programming In Turing J. N. P. Hume 2001 Holt Software Associates
Method Of Lines Analysis Of Turing Models W. E. Schiesser
The Turing Programming Language: Design And Definition Richard C. Holt and Philip A. Matthews and J. Alan Rosselet and James R. Cordy 1988 Prentice Hall
Method Of Lines Analysis Of Turing Models William E Schiesser 20170628 World Scientific Publishing
Introduction To Computer Science Using The Turing Programming Language Holt and R. C 1984 Reston Pub. Co
Cosmos And Consciousness: Quantum Computers, Superstrings, Programming, Egypt, Quarks, Mind Body Problem, And Turing Machines Blaha and Stephen 2002 Pingree Hill Pub 2002-06-01
Cosmos And Consciousness: Quantum Computers, Superstrings, Mysticism, C++ Programming, Egypt, Quarks, Mind-body Problem, Aliens, Linguistics, And Turing Machines Blaha, Stephen. 2000 1st Books Library

Publications about Turing from Semantic Scholar

title authors year citations influentialCitations
The Turing programming language R. Holt and J. Cordy 1988 114 7
Turing completeness in the language of genetic programming with indexed memory Astro Teller 1994 90 6
Real-time deques, multihead Turing machines, and purely functional programming Tyng-Ruey Chuang and B. Goldberg 1993 29 3
Can GPT-3 Pass a Writer’s Turing Test? Katherine Elkins and Jon Chun 2020 19 0
Mathematical programming: Turing completeness and applications to software analysis Leo Liberti and F. Marinelli 2014 16 0
Verified programming of Turing machines in Coq Y. Forster and F. Kunze and Maximilian Wuttke 2020 16 0
Introducing undergraduates to object orientation using the Turing language R. Holt 1994 6 0
Turing Universality of Recursive Patterns for Parallel Programming J. Fischer and S. Gorlatch 2002 5 0
Higher Types, Finite Domains and Resource-bounded Turing Machines L. Kristiansen 2012 4 0
Using Genetic Programming for Turing Machine Induction A. Naidoo and N. Pillay 2008 4 1
Turing machine approach to runtime software adaptation J. Rudy 2014 2 0
Declarative and Imperative Approaches for Proving Turing Completeness of SPIDER E. Golemanova and T. Golemanov 2020 1 0
makefile.html · turing.html · click.html

View source

PLDB - Build the next great programming language · v2022 · Day 32 · Docs · Build · Acknowledgements · Traffic Today · Traffic Trends · Mirrors · GitHub · feedback@pldb.com