Вы здесь

Главная

Информатика-85

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

A Computer Architecture for Ada
A Memory Manadement for Prolog
A Method for Consructing Quality Program Versions
Des Outils Theoriques pour l analyse Semantique d Ada
Detection d erreurs en Programmation Logique: Une Adaptation de la Methode de E.V.Shapiro
Elimination of Loop Invariants in Program Verification
ELMA- an Instrumental Tool to build Programming Systems
Error Diagnosis in Logic Programming. An Adaptation of a E.V.Shapiro s Method
Evaluation Recursive Grammaires Attribuees deux Impalantations
Machine de Gestion de Memoire pour Prolog
Mixed Strategy Implementation of Attribute Grammars
NUT - an object oriented language
Programmation logique et Grammaires d attributs
Program Synthesis in the SPORA system
Recursive Evaluation of Attrubute Grammars: Two Implementations
Relating Logic Programs and Attribute Grammars
Semantics of a Specification Language
Theoretical Tools for Ada Semantics Analysis
TIME-1: Semantic System for Dynamic Object Domain
ВРЕМЯ-1: Семантический процессор для динамических предметных областей
Инструментальная система ELMA для создания программных систем
Об одном методе конструирования качественных версий программ
Элиминация инвариантов циклов при верификации программ
Элиминация инвариантов циклов при верификации программ