SequenceL provides a different way to view programming

Computer Languages

Volumn 24, Issue 1, 1998, Pages 1-32

  Cooke, Daniel E ^a  

^a UNIVERSITY OF TEXAS AT EL PASO   (United States)

Author keywords

Automatic programming; Programming languages; Software engineering

Indexed keywords

ITERATIVE METHODS; PROBLEM SOLVING; RECURSIVE FUNCTIONS; SOFTWARE ENGINEERING;

AUTOMATIC PROGRAMMING; SEQUENCEL PROGRAMMING LANGUAGE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0032042955     PISSN: 00960551     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0096-0551(97)00007-6     Document Type: Article

References (15)

1. McCarthy J. Recursive functions of symbolic expressions and their computation by machine. Communications of the ACM 1960;3(4): 184-95.
2. Iverson K. A programming language. New York: Wiley, 1962.
3. Iverson, K., J Introduction and Dictionary. Iverson Software Inc., Toronto, 1994.
4. Cooke, D. E. and Gutierrez, A., An Introduction to BagL. In IEEE Fourth International Conference on Software Engineering and Knowledge Engineering, Capri, Italy, 1960 pp. 479-486.
5. Djikstra E. Guarded commands, nondeterminancy and the formal derivation of programs. Communications of the ACM 1975;18(8):453-7.
6. Cooke D. An introduction to SEQUENCEL: A language to experiment with nonscalar constructs. Software Practice and Experience 1996;26(11):1205-46.
7. Cooke, D. E., The Semantics of SequenceL. Technical Report of the UTEP NASA University Research Center, PACES_96_CS_004 1996.
8. Mills H, Linger R. Data structured programming: Programming without arrays and pointers. IEEE Transactions Software Engineering 1986;SE-12(2):192-7.
9. Bishop J. The effect of data abstraction on loop programming techniques. IEEE Transactions Software Engineering 1990;SE-16(4):389-402.
10. Quiroz Gates, A., Context monitoring with integrity constraints. Ph.D. thesis, New Mexico State University, 1994.
11. Auguston, M., A visual interface for SequenceL. Technical Report of the UTEP NASA University Research Center, PACES_96_CS_002 1990.
12. Friesen, B., The Universality of BagL. Masters thesis, University of Texas at El Paso, 1995.
13. Cooke D E. Possible effects of the next generation programming language on the software process model. International Journal on Software Engineering and Knowledge Engineering 1993;3(3):383-99.
14. Cooke D, Demirörs E, Demirörs O, Gates A, Krämer B, Tanik M M. Languages for the specification of software. Journal of Systems and Software 1996;32:269-308.
15. Urban, J., The Descartes language. In System and Software Requirements Engineering, ed. R. Thayer and M. Dorfman. IEEE Computer Society Press, Los Alamitos, CA, 1990, pp. 331-344.