Items related to Behavioral Types in Programming Languages (Foundations...
Behavioral Types in Programming Languages (Foundations and Trends(r) in Programming Languages) - Softcover
Synopsis
A recent trend in programming language research is to use behavioral type theory to ensure various correctness properties of large-scale, communication-intensive systems. Behavioral types encompass concepts such as interfaces, communication protocols, contracts, and choreography. The successful application of behavioral types requires a solid understanding of several practical aspects, from their representation in a concrete programming language, to their integration with other programming constructs such as methods and functions, to design and monitoring methodologies that take behaviors into account. Behavioral Types in Programming Languages provides the reader with the first comprehensive overview of the state of the art of these practical aspects, which are summarized as the pragmatics of behavioral types. Each section covers a particular programming paradigm or methodology, providing an ideal reference for programming languages researchers interested the topic, and in identifying the areas as yet unexplored.
"synopsis" may belong to another edition of this title.
- PublisherNow Publishers
- Publication date2016
- ISBN 10 1680831348
- ISBN 13 9781680831344
- BindingPaperback
- LanguageEnglish
- Number of pages156
Search results for Behavioral Types in Programming Languages (Foundations...
Stock Image
Behavioral Types in Programming Languages (Foundations and Trends (R) in Programming Languages): 8 (Foundations and Trends® in Programming Languages) [Paperback] Ancona, Davide; Bono, Viviana and Bravetti, Mario
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Seller rating 5 out of 5 stars
Condition: Fine. Minor wear at extremities. Light storage marks at parts of text blocks. Text as new and unread. Seller Inventory # 038428-10
Quantity: 1 available
Stock Image
Behavioral Types in Programming Languages
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781680831344
Quantity: Over 20 available
Stock Image
Behavioral Types in Programming Languages
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9781680831344
Quantity: 15 available
Stock Image
Behavioral Types in Programming Languages
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9781680831344
Quantity: 10 available
Stock Image
Behavioral Types in Programming Languages
Published by
now publishers Inc, 2016
ISBN 10: 1680831348
ISBN 13: 9781680831344
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 257. Seller Inventory # C9781680831344
Quantity: Over 20 available
Stock Image
Behavioral Types in Programming Languages
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 150 pages. 9.21x6.14x0.33 inches. In Stock. Seller Inventory # x-1680831348
Quantity: 2 available
Stock Image
Behavioral Types in Programming Languages (Foundations and Trends in Programming Languages)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 150. Seller Inventory # 26374999238
Quantity: 4 available
Seller Image
Behavioral Types in Programming Languages
Print on DemandSeller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - A recent trend in programming language research is to use behavioral type theory to ensure various correctness properties of large-scale, communication-intensive systems. Behavioral types encompass concepts such as interfaces, communication protocols, contracts, and choreography. The successful application of behavioral types requires a solid understanding of several practical aspects, from their representation in a concrete programming language, to their integration with other programming constructs such as methods and functions, to design and monitoring methodologies that take behaviors into account.Behavioral Types in Programming Languages provides the reader with the first comprehensive overview of the state of the art of these practical aspects, which are summarized as the pragmatics of behavioral types. Each section covers a particular programming paradigm or methodology, providing an ideal reference for programming languages researchers interested the topic, and in identifying the areas as yet unexplored. Seller Inventory # 9781680831344
Quantity: 1 available
Seller Image
Behavioral Types in Programming Languages
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextA recent trend in programming language research is to use behavioral type theory to ensure various correctness properties of large-scale, communication-intensive systems. Behavioral types encompass concepts such as interfaces,. Seller Inventory # 448249715
Quantity: Over 20 available
Stock Image
Behavioral Types in Programming Languages (Foundations and Trends in Programming Languages)
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 150. Seller Inventory # 18374999244
Quantity: 4 available