Cantitate/Preț
Produs
Total produse
Vezi coșul
Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings de Claude Bolduc

Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings: Lecture Notes in Computer Science, cartea 6120

Editat de Claude Bolduc, Jules Desharnais, Bechir Ktari
en Limba Engleză Paperback – iun 2010

Considerăm acest volum ca fiind un instrument indispensabil pentru cercetătorii și practicienii care dețin deja o bază solidă în matematica discretă și logica formală, fiind axat pe rigoarea construcției software. Mathematics of Program Construction nu este un manual introductiv, ci o compilație de studii avansate ce presupun familiaritatea cu metodele formale de verificare și analiză a programelor. Structura lucrării, organizată sub egida Lecture Notes in Computer Science, reflectă progresia de la concepte teoretice fundamentale la aplicații practice complexe în hardware și software.

Găsim în această ediție o diversitate remarcabilă de subiecte, de la algoritmica jocurilor de tip Solitaire până la fluxurile securizate de informații și calculul coinductiv al fluxurilor de date. Pe linia practică a volumului Theoretical Aspects of Computing, dar cu focus pe derivarea programelor prin calcul formal, această lucrare pune accent pe concizie și precizie. În timp ce Programming Concepts and Methods PROCOMET '98 oferea o perspectivă istorică asupra metodologiilor, volumul de față, editat de Claude Bolduc, Jules Desharnais și Bechir Ktari, aduce în prim-plan tehnici moderne precum lentilele generice point-free și verificarea sistemelor lock-free prin logică temporală.

Fiecare lucrare inclusă a fost supusă unui proces riguros de peer-review, garantând un conținut de înaltă calitate științifică. Temele abordate, precum rafinarea graduală și semantica de urmărire pentru CSP, demonstrează aplicabilitatea principiilor matematice în eficientizarea procesului de scriere a codului, transformând construcția programelor dintr-o activitate empirică într-una bazată pe demonstrații logice stricte.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32736 lei

Preț vechi: 40920 lei
-20%

Puncte Express: 491

Carte disponibilă

Livrare economică 11-25 mai

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783642133206
ISBN-10: 3642133207
Pagini: 440
Ilustrații: X, 427 p. 57 illus.
Dimensiuni: 10 x 93 x 25 mm
Greutate: 0.64 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Professional/practitioner

De ce să citești această carte

Recomandăm această carte inginerilor software și cercetătorilor care doresc să depășească etapa programării intuitive. Cititorul câștigă acces la tehnici de calcul formal care permit construcția unor programe corecte prin design, nu doar prin testare succesivă. Este o resursă esențială pentru cei care lucrează în sisteme critice unde precizia și verificarea formală sunt vitale, oferind perspective noi asupra semanticii și logicii programării.

Cuprins

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.

Descriere

This volumecontainsthe proceedingsof MPC2010, the 10th InternationalC- ferenceonthe MathematicsofProgramConstruction.ThebiennialMPCconf- encesaimtopromotethedevelopmentofmathematicalprinciplesandtechniques that aredemonstrablypracticalande'ective in the processof constructingc- puter programs, whether implemented in hardware or software. The focus is on techniques that combine precision with conciseness, enabling programs to be constructed by formal calculation. Within this theme, the scope of the series is very diverse, including programming methodology, program speci'cation and transformation, program analysis, programming paradigms, programming c- culi, programming language semantics, security, and program logics. The conference took place during June 21 23 in Lac-Beauport, a suburb of Qu ebec City, Canada, prior to AMAST 2010 (June 23 26). The previous nine conferences were held in 1989 in Twente, The Netherlands (LNCS 375); in 1992 in Oxford, UK (LNCS 669); in 1995 in Kloster Irsee, Germany (LNCS 947); in 1998 in Marstrand near Got ] eborg, Sweden (LNCS 1422); in 2000 in Ponte de Lima, Portugal (LNCS 1837); in 2002 in Dagstuhl, Germany (LNCS 2386); in 2004, inStirling, UK(LNCS3125);in2006inKuressaare, Estonia(LNCS4014); and in 2008 in Marseille-Luminy, France (LNCS 5133). The volume contains one invited paper, the abstracts of two invited talks, and 19 papersselected for presentationby the ProgramCommittee from 37 s- missions. Eachpaper wasrefereed by at least three reviewers, and on averageby four. We are grateful to the members of the Program Committee and the ext- nal referees for their care and diligence in reviewing the submitted papers. The review process and compilation of the proceedings were greatly helped by - drei Voronkov s EasyChair system that we highly recommend to every Program Chair."