Difference between revisions of "Table of contents"

From Liberty Eiffel Wiki
Jump to navigation Jump to search
(added entry for systemdefinition)
Line 126: Line 126:
 
<blockquote>
 
<blockquote>
 
'''6.14''' [[SCOOP]] - Concurrency in LibertyEiffel
 
'''6.14''' [[SCOOP]] - Concurrency in LibertyEiffel
  +
</blockquote>
  +
  +
<blockquote>
  +
'''6.15''' [[ECMA]] - The ECMA standard andLiberty
 
</blockquote>
 
</blockquote>
 
</div>
 
</div>

Revision as of 22:38, 5 April 2013

LibertyEiffel Wiki

1 History and goals of the LibertyEiffel project

1.1 Introduction

1.2 All LibertyEiffel versions

2 Lecture on object-oriented programming and design by contract in Eiffel

2.1 Dynamic dispatch

2.2 Comparison of objects

2.3 Cloning objects

6 The Eiffel language of LibertyEiffel

6.1 System defintion of Eiffel

6.2 Syntax diagrams of Eiffel

6.3 Expanded object or reference object

6.4 Validity of assignments and feature redefinitions

6.5 What you need to know about Current

6.6 A definition of Void

6.7 Once

6.8 Tuples

6.9 Agents

6.10 Precursor

6.11 Manifest storage notation

6.12 Dynamic type testing

6.13 Type of integer constants

6.14 SCOOP - Concurrency in LibertyEiffel

6.15 ECMA - The ECMA standard andLiberty

7 The LibertyEiffel FAQ

8 Glossary

9 Appendices

9.1 Author guidelines for this wiki

9.2 Why there are no threads

9.3 The output of the -gc_info option.

10 Bibliography

11 Index