DAda—an Ada preprocessor for functional programming

Authors:
Paul A. Bailes;Dan Johnson;Eric Salzman;Li Wang
Affiliations:
Language Design Laboratory, Key Centre for Software Technology, Department of Computer Science, University of Queensland QLD 4072, Australia;Language Design Laboratory, Key Centre for Software Technology, Department of Computer Science, University of Queensland, QLD 4072 Australia;Language Design Laboratory, Key Centre for Software Technology, Department of Computer Science, University of Queensland, QLD 4072 Australia;Language Design Laboratory, Key Centre for Software Technology, Department of Computer Science, University of Queensland, QLD 4072 Australia
Venue:
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Year:
1990

Citing 7
Cited 2

Miranda: a non-strict functional language with polymorphic types

Proc. of a conference on Functional programming languages and computer architecture
Specification case studies

Specification case studies
An introduction to functional programming

An introduction to functional programming
A proposal for a genuinely-lazy streams facility for Ada

Computer Languages
Correspondence between ALGOL 60 and Church's Lambda-notation: part I

Communications of the ACM
Approaches to Prototyping

Approaches to Prototyping
A lazy evaluator

POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages

Full functional programming in a declarative Ada dialect

TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Towards an Ada basis for KBSE: Refine-Ada 95 conversion

Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada

Quantified Score

Hi-index	0.00

Visualization

Abstract

The impact of declarative (functional) programming is inhibited by the need to learn/use new languages. A series of language extensions implemented by preprocessing, which integrates functional programming into the Ada culture, is described. Features include lazy streams, recursive data structures, the abolition of assignment and its replacement by data-flow control constructs.