TAPSOFT '93: Theory and Practice of Software Development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings - Tapa blanda

Sinopsis

Goldilocks and the three specifications.- On relating some models for concurrency.- Compositionality results for different types of parameterization and parameter passing in specification languages.- Proving ground confluence and inductive validity in constructor based equational specifications.- Associative-commutative discrimination nets.- Algebraic specification and development in geometric modeling.- A case study in transformational design of concurrent systems.- Yeast: A case study for a practical use of formal methods.- Verification and comparison of transition systems.- Constraining interference in an object-based design method.- From ?-calculus to higher-order ?-calculus - and back.- Hyperedge replacement with rendezvous.- True concurrency semantics for a linear logic programming language with broadcast communication.- A general framework for modular implementations of modular system specifications.- Specifications can make programs run faster.- Application of the composition principle to unity-like specifications.- Trees, ordinals and termination.- When is a functional tree transduction deterministic?.- Automata on infinite trees with counting constraints.- Directed column-convex polyominoes by recurrence relations.- Object organisation in software environments for formal methods.- Monads, indexes and transformations.- A technique for specifying and refining TCSP processes by using guards and liveness conditions.- Applications of type theory.- Feature automata and recognizable sets of feature trees.- About the theory of tree embedding.- Linear unification of higher-order patterns.- A theory of requirements capture and its applications.- Exception handling and term labelling.- Gate splitting in LOTOS specifications using abstract interpretation.- Constructing systems as object communities.- Term rewriting in CT?.- Optimal reductions in interaction systems.- Optimal solutions to pattern matching problems.- Testing for a conformance relation based on acceptance.- Testability of a communicating system through an environment.- Automating (specification = implementation) using equational reasoning and LOTOS.- On the Ehrenfeucht-Fraïssé game in theoretical computer science.- On asymptotic probabilities in logics that capture DSPACE(log n) in presence of ordering.- A propositional dense time logic.- La Vraie Forme d'un Arbre.- Model checking using net unfoldings.- Reachability analysis on distributed executions.- Property preserving abstractions under parallel composition.- Types as parameters.- Polymorphic type inference with overloading and subtyping.- Type reconstruction with recursive types and atomic subtyping.- (Un)expected path lengths of asymmetric binary search trees.- Trie size in a dynamic list structure.- A fully parallel calculus of synchronizing processes.- Generic systolic arrays: A methodology for systolic design.

"Sinopsis" puede pertenecer a otra edición de este libro.