Nothing Special   »   [go: up one dir, main page]

skip to main content
Volume 31, Issue 12Dec. 1996
Reflects downloads up to 21 Nov 2024Bibliometrics

Newsletter Downloads

Skip Table Of Content Section
article
Free
Evolution of the C++ standard library
article
Free
Book Nook: Out of their minds by Dennis Shasha
article
Free
A whirlwind tour of FORTH resources
article
Free
Manual and compiler for the terse and modular language DEM

This paper describes the DEM language and presents a small DEM to C++ translator written in Perl 5. DEM is a terse language for writing modular programs. DEM programs compile to C++ programs, typically swelling three times. Many modifications changing ...

article
Free
Using object-orientation as a common basis for system development education

Object-orientation has a long tradition at the Computer Science Department, Aarhus University, starting with Simula in the early seventies. For more than 20 years there have been courses in object-oriented programming, including BETA, Smalltalk, Self ...

article
Free
Requirements for an imperative language to host logic programming in a seamless way

Designing a widely acceptable multiparadigm language is still a challenging task. A critical problem is the choice of the linguistic tools by means of which the programmer can make the different paradigms "communicate" with each other. The framework for ...

article
Free
Some comments on Morel and Renvoise's “global optimization by suppression of partial redundancies”

There has been much continuing interest in the global optimization method of Morel and Renvoise as extended by Joshi-Dhamdere and Chow. Unfortunately, the original formulation of Morel and Renvoise and those of Joshi-Dhamdere and Chow do not agree as to ...

article
Free
A Note On Type Checking Linear Functional Languages

A linear functional language is based on a linear λ-calculus. Any linear functional program must observe linearity and it has to be type correct. Type correctness can be ensured by means of a type-checking system. A type checker for a linear ...

Subjects

Comments

Please enable JavaScript to view thecomments powered by Disqus.