Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures /: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures. (2015)

• Record Type: Book
• Other Titles: SFM 2015
• Further Information: Note: Marco Bernardo, Einar Broch Johnsen (eds.).
• Editors: Bernardo, Marco; Johnsen, Einar Broch
• Other Names: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 15th
• Contents: Intro; Preface; Contents; Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore; 1 Introduction; 2 Background: Active Object-Based Parallelism; 3 Hello Encore; 4 Classes; 4.1 Object Construction and Constructors; 4.2 Active Classes; 4.3 Passive Classes; 4.4 Parametric Classes; 4.5 Traits and Inheritance; 5 Method Calls; 6 Futures; 6.1 Using the get operation; 6.2 Using the await command; 6.3 Using Future Chaining; 7 Expressions, Statements, and so Forth; 7.1 Types; 7.2 Expression Sequences; 7.3 Loops; 7.4 Arrays; 7.5 Formatted Printing; 7.6 Anonymous Functions 7.7 Polymorphism and Type Inference7.8 Module System; 7.9 Suspending Execution; 7.10 Embedding of C Code; 8 Streams; 9 Parallel Combinators; 9.1 Parallel Types; 9.2 A Collection of Combinators; 9.3 From Sequential to Parallel Types; 9.4 ... and Back Again; 9.5 Example; 9.6 Implementation; 10 Capabilities; 10.1 Capabilities for Controlling of Sharing; 10.2 Exclusive Capabilities; 10.3 Shared Capabilities; 10.4 Subordinate Capabilities; 10.5 Polymorphic Concurrency Control; 10.6 Composing Capabilities; 10.7 Implementing a Parallel Operation on Disjoint Parts of Shared State; 11 Examples 11.1 Example: Thread Ring11.2 Example: Prime Sieve; 11.3 Example: Preferential Attachment; 12 Formal Semantics; 12.1 The Syntax of Encore; 12.2 Typing of Encore; 12.3 Semantics of Encore; 12.4 Run-Time Typing; 13 Related Work; 14 Conclusion; A Code for Preferential Attachments; References; Coordinating Multicore Computing; 1 Introduction; 2 Interaction-Centric Concurrency; 3 Overview of Reo; 4 Examples; 4.1 Alternator; 4.2 Sequencer; 4.3 Buffered Sequencing; 4.4 Sampling; 4.5 Exclusive Router; 4.6 Shift-Lossy FIFO1; 4.7 Decoupled Alternating Producers and Consumer; 4.8 Dataflow Variable 4.9 Fully Decoupled Alternating Producers and Consumer4.10 Flexibility and Scaling; 5 Semantics; 6 Compilation; 7 Concluding Remarks; References; Modeling of Architectures; 1 Why Herd Cats Anyway?; 2 First Steps in Herding Cats; 3 Let's Herd Two Kittens 12; 4 Let's Herd Our First Big Cat: A Tiger 6; 4.1 SC per Location; 4.2 No Thin Air; 4.3 Propagation; 4.4 Observation; 4.5 Restoring SC with Heavyweight Fences; 5 Let's Herd Our Second Big Cat: A Jaguar 13; 5.1 Scopes; 5.2 RMO per Scope; 6 Let's Herd Our Third Big Cat: A Panther 15; 6.1 Plain and Special Events; 6.2 Release-Acquire Semantics 6.3 Validity6.4 Data Races and Undefined Executions; 7 Credits; A Answers to Exercises; A.1 First Step in Herding Cats; A.2 First Big Cat: Tiger; A.3 Second Big Cat: Jaguar; B Complete Bell and Cat Files; B.1 Kittens; B.2 Tiger; B.3 Jaguar; B.4 Panther; References; A Gentle Introduction to Multiparty Asynchronous Session Types; 1 Introduction; 2 Examples; 2.1 Example 1: The Three Buyer Protocol; 2.2 Example 2: The Three Buyer Protocol with Recursion; 3 The Calculus for Multiparty Sessions; 3.1 Syntax; 3.2 Operational Semantics; 4 Communication Type System; 4.1 Global and Session Types
• Publisher Details: Cham : Springer
• Publication Date: 2015
• Extent: 1 online resource (vii, 211 pages), illustrations
• Subjects: 005.1; Computer science; Computer software -- Development -- Congresses; Formal methods (Computer science) -- Congresses; Computer software -- Development; Formal methods (Computer science); Engineering & Applied Sciences; Computer Science; Computer Science; Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Probability and Statistics in Computer Science; Computers -- Programming -- General; Computers -- Programming Languages -- General; Mathematics -- Logic; Computers -- Mathematical & Statistical Software; Computer programming / software development; Programming & scripting languages: general; Mathematical theory of computation; Maths for computer scientists; Software engineering; Logic design; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783319189413; 3319189417; 3319189409; 9783319189406
• Related ISBNs: 9783319189406
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed May 15, 2015).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.