Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development ... on Trees in Algebra and Programming (CAAP'85) - Brossura

Ehrig, Hartmut; Thatcher, James; Nivat, Maurice; Floyd, Christiane

 
9783540151982: Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development ... on Trees in Algebra and Programming (CAAP'85)
Brossura
ISBN 10: 3540151982 ISBN 13: 9783540151982
Casa editrice: Springer, 2008

Contenuti

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 bottom-up tree automata and L-systems.- On observational equivalence and algebraic specification.- Parameter preserving data type specifications.- On the parameterized algebraic specification of concurrent systems.- The semantics of shared submodules specifications.- Why Horn formulas matter in computer science: Initial structures and generic examples.- On the implementation of abstract data types by programming language constructs.- A LISP compiler for FP language and its proof via algebraic semantics.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2008
Lingua
Inglese
ISBN 10 
3540151982
ISBN 13 
9783540151982
Rilegatura
Copertina flessibile
Numero di pagine
436
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania