Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87)
著者
書誌事項
Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87)
（Lecture notes in computer science, 249 . TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development,
Springer-Verlag, c1987
- : gw
- : us
大学図書館所蔵 件 / 全51件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
"TAPSOFT '87 is the Second International Joint Conference on Theory and Practice of Software Development ... consists of three parts: Advanced Seminar on Foundations of Innovative Software Development, Colloquium on Trees in Algebra and Programming, [and] Colloquium on Functional and Logic Programming and Specifications"--Pref.
Includes bibliographies and index
内容説明・目次
目次
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.
「Nielsen BookData」 より