Fundamental research: Różnice pomiędzy wersjami
(Utworzono nową stronę "Work on programming language Loglan'82 and its compiler was accompanied by vivid discussion and fundamental research. On these pages we shall report some of results as w...") |
|||
| Linia 1: | Linia 1: | ||
Work on programming language Loglan'82 and its compiler was accompanied by vivid discussion and fundamental research. On these pages we shall report some of results as well as an attempt to define an axiomatic semantics of Loglan'82. | Work on programming language Loglan'82 and its compiler was accompanied by vivid discussion and fundamental research. On these pages we shall report some of results as well as an attempt to define an axiomatic semantics of Loglan'82. | ||
| − | == | + | == Problems and reports == |
| − | === Safe dealocation of objects == | + | === Safe dealocation of objects === |
| − | We are happy to present you the object managing system invented by Antoni Kreczmar see [[ | + | We are happy to present you the object managing system invented by Antoni Kreczmar see [[ bezpieczna dealokacja obiektów]] |
| − | === How to determine the inherited class == | + | === How to determine the inherited class === |
One program may contain many classes of the same name. This is due to the block structure of Loglan programs. | One program may contain many classes of the same name. This is due to the block structure of Loglan programs. | ||
| Linia 18: | Linia 18: | ||
=== Is it possible to keep the Dijkstra's mechanism of Display Vector ? === | === Is it possible to keep the Dijkstra's mechanism of Display Vector ? === | ||
| − | === Alien call == | + | === Alien call === |
== Part II Axiomatic definitions of sublanguages of Loglan'82 == | == Part II Axiomatic definitions of sublanguages of Loglan'82 == | ||
| + | Here we shall present a increasing sequence of sublanguages Li of Loglan'82. For each language we shall present its grammar and a semantics as defined by some axioms and inference rules. | ||
| + | === Program === | ||
| + | Program in Loglan'82 has the following structure | ||
| + | |||
| + | '''program''' <''name''>; | ||
| + | <''declarations''> | ||
| + | '''begin''' | ||
| + | <''instructions''> | ||
| + | '''end''' | ||
| + | |||
| + | === Declarations of variables. Assignment instructions === | ||
| + | Example | ||
| + | '''program''' <''P2''>; | ||
| + | '''var''' x,y: integer; | ||
| + | '''begin''' | ||
| + | y:=74; | ||
| + | x:= y+ 8; | ||
| + | '''end''' | ||
| + | Grammar | ||
Wersja z 11:55, 28 maj 2014
Work on programming language Loglan'82 and its compiler was accompanied by vivid discussion and fundamental research. On these pages we shall report some of results as well as an attempt to define an axiomatic semantics of Loglan'82.
Problems and reports
Safe dealocation of objects
We are happy to present you the object managing system invented by Antoni Kreczmar see bezpieczna dealokacja obiektów
How to determine the inherited class
One program may contain many classes of the same name. This is due to the block structure of Loglan programs.
Now, suppose that a class B inherits 9I.e. extends) class A. Which of possibly many classes A we should identify as a base class?
This question is a fundamental one for the definition of semantics. There are 4 languages which admit both nesting of modules (i.e. block structure ) and inheritance:
- Simula67
- Loglan'82
- BETA
- Java
Each language gives another definition of the base class. We shall mention ...
Is it possible to keep the Dijkstra's mechanism of Display Vector ?
Alien call
Part II Axiomatic definitions of sublanguages of Loglan'82
Here we shall present a increasing sequence of sublanguages Li of Loglan'82. For each language we shall present its grammar and a semantics as defined by some axioms and inference rules.
Program
Program in Loglan'82 has the following structure
program <name>; <declarations> begin <instructions> end
Declarations of variables. Assignment instructions
Example program <P2>; var x,y: integer; begin y:=74; x:= y+ 8; end Grammar
