Вы здесь

Главная

Informatics 89

Связанные издания:

A Forth-oriented Compiler Compiler
An algorithm for testing sufficient completeness of a simple class of conditional specifications
Attribute Specifications of Graphical Structured Documents
Boolean Techniques applied to knowledge bases
Compiling logic programs into dataflow processes
Prograis: An environment for handling histories of software development processes
Program Optimization: State of the Art and Future Development
SMART: A Distributed Virtual Machine for the Parallel Actor Language Plasma II
Transfer of Expertise between Two-level Grammars and Logic Programs through an Affix Implementation