POPL 2006 - PDF Preprint Papers

POPL 2006 Annual Symposium on Principles of Programming Languages

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed POPL-2006 Paper

click to vote

POPL
2006
ACM

348views Programming Languages» more POPL 2006»

The next mainstream programming language: a game developer's perspective

14 years 4 months ago

Download www.st.cs.uni-saarland.de

Tim Sweeney

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	348	The next mainstream programming language: a game developer's perspective	claim
2	253	Decidability and proof systems for language-based noninterference relations	claim
3	203	Formal certification of a compiler back-end or: programming a compiler with a proof assistant	claim
4	192	Associating synchronization constraints with data in an object-oriented language	claim
5	191	Certified assembly programming with embedded code pointers	claim
6	181	Autolocker: synchronization inference for atomic sections	claim
7	168	The essence of command injection attacks in web applications	claim
8	163	Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations	claim
9	159	Stratified type inference for generalized algebraic data types	claim
10	154	Adventures in time and space	claim
11	151	Hybrid type checking	claim
12	151	Frame rules from answer types for code pointers	claim
13	146	A fixpoint calculus for local and global program flows	claim
14	145	On flow-sensitive security types	claim
15	142	Why dependent types matter	claim
16	138	The next 700 data description languages	claim
17	138	Specifying C++ concepts	claim
18	134	A verifiable SSA program representation for aggressive compiler optimization	claim
19	131	Small bisimulations for reasoning about higher-order imperative programs	claim
20	129	Fast and loose reasoning is morally correct	claim
21	129	Modular set-based analysis from contracts	claim
22	126	Verifying properties of well-founded linked lists	claim
23	125	Polymorphic regular tree types and patterns	claim
24	124	N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems	claim
25	124	Simplifying reductions	claim
26	123	Harmless advice	claim
27	121	A logic for information flow in object-oriented programs	claim
28	108	A hierarchical model of data locality	claim
29	107	Staged allocation: a compositional technique for specifying and implementing procedure calling conventions	claim
30	106	A polymorphic modal type system for lisp-like multi-staged languages	claim
31	104	A virtual class calculus	claim
32	98	Interruptible iterators	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers