Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings / / edited by Graham Hutton |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (viii, 467 pages) : illustrations |
Disciplina |
001.642
005.10151 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer logic
Software engineering Mathematical logic Computer system failures Natural language processing (Computer science) Computer science—Mathematics Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages System Performance and Evaluation Natural Language Processing (NLP) Math Applications in Computer Science |
ISBN | 3-030-33636-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910349271103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Mathematics of Program Construction [[electronic resource] ] : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings / / edited by Claude Bolduc, Jules Desharnais, Bechir Ktari |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (X, 427 p. 57 illus.) |
Disciplina | 005.10151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
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 |
ISBN |
1-280-38680-0
9786613564726 3-642-13321-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNISA-996465637503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Mathematics of program construction : 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010. proceedings / / Claude Bolduc, Jules Desharnais, Bechir Ktari (Eds.) |
Edizione | [1st ed.] |
Pubbl/distr/stampa | New York, : Springer, 2010 |
Descrizione fisica | 1 online resource (X, 427 p. 57 illus.) |
Disciplina | 005.10151 |
Altri autori (Persone) |
BolducClaude
DesharnaisJules KtariBechir |
Collana |
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science |
Soggetto topico | Computer programming |
ISBN |
1-280-38680-0
9786613564726 3-642-13321-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910482959003321 |
New York, : Springer, 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|