<電子ブック>
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 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
|
Springer eBooks | 9783540477464 |
|
電子リソース |
|
EB00224895 |