Article

Free access

Functional programming and logical programming for the telegram analysis problem

Authors:

Yoshitomi Morisawa,

Tadao KasamiAuthors Info & Claims

ICSE '84: Proceedings of the 7th international conference on Software engineering

Pages 463 - 472

Published: 26 March 1984 Publication History

Abstract

The telegram analysis problem posed by P. Henderson and R.A. Snowdon has been repeatedly taken into account. This paper adds yet another contribution to this problem. We propose rigorous specification methods, and describe how programs can be derived from those in two different ways. One is from BNF to Definite Clause Grammar in Prolog and the other is a functional programming by which procedural programs can be easily derived from a formal specification in the form of an abstract sequential machine, too. The first method is especially useful for prototyping, and has been applied to file manipulation. The second method has been applied to sorting, file handlers and High Level Data Link Control Procedures.

References

[1]

Goguen,J.A., Some Design Principles and Theory for OBJ-0, A Language to Express and Execute Algebraic Specifications of Programs, Proc. of the International Conference on Mathematical Studies of Information Processing, pp. 429-475(1978).

Digital Library

[2]

Henderson, P. and Snowdon, R., An Experiment in Structured Programming, BIT, VoL. 12, pp. 38-53 (1972).

[3]

Higashino,T., Mori,M., Sugiyama, Y., Taniguchi, K. and Kasami, T., An Algebraic Specification of HDLC Procedures and Its Verification, IEEE Transactions on Software Engineering (to appear).

Digital Library

[4]

Huet,G. and Levy, J-J., Call by Need Computations in Non-ambiguous Linear Term Rewriting Systems, Lab. Rep. No359, IRIA Le Chesnary, France(1979).

[5]

Inoue,K., Seki, H. Sugiyama, Y. and Kasami, T., Code Optimization at Compilation of Functional Programming Language ASL/F Programs, Papers of Technical Group EC82-18, IECE Japan (1982) (in Japanese).

[6]

Jackson,M.A., Principles of Program Design, Academic Press (1975).

Digital Library

[7]

Jones,C.B., Software Development: A Rigorous Approach, Prentice-Hall, PP. 325-332 (1980).

Digital Library

[8]

Ledgard,H.F., The Case for Structured Programming, BIT, Vol. 12, pp.45-57 (1973).

[9]

Mckeag,R.M. and Milligan, P., An Experiment in Parallel Program Design, Software-Practice and Experience, Vol. 10, pp. 687-696(1980).

[10]

Mori,M., Higashino, T., Sugiyama, Y., Taniguchi, K. and Kasami, T., An Algebraic Specification of HDLC Procedures, Trans. of IECE Japan, Vol. J64-d, No. 2, (1981) (in Japanese).

[11]

Nakanishi,M., Sugiyama, Y., Taniguchi, T. and Kasami, T., A System for Supporting Program Design—Program derivation from an Algebraic Specification, 1979 National Convention Record on Information and System Section, IECE Japan, P. 402 (1979) (in Japanese).

[12]

Noonan,R.E., Structured Programming and Formal Specification, IEEE Transactions on Software Engineering, Vol. SE-1, No. 4, pp. 421-423 (1975).

Digital Library

[13]

Pereira,L.,Pereira, F. and Warren, D., User's Guide to DECsystem-10 Prolog, Div. de Infomatica, LNEC, Lisbon and Dept. of AI, University of Edinburgh(1978).

[14]

Pereira,F. and Warren, D., Definite Clause Grammars for Language Analysis, Artificial Intelligence 13, pp. 231-278 (1980).

[15]

Sugiyama,Y., Taniguchi, K. and Kasami, T., A Specification Defined as an Extension of a Base Algebra, Trans. of IECE Japan, Vol. J64-D, No. 4, (1981) (in Japanese).

[16]

Sugiyama, Y., Taniguchi, K. and Kasami, T., Algebraic Specification Language ASL/1 - The Syntax and Its Semantics, Papers of Technical Group No. AL82-62, IECE Japan,(1982) (in Japanese).

[17]

Sugiyama, Y., Okui, J. and Kasami, T., On Algebraic Specifications of a File Management System—Representation of Synchronization Mechanisms, Trans. of IECE Japan, Vol. J66-D, No. 2, (1983) (in Japanese).

[18]

Wirth,N., Algorithms + Data Structures &equil; Programs, Prentice-Hall(1976).

Digital Library

Cited By

Inoue KOgihara TKikuno TTorii KDruffel LFairley DBjørner D(1989)A formal adaption method for process descriptionsProceedings of the 11th international conference on Software engineering10.1145/74587.74609(145-153)Online publication date: 15-May-1989
https://dl.acm.org/doi/10.1145/74587.74609

Index Terms

Functional programming and logical programming for the telegram analysis problem

Recommendations

SEMANOL (73) a metalanguage for programming the semantics of programming languages

SEMANOL is a practical programming system for writing readable formal specifications of the syntax and semantics of programming languages. SEMANOL is based on a theory of semantics which embraces algorithmic (operational) and extensional (input/output) ...
Functional programming in communications security
CUFP '07: Proceedings of the 4th ACM SIGPLAN workshop on Commercial users of functional programming

At SSH Communications Security, we've employed functional programming for a long time in some of our projects. Over the years, we've shipped a number of products written mostly in Scheme, and are about to ship some software which is in part written in ...
Fundamentalist functional programming
GPCE '08: Proceedings of the 7th international conference on Generative programming and component engineering

In 1984, John Hughes wrote a seminal paper titled, "Why Functional Programming Matters," in which he eloquently explained the value of pure and lazy functional programming. Due to the increasing importance of the Web and the introduction of many-core ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ICSE '84: Proceedings of the 7th international conference on Software engineering

March 1984

545 pages

ISBN:0818605286

Sponsors

NBS: National Bureau of Standards
SIGSOFT: ACM Special Interest Group on Software Engineering
IEEE-CS: Computer Society

Publisher

IEEE Press

Publication History

Published: 26 March 1984

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
240
Total Downloads

Downloads (Last 12 months)49
Downloads (Last 6 weeks)7

Reflects downloads up to 26 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Inoue KOgihara TKikuno TTorii KDruffel LFairley DBjørner D(1989)A formal adaption method for process descriptionsProceedings of the 11th international conference on Software engineering10.1145/74587.74609(145-153)Online publication date: 15-May-1989
https://dl.acm.org/doi/10.1145/74587.74609

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Figures

Tables

Media

View Table of Conten