Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Bolduc, Claude (Editor ), Desharnais, Jules (Editor ), Ktari, Bechir (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Theoretical Computer Science and General Issues, 6120
Temas:
Software engineering.
Immunology.
Computer programming.
Computer science.
Machine theory.
Software Engineering.
Programming Techniques.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Invited Talks
  • The Algorithmics of Solitaire-Like Games
  • Compositionality of Secure Information Flow
  • Process Algebras for Collective Dynamics
  • Contributed Talks
  • On Automated Program Construction and Verification
  • The Logic of Large Enough
  • Dependently Typed Grammars
  • Abstraction of Object Graphs in Program Verification
  • Subtyping, Declaratively
  • Compositional Action System Derivation Using Enforced Properties
  • Designing an Algorithmic Proof of the Two-Squares Theorem
  • Partial, Total and General Correctness
  • Unifying Theories of Programming That Distinguish Nontermination and Abort
  • Adjoint Folds and Unfolds
  • An Abstract Machine for the Old Value Retrieval
  • A Tracking Semantics for CSP
  • Matrices as Arrows!
  • Lucy-n: a n-Synchronous Extension of Lustre
  • Sampling, Splitting and Merging in Coinductive Stream Calculus
  • Generic Point-free Lenses
  • Formal Derivation of Concurrent Garbage Collectors
  • Temporal Logic Verification of Lock-Freedom
  • Gradual Refinement.

Ejemplares similares