Results 1 - 10 of 135,281

Grammar of the New Programming Language

by David Talby
"... Abstract. The concept of Contract-Oriented Programming, or the use of assertions in a program’s source code at compile time, has two main benefits. The first is allowing many more compile-time tests of bugs which were impossible to detect statically before. The second is the ability to greatly simpl ..."
Abstract - Add to MetaCart
simplify the programming language by automating decisions that are undecidable at compile time without the use of assertions. The New programming language is the first one designed to take advantage of these abilities, and its formal grammar is given here. It is based on a pure object-oriented language

New programming languages for

by Bertram Raphael - Communications of the ACM , 1974
"... In this paper the major components of every programming language are identified as: (1) the elementary program state-ment, (2) mechanisms for linking elementary statements together, (3) the means by which a program can obtain data inputs. Several alternative forms of each of these components are als ..."
Abstract - Cited by 9 (0 self) - Add to MetaCart
In this paper the major components of every programming language are identified as: (1) the elementary program state-ment, (2) mechanisms for linking elementary statements together, (3) the means by which a program can obtain data inputs. Several alternative forms of each of these components

The Impact of New Programming Languages on University Curriculum

by Katie L. Emigh
"... This paper covers the impact that the seemingly continuous introduction of new programming languages has on the computer information systems curriculum in a university. Computer information systems departments are currently implementing changes based on the newest languages, Java and C#. The relatio ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
This paper covers the impact that the seemingly continuous introduction of new programming languages has on the computer information systems curriculum in a university. Computer information systems departments are currently implementing changes based on the newest languages, Java and C

Program Analysis and Specialization for the C Programming Language

by Lars Ole Andersen , 1994
"... Software engineers are faced with a dilemma. They want to write general and wellstructured programs that are flexible and easy to maintain. On the other hand, generality has a price: efficiency. A specialized program solving a particular problem is often significantly faster than a general program. ..."
Abstract - Cited by 629 (0 self) - Add to MetaCart
. However, the development of specialized software is time-consuming, and is likely to exceed the production of today’s programmers. New techniques are required to solve this so-called software crisis. Partial evaluation is a program specialization technique that reconciles the benefits of generality

SHIFT: A New Programming Language for Simulation

by Aleks Göllü, Aleks Gollu
"... SHIFT is a programming language with simulation semantics. The main distinguishing features of SHIFT are: 1) it models agents that have continuous time and discrete event dynamics and provides explicit syntax to specify such behavior; 2) it models systems that consist of heterogeneous set of interac ..."
Abstract - Add to MetaCart
of the concepts and constructs in the SHIFT language. Keywords: simulation, evaluation, continuous, discrete object-oriented, framework 1. Introduction We have developed an new programming language, SHIFT, that is targeted to implementing simulation frameworks. SHIFT incorporates system theoretic concepts

GOLOG: A Logic Programming Language for Dynamic Domains

by Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl , 1994
"... This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and effects of actions and the initial state of the world. This allo ..."
Abstract - Cited by 628 (74 self) - Add to MetaCart
This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and effects of actions and the initial state of the world

Literate programming

by Donald E. Knuth - THE COMPUTER JOURNAL , 1984
"... The author and his associates have been experimenting for the past several years with a programming language and documentation system called WEB. This paper presents WEB by example, and discusses why the new system appears to be an improvement over previous ones. ..."
Abstract - Cited by 557 (3 self) - Add to MetaCart
The author and his associates have been experimenting for the past several years with a programming language and documentation system called WEB. This paper presents WEB by example, and discusses why the new system appears to be an improvement over previous ones.

An Overview of the C++ Programming Language

by Bjarne Stroustrup , 1999
"... This overview of C++ presents the key design, programming, and language-technical concepts using examples to give the reader a feel for the language. C++ is a general-purpose programming language with a bias towards systems programming that supports efficient low-level computation, data abstraction, ..."
Abstract - Cited by 1776 (15 self) - Add to MetaCart
This overview of C++ presents the key design, programming, and language-technical concepts using examples to give the reader a feel for the language. C++ is a general-purpose programming language with a bias towards systems programming that supports efficient low-level computation, data abstraction

The C Programming Language

by Dennis M. Ritchie , 1988
"... The C programming language was devised in the early 1970s as a system implementation language for the nascent Unix operating system. Derived from the typeless language BCPL, it evolved a type structure; created on a tiny machine as a tool to improve a meager programming environment, it has become on ..."
Abstract - Cited by 1532 (16 self) - Add to MetaCart
The C programming language was devised in the early 1970s as a system implementation language for the nascent Unix operating system. Derived from the typeless language BCPL, it evolved a type structure; created on a tiny machine as a tool to improve a meager programming environment, it has become

The synchronous dataflow programming language LUSTRE

by N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - Proceedings of the IEEE , 1991
"... This paper describes the language Lustre, which is a dataflow synchronous language, designed for programming reactive systems --- such as automatic control and monitoring systems --- as well as for describing hardware. The dataflow aspect of Lustre makes it very close to usual description tools in t ..."
Abstract - Cited by 646 (50 self) - Add to MetaCart
This paper describes the language Lustre, which is a dataflow synchronous language, designed for programming reactive systems --- such as automatic control and monitoring systems --- as well as for describing hardware. The dataflow aspect of Lustre makes it very close to usual description tools
Results 1 - 10 of 135,281