The Turing programming language

  title={The Turing programming language},
  author={Richard C. Holt and James R. Cordy},
  journal={Commun. ACM},
Turing, a new general purpose programming language, is designed to have Basic's clean interactive syntax, Pascal's elegance, and C's flexibility. 

Figures from this paper

Proposal for a categorical programming language

This paper is proposing an undertaking that will put " the horse before the cart" so to speak, almost having the effect that the semantic interpretation and the language design philosophy might be thought to coincide.

Introducing undergraduates to object orientation using the Turing language

  • R. Holt
  • Education, Computer Science
    SIGCSE '94
  • 1994
This paper describes an approach that teaches OO concepts across the Computer Science undergraduate curriculum, beginning in the introductory course, using the Object-Oriented Turing system.

Axiomatic Semantics for "Escape" Statements

Specification and automatic prototype implementation of polymorphic objects in Turing using the TXL dialect processor

An attempt to catalogue and generalize syntactic transformations in object-oriented dialects of existing programming languages using a simple set of applicative transformation rules expressed in the TXL dialect description language.

TXL: a rapid prototyping system for programming language dialects

A rapid prototyping system for extensions to an existing programming language is described that consists of a dialect description language used to specify the syntax and semantics of extensions and a context-sensitive syntactic transducer that automatically implements the extensions by transforming source programs written using them to equivalent programs in the original unextended language.

Linguistic support for the evolutionary design of software architectures

  • T. GrahamTore Urnes
  • Computer Science
    Proceedings of IEEE 18th International Conference on Software Engineering
  • 1996
This paper introduces the architecture language of Clock, a language for the development of interactive, multiuser applications that possesses three properties supporting the easy restructuring of software architectures: restricted scoping supported by a constraint-based communication system, automatic message routing, and easy hierarchical restructuring of architectures.

Seven Deadly Sins of Introducctory Prograimmting Language Design

Seven undesirable features common to many programming languages used to teach first-time programmers are discussed, and seven language design principles which may reduce the incidence of such undesirable features are proposed.

Extending programming environments to support architectural design

  • S. MancoridisR. Holt
  • Computer Science
    Proceedings Seventh International Workshop on Computer-Aided Software Engineering
  • 1995
This paper describes how the Object Oriented Turing programming environment was extended to accommodate languages and tools for specifying and visualizing architectural designs.

Seeking grace: a new object-oriented language for novices

Grace is a new object-oriented language that supports a variety of approaches to teaching programming. It integrates accepted new ideas in programming languages into a simple language that allows

A Bibliography of Publications of Alan Mathison Turing

This bibliography records publications of Alan Mathison Turing (1912{ 1954). Title word cross-reference [Tur37a]. K [Tur37c]. p [Tur37c]. -conversion [Tur37c]. -de nability [Tur37a]. -function



Numerical Turing

Numerical Turing is an extension of the Turing programming language that combines convenient string handling, dynamic arrays, modules and more general parameter lists with Pascal-like features.

GAG: A Practical Compiler Generator

The compiler generator GAG generates a language for distributed definitions and develops an attributed grammar for a Pascal-Analyzer to generate efficient compiler front-ends.

The Science of Programming

  • D. Gries
  • Computer Science
    Text and Monographs in Computer Science
  • 1981
Describes basic programming principles and their step-by- step applications and shows how to apply them to real-world problems.

Rationale for the design of the Ada programming language

This book discusses classical programming, general program structure - visibility and overloading, and representation classes and machine dependences in the context of knowledge representation.

Design of an interpretive environment for Turing

The design accommodates a wide spectrum of interpreter types ranging from batch-oriented compiler-simulators to statement-by-statement interactive execution, and provides for a range of program editing tools from simple line editors through to modern language-directed programming environments.

Why Pascal is Not My Favorite Programming Language

Pascal, at least in its standard form, is just plain not suitable for serious programming, and some of the reasons why are discussed.

Ambiguities and insecurities in pascal

Ambiguities and insecurities in the programming language Pascal are discussed and ideas to address these issues are proposed.

Modula: A language for modular multiprogramming

  • N. Wirth
  • Computer Science
    Softw. Pract. Exp.
  • 1977
Modula is a language intended primarily for programming dedicated computer systems, including process control systems on smaller machines, which is largely based on Pascal, but in addition to conventional block structure it introduces a so‐called module structure.

Semantic charts: A diagrammatic approach to semantic processing

This paper describes a technique for implementing the part of a compiler that processes the semantics of a programming language using semantic charts, similar to the separable transition diagrams that are used to define the syntax of programming languages.

An Introduction to S/SL: Syntax/Semantic Language

S/SL (Syntax/Semantic Language) is a language that was developed for implementing compilers and has been used to implement scanners, parsers, semantic analyzers, and code generators.