Wyniki wyszukiwania:

The present volume contains papers selected for presentation at the 14th Symposium on Mathematical Foundations of Computer Science - MFCS '89 held in Porabka-Kozubnik, Poland, from August 28 to September 1, 1989. Previous MFCs proceedings have also been published in the Lecture Notes in Computer Science. This volume presents investigations and results in theoretical computer science, in particular in the following areas: logics of programs, parallel and distributed computing, deductive databases, automata and formal languages, algorithms and data structures, software specification and...

LOGLAN '88 belongs to the family of object oriented programming languages. It embraces all important known tools and characteristics of OOP, i.e. classes, objects, inheritance, coroutine sequencing, but it does not get rid of traditional imperative programming: primitive types do not need to be objects; records, static arrays, subtypes and other similar type contructs are admitted. LOGLAN has non-traditional memory model which accepts programmed deallocation but avoids dangling reference. The LOGLAN semantic model provides multi-level inheritance, which properly cooperates with module...