Programming Languages and Systems de Zhong Shao

Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings: Lecture Notes in Computer Science, cartea 4807

Zhong Shao

This book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The 27 papers presented in this volume were carefully reviewed and selected from 109 submissions. In addition, the book contains two invited talks. The contributions are organized in topical sections named: type systems; verified compilation; program verification; semantics; concurrency; linear types; network and process calculi; and program analysis.

Citește tot Restrânge

	Preț	Express
Paperback (2)	338^.65 lei 6-8 săpt.
Springer Berlin, Heidelberg – 7 noi 2007	338^.65 lei 6-8 săpt.
Springer Berlin, Heidelberg – 17 mar 2014	344^.35 lei 6-8 săpt.

Preț

Express

Paperback (2)

338^.65 lei 6-8 săpt.

Springer Berlin, Heidelberg – 7 noi 2007

338^.65 lei 6-8 săpt.

Springer Berlin, Heidelberg – 17 mar 2014

344^.35 lei 6-8 săpt.

Din seria Lecture Notes in Computer Science

20%

Preț: 1053^.72 lei
20%

Preț: 337^.82 lei
20%

Preț: 339^.43 lei
20%

Preț: 449^.99 lei
20%

Preț: 238^.01 lei
20%

Preț: 337^.82 lei
20%

Preț: 438^.69 lei
Preț: 446^.28 lei
20%

Preț: 341^.10 lei
20%

Preț: 148^.66 lei
20%

Preț: 310^.26 lei
20%

Preț: 256^.27 lei
20%

Preț: 640^.52 lei
17%

Preț: 427^.22 lei
20%

Preț: 650^.20 lei
20%

Preț: 307^.71 lei
20%

Preț: 1067^.33 lei
20%

Preț: 587^.17 lei
Preț: 378^.43 lei
20%

Preț: 334^.54 lei
15%

Preț: 435^.36 lei
20%

Preț: 607^.39 lei
20%

Preț: 538^.29 lei
Preț: 389^.48 lei
20%

Preț: 326^.98 lei
20%

Preț: 1404^.34 lei
20%

Preț: 1016^.88 lei
20%

Preț: 575^.04 lei
20%

Preț: 575^.48 lei
20%

Preț: 579^.12 lei
20%

Preț: 757^.61 lei
15%

Preț: 576^.20 lei
17%

Preț: 360^.19 lei
20%

Preț: 504^.57 lei
20%

Preț: 172^.69 lei
20%

Preț: 369^.12 lei
20%

Preț: 350^.92 lei
20%

Preț: 581^.57 lei
Preț: 407^.85 lei
20%

Preț: 592^.06 lei
20%

Preț: 757^.61 lei
20%

Preț: 819^.86 lei
20%

Preț: 649^.49 lei
20%

Preț: 347^.62 lei
20%

Preț: 309^.90 lei
20%

Preț: 122^.89 lei

Specificații

ISBN-13: 9783540766360
ISBN-10: 3540766367
Pagini: 452
Ilustrații: XI, 436 p.
Dimensiuni: 155 x 235 x 32 mm
Greutate: 0.66 kg
Ediția:2007
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Cuprins

Invited Talk 1.- X10: Concurrent Programming for Modern Architectures.- The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification.- Local Reasoning for Storable Locks and Threads.- Monadic, Prompt Lazy Assertions in Haskell.- Translation Correctness for First-Order Object-Oriented Pattern Matching.- Persistent Oberon: A Programming Language with Integrated Persistence.- More Typed Assembly Languages for Confidentiality.- A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics.- On a Tighter Integration of Functional and Logic Programming.- Invited Talk 2.- Scalable Simulation of Cellular Signaling Networks.- Timed, Distributed, Probabilistic, Typed Processes.- A Probabilistic Applied Pi–Calculus.- Type-Based Verification of Correspondence Assertions for Communication Protocols.- Deriving Compilers and Virtual Machines for a Multi-level Language.- Finally Tagless, Partially Evaluated.- Polymorphic Delimited Continuations.- Adjunct Elimination in Context Logic for Trees.- Positive Arithmetic Without Exchange Is a Subclassical Logic.- Mixed Inductive/Coinductive Types and Strong Normalization.- Invited Talk 3.- Static and Dynamic Analysis: Better Together.- The Semantics of “Semantic Patches” in Coccinelle: Program Transformation for the Working Programmer.- An Efficient SSA-Based Algorithm for Complete Global Value Numbering.- A Systematic Approach to Probabilistic Pointer Analysis.- Complete Lattices and Up-To Techniques.- A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract.- CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence.- Call-by-Name and Call-by-Value in Normal Modal Logic.- Call-by-Value Is Dual to Call-by-Name, Extended.