Check nearby libraries
Buy this book
Relational programming is a style of programming in which entire relations are manipulated as data and in which programs are also considered relations. Extensive use is made of higher-order, finite and infinite relations and functions. This report demonstrates the relational programming language RPL by using it to develop four programs: (1) computing work frequencies from text; (2) minimizing deterministic finite state automata; (3) Gaussian elimination; and (4) a simple data processing example involving updating an employee file. Appendix A shows transcripts of executions of the programs on the Brown and Mitton interpreter. The reader is presumed to be familiar with RPL. for convenience, however, Appendix B contains the RPL grammar, and Appendix C describes the language accepted by the Brown and Mitton interpreter.
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Logic programming, Computer programmingShowing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1 |
aaaa
Libraries near you:
WorldCat
|
Book Details
Published in
Monterey, California
Edition Notes
Title from cover.
"Prepared for: Chief of Naval Research"--Cover.
"November 1986"--Cover.
"NPS52-86-023"--Cover.
DTIC Identifiers: Relational programming, RPL programming language.
Author(s) key words: Relational programming, functional programming, relations, relational algebra, relational calculus, applicative programming, logic programming, combinatory, very-high level language, Gaussian elimination, finite state automata, higher order functions.
Includes bibliographical references.
"Approved for public release; distribution unlimited"--Cover.
Technical report; 1986.
aq/aq cc:9116 02/25/98
kmc/kmc 11/4/09.
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created July 26, 2014
- 2 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
May 19, 2020 | Edited by CoverBot | Added new cover |
July 26, 2014 | Created by ImportBot | Imported from Internet Archive item record. |