Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   

Поиск по указателям

Ehrig H., Floyd C., Nivat M. — Mathematical Foundations of Software Development, TAPSOFT 85
Ehrig H., Floyd C., Nivat M. — Mathematical Foundations of Software Development, TAPSOFT 85

Читать книгу

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Mathematical Foundations of Software Development, TAPSOFT 85

Авторы: Ehrig H., Floyd C., Nivat M.


Specification and top down design of distributed systems — Specification languages for distributed systems — Semantically based programming tools (Summary) — From function level semantics to program transformation and optimization — Inductively defined functions — Three approaches to type structure — On the maximum size of random trees — Fast searching in a real algebraic manifold with applications to geometric complexity — Typed categorical combinatory logic — A path ordering for proving termination of term rewriting systems — A rewrite rule based approach for synthesizing abstract data types — “Delayability” in proofs of strong normalizability in the typed lambda Calculus — Bisimulations and abstraction homomorphisms — A metric characterization of fair computations in CCS — A complete modal proof system for a subset of SCCS — Amalgamation of graph transformations with applications to synchronization — Decompilation of control structures by means of graph transformations — Synchronized bottom-up tree automata and L-systems — On observational equivalence and algebraic specification — Parameter preserving data type specifications — On the parameterized algebraic specification of concurrent systems — The semantics of shared submodules specifications — Why Horn formulas matter in computer science: Initial structures and generic examples — On the implementation of abstract data types by programming language constructs — A LISP compiler for FP language and its proof via algebraic semantics.

Язык: en

Рубрика: Разное/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 1985

Количество страниц: 468

Добавлена в каталог: 23.02.2016

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
Предметный указатель
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2019
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте