Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09
Latest Publications

TOTAL DOCUMENTS

39
(FIVE YEARS 0)

H-INDEX

15
(FIVE YEARS 0)

Published By ACM Press

9781605583792
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Lazy evaluation and delimited control

2008 ◽  
Author(s):  
Ronald Garcia ◽  
Andrew Lumsdaine ◽  
Amr Sabry
Keyword(s):  
Lazy Evaluation

The third homomorphism theorem on trees

2008 ◽  
Author(s):  
Akimasa Morihata ◽  
Kiminori Matsuzaki ◽  
Zhenjiang Hu ◽  
Masato Takeichi
Keyword(s):  
The Third ◽  
Homomorphism Theorem

Unifying type checking and property checking for low-level code

2008 ◽  
Author(s):  
Jeremy Condit ◽  
Brian Hackett ◽  
Shuvendu K. Lahiri ◽  
Shaz Qadeer
Keyword(s):  
Type Checking ◽  
Low Level

Modular code generation from synchronous block diagrams

2008 ◽  
Author(s):  
Roberto Lublinerman ◽  
Christian Szegedy ◽  
Stavros Tripakis
Keyword(s):  
Code Generation

The semantics of x86-CC multiprocessor machine code

2008 ◽  
Author(s):  
Susmit Sarkar ◽  
Peter Sewell ◽  
Francesco Zappa Nardelli ◽  
Scott Owens ◽  
Tom Ridge ◽  
...  
Keyword(s):  
Machine Code

Proving that non-blocking algorithms don't block

2008 ◽  
Author(s):  
Alexey Gotsman ◽  
Byron Cook ◽  
Matthew Parkinson ◽  
Viktor Vafeiadis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document