Cited By
View all- Balbin ILecot KBalbin ILecot K(1985)Alternatives to Prolog as a Logic Programming LanguageLogic Programming10.1007/978-94-009-5044-3_7(120-136)Online publication date: 1985
Beyond PROLOG: software specification by grammar
References
[1]
Backus, John, "Can Programming Be Liberated from the von Neumann Style?", Comm. ACM, August 1978.
[2]
Bowen, Kenneth A., "PROLOG", ACM79 Conference Proceedings.
[3]
Cleaveland, J. Craig, "Mathematical Specifications", SIGPLAN Notices, December 1980.
[4]
Dijkstra, Edsger W., "The Humble Programmer", Comm. ACM, October 1972.
[5]
Gallaire, H. and Minker, J., Eds., Logic and Data Bases, Plenum Press, 1978.
[6]
Kowalski, Robert A., Logic for Problem Solving, Elsevier North Holland, 1979.
[7]
Marcotty, M.; Ledgard, H. F.; and Bochmann, G. V., "A Sampler of Formal Definitions", ACM Computing Surveys, June 1976.
[8]
Stoy, Joseph E., Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, 1977.
[9]
Wulf, William A., "Trends in the Design and Implementation of Programming Languages", Computer, January 1980.
Recommendations
Beyond ALBE/P: Language neutral form
ICSE '81: Proceedings of the 5th international conference on Software engineeringALBE/P is a language-based CRT editor for PASCAL programs. The CRT screen serves as a window through which a programmer can view and modify a “pretty-printed” picture of any part of a PASCAL program. The ALBE/P system differs from conventional screen-...
LFG system in prolog
ACL '84/COLING '84: Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational LinguisticsIn order to design and maintain a large scale grammar, the formal system for representing syntactic knowledge should be provided. Lexical Functional Grammar (LFG) [Kaplan, Bresnan 82] is a powerful formalism for that purpose. In this paper, the Prolog ...
Towards agile and beyond: an empirical account on the challenges involved when advancing software development practices
Agile Processes in Software Engineering and Extreme ProgrammingDuring the last decade, the vast majority of software companies have adopted agile development practices. Now companies are looking to move beyond agile and further advance their practices. In this paper, we report on the experiences of a company in the ...
Comments
Information & Contributors
Information
Published In
Copyright © 1982 Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 September 1982
Published in SIGPLAN Volume 17, Issue 9
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 183Total Downloads
- Downloads (Last 12 months)21
- Downloads (Last 6 weeks)6
Reflects downloads up to 16 Oct 2024
Other Metrics
Citations
Cited By
View all- Balbin ILecot KBalbin ILecot K(1985)Alternatives to Prolog as a Logic Programming LanguageLogic Programming10.1007/978-94-009-5044-3_7(120-136)Online publication date: 1985
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in