Home

 

Quick Start with Elisa  

Using Development System Demo's

 

Language Description

1. Lexical Elements
2. Basic Data Types and Expressions
3. Definitions
4. Streams
5. Backtracking
6. Statements and Special Expressions
7. Arrays

8. Lists
9. Descriptors
10. Components
11. Collections
12. Generic Components
13. Terms
14. Categories
15. Types 

16. Built-in Definitions
17. Higher-order Definitions

18. External Interfaces

Index

Data Structures

1. Sequences
2. Examples involving Lists
3. Trees
4. Graphs
5. Searching State Spaces
6. Language Processing
7. Knowledge Representations          

 

Tutorials

1. Multi-value Functions

2. Lists and Streams

3. Descriptors

4. Trees

 

 

  Home  


REFERENCES

Abelson, Harold, Gerald Jay Sussman, and Julie Sussman (1985), "Structure and Interpretation of Computer Programs", MIT Press.

Ado, A.V., Hopcroft, J.E., and Ullman, J.D. (1974), "The Design and Analysis of Computer Algorithms", Addison-Wesley, Reading, Massachusetts.

Ado, A.V., Hopcroft, J.E., and Ullman, J.D. (1983), "Data Structures and Algorithms", Addison-Wesley, Reading, Massachusetts.

ANSI and AJPO (1983), "Reference Manual for the Ada Programming Language", Ada Joint Program Office, Department of Defence, ANSI/MIL-STD-1815A,1983.

Baase, S. (1978), "Computer Algorithms", Addison-Wesley, Reading, Massachusetts.

Backus, John (1978), "Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs", Communications of the ACM, Vol.21, No. 8, August 1978, pp. 613-640.

Berard, E.V., 1990, "Understanding the recursive/parallel life-cycle", Hotline on Object-Oriented Technology, 1(7), 10-13.

Bird, Richard and Philip Wadler (1988), "Introduction to Functional Programming", Prentice-Hall, Englewood Cliffs, New Jersey.

Bobrow, D.G., K. Kahn, G. Kiczales, L. Masinter, M.Stefik, and F. Zdybel (1986), "CommonLoops: Merging Lisp and Object-Oriented Programming", OOPSLA '86: Special Issue of SIGPLAN Notices, 21, 11, November 1986, pp. 17-29.

Booch, Grady (1991), "Object-oriented design with applications", Benjamin/Cummings.

Booch, Grady (1994), "Object-oriented analysis and design with applications", Benjamin/Cummings, 2nd edn.

Booch, Grady (1996), Ivar Jacobson, and James Rumbaugh, "The Unified Modeling Language User Guide", Addison-Wesley, Reading, Massachusetts.

Bratko, Ivan (1990), "Prolog programming for artificial intelligence (second edition)", Addison-Wesley, Reading, Massachusetts.

Brodie, M.L., J. Mylopoulos and J.W. Schmidt (editors) (1984), "On conceptual modelling", Springer Verlag.

Budd, Timothy (1995), "Multiparadigm Programming in Leda", Addison-Wesley, Reading, Massachusetts.

Budd, Timothy (1997), "An Introduction to Object-Oriented Programming", Addison-Wesley, Reading, Massachusetts, 2nd ed.

CACM (1991), "Next - Generation Database Systems", Communication of the ACM, 34:10, October 1991.

Cardenas, Alfonso F, and Dennis McLeod, eds. (1990), " Research foundations in object-oriented and semantic database systems", Prentice-Hall, Englewood Cliffs, New Jersey.

Charniak, Eugine and Drew McDermott (1985), "Introduction to Artificial Intelligence", Addison-Wesley, Reading, Massachusetts.

Clocksin, W.F. and C.S. Mellish (1984), "Programming in Prolog", Springer-Verlag, 2nd ed.

Coad, Peter and Edward Yourdon (1991a), "Object-oriented Analysis", Prentice-Hall, Englewood Cliffs, New Jersey, 2nd ed.

Coad, Peter and Edward Yourdon (1991b), "Object-oriented Design", Prentice-Hall, Englewood Cliffs, New Jersey.

Codd, E.F., "A Relational Model of Data for Large Shared Data Banks", Communications of the ACM, 13:6, June 1970, pp.377-387.

Codd, E.F., "Further Normalization of the Data Base Relational Model", Courant Computer Science Symposium 6: Data Base Systems (New York), Randall Rustin ed., Prentice-Hall, Englewood Cliffs, New Jersey, 1972, pp.33-64.

Darlington, J., P.Henderson, and D.A. Turner(editors) (1982), "Functional Programming and its Applications", Cambridge University.

Date, C.J. (1986), "An Introduction to Database Systems" (4th edition), Addison-Wesley, Reading, Massachusetts.

Davis, Al (1998a), "Predictions and Farewells", IEEE Software July/Aug 1998, pp.6-9.

Davis, Al (1998b), "Interview: A Golden Thread in Software Tapestry", IEEE Software Nov/Dec 1998, pp.18-22.

DeGroot, Doug and Gary Lindstrom (editors) (1986), "Logic programming: functions, relations and equations", Prentice-Hall, Englewood Cliffs, New Jersey.

Gamma, Erich, Richard Helm, Ralph Johnson, and John Vlissides (1995), "Design Patterns: Elements of Reusable Object-Oriented Software", Addison-Wesley, Reading, Massachusetts.

Goldberg, Adele and David Robson (1983), "Smalltalk-80, the Language and Its Implementation", Addison-Wesley, Reading, Massachusetts.

Gonnet, G.H. (1984), "Handbook of Algorithms and Data Structures", Addison-Wesley, Reading, Massachusetts.

Hatton, Les (1998), "Does OO sync with how we think?", IEEE Software May/June 1998, pp.46-54.

Henderson, Peter (1980), "Functional Programming: Application and Implementation", Prentice Hall, Englewood Cliffs, New Jersey.

Knuth, Donald E. (1975), "The Art of Computer Programming, Volume 3, Sorting and Searching", Second Printing, Addison-Wesley, Reading, Massachusetts.

Korson, Tim and John D. McGregor (1990), "Understanding Object-Oriented: A Unifying Paradigm", Communications of the ACM, Vol.33, No. 9, September 1990, pp. 40-60.

Kowalski, Robert (1979), "Logic for Problem Solving", North-Holland.

Lieberman Henry (1986), "Using Prototypical Objects to Implement Shared Behavior in Object-Oriented Systems", Proceedings of the 1986 OOPSLA Conference on Object-Oriented Programming Systems, Languages and Applications; reprinted in SIGPLAN Notices, 21(11): 214-223, 1986.

Marcus, Claudia(1986), "Prolog Programming: Applications for Database Systems, Expert Systems, and Natural Language Systems", Addison-Wesley, Reading, Massachusetts.

Martin, James (1983), "Managing the Data-Base Environment", Prentice-Hall, Englewood Cliffs, New Jersey.

Martin, James (1993), "Principles of Object-Oriented Analysis and Design", Prentice-Hall, Englewood Cliffs, New Jersey.

Martin, James and James J. Odell(1992), "Object-Oriented Analysis and Design", Prentice-Hall, Englewood Cliffs, New Jersey.

McCarthy, John (1960), "Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I", Communication of the ACM, Volume 3, No. 4, April 1960, pp. 184-195.

Meyer, Bertrand (1988), "Object-oriented Software Construction", Prentice-Hall, Englewood Cliffs, New Jersey.

Meyer, Bertrand (1996), "The many faces of inheritance: A taxonomy of taxonomy", IEEE Computer, May 1996, p.105-108.

Meyer, Bertrand (1999), "A Really Good Idea". IEEE Computer, Dec 1999, pp.144-147.

Moss, Chris (1994), "Prolog++, The Power of Object-Oriented and Logic Programming", Addison-Wesley, Reading, Massachusetts.

Nilsson, Nils J. (1971), "Problem Solving Methods in Artificial Intelligence", McGraw-Hill.

Nilsson, Nils J. (1980), "Principles of Artificial Intelligence", Tioga Publishing Company, Palo Alto, California.

OOPSLA Proceedings (1986, 1987, 1988, 1989, 1990, 1991), Conferences on Object-oriented Programming Systems, Languages, and Applications, reprinted in SIGPLAN Notices, ACM Press.

Petre, Marian and R.Winder(1990), "On Languages, Models and Programming Styles", The Computer Journal, Volume 33, No.2, 1990, pp.173-180.

Placer, John R. (1988), "G: A Language Based on Demand Driven Stream Evaluations". Ph.D. Dissertation, Oregon State University, 1988.

Placer, John R.(1991), "Multiparadigm Research: A New Direction In Language Design", ACM SIGPLAN Notices, Volume 26, No.3, March 1991, pp. 9-17.

Rumbaugh, James (1991), Michael Blaha, William Premerlani, Frederick Eddy, William Lorensen, "Object-Oriented Modeling and Design", Prentice-Hall, Englewood Cliffs, New Jersey.

Ryant, Ivan(1997) "Why Inheritance means extra trouble", CACM October 1997, pp.118-119.

Snyder, Alan (1986), "Encapsulation and Inheritance in Object-Oriented Programming Languages", Proceedings of the 1986 OOPSLA Conference on Object-Oriented Programming Systems, Languages and Applications; reprinted in SIGPLAN Notices, 21(11): 38-45, 1986.

Snyder, Alan (1987), "Inheritance and the Development of Encapsulated Software Components" in Bruce Shriver and Peter Wegners(Eds): "Research Directions in Object-Oriented Programming", MIT Press, Cambridge, MA,1987.

Steel, Guy L. (1984), "Common Lisp", Digital Press.

Sterling, Leon, and Ehud Shapiro (1986), "The Art of Prolog", MIT Press, Cambridge, MA.

Taenzer David, Murthi Ganti, and Sunil Podar(1989), "Object-Oriented Software Reuse: The Yoyo Problem", Journal of Object-Oriented Programming, 2(3): pp 30-35, 1989.

Walker, Adrian (editor), Michael McCord, John F.Sowa, Walter G.Wilson (1987), "Knowledge Systems and Prolog", Addison-Wesley, Reading, Massachusetts.

Wiederhold, Gio.(1983), "Database Design", McGraw-Hill, New York.

Wilde, Norman (1993), Paul Matthews, and Ross Huitt, "Maintaining Object-Oriented Software", IEEE Software, January 1993, p.75-80

Winston, Patrick H. (1984), "Artificial Intelligence", Second Edition, Addison-Wesley, Reading, Massachusetts.

Winston, Patrick H. and Berthold K. P. Horn (1984), "Lisp", Second Edition, Addison-Wesley, Reading, Massachusetts.

Wirth, Niklaus (1976), "Algorithms + Data structures = Programs ", Prentice-Hall, Englewood Cliffs, New Jersey.

Yourdon, Edward (1989), "Modern Structured Analysis", Prentice-Hall, Englewood Cliffs, New Jersey.

Zdonik, Stanley B. and David Maier, eds. (1990), "Readings on Object-Oriented DataBase Systems", Morgan Kaufmann, San Mateo, California.

Top of Page


 
            

 

 

  <!-- Start of StatCounter Code for Default Guide -->
<script type="text/javascript">
var sc_project=11338540;
var sc_invisible=0;
var sc_security="f2d7a14f";
var sc_https=1;
var scJsHost = (("https:" == document.location.protocol) ?
"https://secure." : "http://www.");
document.write("<sc"+"ript type='text/javascript' src='" + scJsHost+
"statcounter.com/counter/counter.js'></"+"script>");
</script>
<noscript><div class="statcounter"><a title="Web Analytics Made Easy -
StatCounter" href="http://statcounter.com/" target="_blank"><img
class="statcounter" src="//c.statcounter.com/11338540/0/f2d7a14f/0/"
alt="Web Analytics Made Easy - StatCounter"></a></div></noscript>
<!-- End of StatCounter Code for Default Guide -->