POPL 2008 - PDF Preprint Papers

POPL 2008 Annual Symposium on Principles of Programming Languages

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed POPL-2008 Paper

click to vote

POPL
2008
ACM

182views Programming Languages» more POPL 2008»

Multiparty asynchronous session types

14 years 11 months ago

Download wwwhomes.doc.ic.ac.uk

Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...

Kohei Honda, Nobuko Yoshida, Marco Carbone

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	182	Multiparty asynchronous session types	claim
2	176	Boomerang: resourceful lenses for string data	claim
3	161	From dirt to shovels: fully automatic tool generation from ad hoc data	claim
4	161	Formal verification of translation validators: a case study on instruction scheduling optimizations	claim
5	156	Enhancing modular OO verification with separation logic	claim
6	154	Separation logic, abstraction and inheritance	claim
7	151	Semantics of transactional memory and automatic mutual exclusion	claim
8	146	Systems biology, models, and concurrency	claim
9	144	The design and implementation of typed scheme	claim
10	143	Cryptographically sound implementations for typed information-flow security	claim
11	142	Cyclic proofs of program termination in separation logic	claim
12	139	Demand-driven alias analysis for C	claim
13	136	Lightweight semiformal time complexity analysis for purely functional data structures	claim
14	132	High-level small-step operational semantics for transactions	claim
15	129	Relational inductive shape analysis	claim
16	126	An approach to call-by-name delimited continuations	claim
17	124	Engineering formal metatheory	claim
18	123	Proving non-termination	claim
19	121	Imperative self-adjusting computation	claim
20	120	Generating precise and concise procedure summaries	claim
21	117	Automatic inference of stationary fields: a generalization of java's final fields	claim
22	115	A logical account of pspace	claim
23	114	A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions	claim
24	114	A theory of contracts for web services	claim
25	114	Foundations for structured programming with GADTs	claim
26	110	Relevance heuristics for program analysis	claim
27	102	Subcubic algorithms for recursive state machines	claim
28	102	Lifting abstract interpreters to quantified logical domains	claim
29	100	Extensible encoding of type hierarchies	claim
30	93	The intensional content of Rice's theorem	claim
31	92	Focusing and higher-order abstract syntax	claim
32	81	A theory of platform-dependent low-level software	claim
33	70	Much ado about two (pearl): a pearl on parallel prefix computation	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers