---

＜電子ブック＞
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 : Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87) / edited by Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari
(Lecture Notes in Computer Science. ISSN:16113349 ; 249)

版	1st ed. 1987.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1987
本文言語	英語
大きさ	XVIII, 294 p : online resource
著者標目	Ehrig, Hartmut editor Kowalski, Robert editor Levi, Giorgio editor Montanari, Ugo editor SpringerLink (Online service)
件　名	LCSH:Software engineering LCSH:Computer science LCSH:Machine theory FREE:Software Engineering FREE:Computer Science Logic and Foundations of Programming FREE:Formal Languages and Automata Theory
一般注記	On the complexity of branching programs and decision trees for clique functions -- Average complexity of additive properties for multiway tries: A unified approach -- Longest common factor of two words -- An unification semi-algorithm for intersection type schemes -- Optimal run time optimization proved by a new look at abstract interpretations -- Transformation ordering -- On parametric algebraic specifications with clean error handling -- Toward formal development of programs from algebraic specifications: Implementations revisited -- Finite algebraic specifications of semicomputable data types -- On the semantics of concurrency: Partial orders and transition systems -- CCS without ?'s -- A fully observational model for infinite behaviours of communicating systems -- SMoLCS-driven concurrent calculi -- Parameterized horn clause specifications: Proof theory and correctness -- Partial composition and recursion of module specifications -- Efficient representation of taxonomies -- Applications of compactness in the Smyth powerdomain of streams -- Characterizing Kripke structures in temporal logic -- Dialogue with a proof system -- Induction principles formalized in the calculus of constructions -- Algebraic semantics HTTP:URL=https://doi.org/10.1007/3-540-17660-8

 類似資料