An introduction to sequenceL: A language to experiment with constructs for processing nonscalars

Software - Practice and Experience

Volumn 26, Issue 11, 1996, Pages 1205-1246

  Cooke, Daniel E ^a  

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

Author keywords

Automatic programming; Programming languages; Software; Software engineering

Indexed keywords

DATA STRUCTURES; OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING; SOFTWARE ENGINEERING;

DECLARATIVE CONSTRUCTS; NONSCALAR PROCESSING; SEQUENCEL PROGRAMMING LANGUAGE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0030290317     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1097-024X(199611)26:11<1205::AID-SPE57>3.0.CO;2-6     Document Type: Article

References (24)

1. J. McCathy, 'Recursive functions of symbolic expressions and their computation by machine', Comm. ACM, 3(4), 184-195 (1960).
2. K. Iverson, A Programming Language, Wiley, New York, 1962.
3. K. Iverson, J Introduction and Dictionary, Iverson Software Inc., Toronto, 1994.
4. J. P. Banatre and D. Le Matayer, 'Programming by multiset transformation', Comm. ACM, 36(1), 98-111 (1993).
5. Chris Hankin, Daniel Le Metayer and David Sands, 'A calculus of Gamma programs', Publication Interne no. 674, Juillet, 1992, IRISA, France.
6. John Backus, 'Can programming be liberated from the von Neumann style?', Comm. ACM, 21(8), 613-641 (1978).
7. Daniel E. Cooke, 'Towards a formalism for program generation', for the Air Force Office of Scientific Research, no. F49620-93-1-0152, February, 1994.
8. B. Friesen, 'The Universality of BagL', Masters Thesis, University of Texas at El Paso, May, 1995.
9. D. E. Cooke, 'Towards a formalism to produce a programmer assistant CASE tool', IEEE Trans. Knowledge and Data Engineering, 2(3), 320-326 (1990).
10. Daniel E. Cooke, 'An issue of the next generation of problem solving environments', Journal of Systems Integration, 1(2), 39-52 (1992).
11. Daniel E. Cooke, 'Possible effects of the next generation programming language on the software process model', Int. J. Software Engineering and Knowledge Engineering, 3(3), 383-399 (1993).
12. D. E. Cooke and A. Gates, 'On the development of a method to synthesize programs from requirement specifications', Int. J. Software Engineering and Knowledge Engineering, 1(1), 21-38 (1991).
13. Judy Bishop, 'The effect of data abstraction on loop programming techniques', IEEE Trans Software Eng, SE-16(4), 389-402 (1990).
14. H. Mills and R. Linger, 'Data structured programming: programming without arrays and pointers', IEEE Trans. Soft. Eng. SE-12(2), 192-197 (1986).
15. E. Djikstra, 'Guarded commands, nondeterminancy and the formal derivation of programs', Comm. ACM, 18(8), 453-457 (1975).
16. J. Schwartz, Programming with Sets - an introduction to Setl, Springer-Verlag, New York, NY, 1986.
17. D. Gelernter, 'Generative communications in Linda', ACM Trans. Programming Languages and Systems, 7(1), 80-112 (1985).
18. A. Deshpande and K. Kavi, 'A model for the specification of concurrent processes', Microcomputer Applications, 8(3), 95-102 (1989).
19. Harvey Davies, 'Introduction to J', Technical Report (Private Bag No. I), CSIRO Division of Atmospheric Research, Mordialloc 3195, Australia, December 15, 1994.
20. Reinfelds Hagedorn et al. 'SIGMA, a new language for interactive array-oriented computing', CERN Technical Report of the European Organization for Nuclear Resarch, 1978, pp. 78-12 (1978).
21. Charles Lamb et al. 'The ObjectStore database system', CACM, 34(10), 50-63 (1991).
22. Tim Sheard, 'Automatic generation and use of abstract structure operators', ACM Trans. Programming Languages and Systems, 13(4), 531-557 (1991).
23. H. L. Dershem and M. J. Jipping, Programing Languages: Structures and Models, Wadsworth Publishing Co., Belmont, CA, 1990.
24. F. G. Pagan, Formal Specification of Programming Languages: A Panoramic Primer, Prentice-Hall Inc., Englewood Cliffs, New Jersey, 1981.