Table of Contents
FLEXIBO Language Design
Language Design
Design Philosophy of FLEXIBO
Main Features
Example Program: Hello World!
Imperative Programming
Class, Method and Invocation
Specification and implementation
Ownership Control
Exception Handling
Overloading Method Invocation
Side Effect and Evaluation Order
Language Reflection
Methods in Different ¡§Shapes¡¨
Colored Variables (att:var)
Colored Variables (def:var)
The Default Rule
Colored Variables (gen/raw:var)
Types and Run-time Checking
User-defined Types
Future Work
|
Author: cyf
Email: yc10@le.ac.uk
Home Page: http://www.mcs.le.ac.uk/~ychen
Download presentation source
|