Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85). 1st ed. 1985

種類:

電子ブック

責任表示:

edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985

著者名:

• Ehrig, Hartmut.
• Floyd, Christiane.
• Nivat, Maurice.
• Thatcher, James.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 185

ISBN:

9783540393023 [3540393021]    

注記:

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 botto

ローカル注記:

学内専用E-BOOKS (local access only)