Cited By
View all- Cattrall DRunciman CWilliams J(1993)Widening the representation bottleneckProceedings of the conference on Functional programming languages and computer architecture10.1145/165180.165206(191-200)Online publication date: 1-Jul-1993
Four relational programs
Abstract
In this report we demonstrate the relational programming language RPL by using it to develop four programs. These programs are: (1) computing a table of word frequencies from a text; (2) a simple data processing example involving updating an employee file; (3) Gaussian elimination; and (4) minimizing deterministic finite state automata. We do not present the RPL language systematically; rather it is described incrementally through the examples.
References
[1]
[Brown&Mitton] Brown, J. R., and Mitton, S. J., Relational Programming: Design and Implementation of a Prototype Interpreter, MS thesis, Naval Postgraduate School, June 1985.
[2]
[MacLennan83] MacLennan, B. J., "Relational Programming," Naval Postgraduate School Computer Science Department Technical Report NPS52-83-012, September 1983.
Recommendations
A Formal System for Reasoning about Programs Accessing a Relational Database
A formal system for proving properties of programs accessing a database is introduced. Proving that a program preserves consistency of the database is one of the possible applications of the system. The formal system is a variant of dynamic logic and ...
Compiling Embedded Programs to Byte Code
PADL '02: Proceedings of the 4th International Symposium on Practical Aspects of Declarative LanguagesFunctional languages have proven substantially useful for hosting embedded domain-specific languages. They provide an infrastructure rich enough to define both a convenient syntax for the embedded language, a type system for embedded programs, and an ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Jan., 1988
128 pages
Copyright © 1988 Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 03 January 1988
Published in SIGPLAN Volume 23, Issue 1
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 113Total Downloads
- Downloads (Last 12 months)18
- Downloads (Last 6 weeks)2
Reflects downloads up to 11 Dec 2024
Other Metrics
Citations
Cited By
View all- Cattrall DRunciman CWilliams J(1993)Widening the representation bottleneckProceedings of the conference on Functional programming languages and computer architecture10.1145/165180.165206(191-200)Online publication date: 1-Jul-1993
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in