Filters








4 Hits in 8.8 sec

Effective partial redundancy elimination

Preston Briggs, Keith D. Cooper
1994 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation - PLDI '94  
Partial redundancy elimination is a code optimization with a long history of literature and implementation.  ...  Acknowledgements We owe a debt of gratitude to our colleagues on the compiler project: Tim Harvey, Rob Shillingsburg, Tay-  ...  In Conference Record of the Eighteenth Annual ACM Syrnposiurn on Principles oj Programming Lan- guages, pages 55-66, Orlando, Florida, January 1991. System/6000 architecture.  ... 
doi:10.1145/178243.178257 dblp:conf/pldi/BriggsC94 fatcat:rufsz3fgrbh2pehqlbecvlnkdm

Effective partial redundancy elimination

Preston Briggs, Keith D. Cooper
1994 SIGPLAN notices  
Partial redundancy elimination is a code optimization with a long history of literature and implementation.  ...  Acknowledgements We owe a debt of gratitude to our colleagues on the compiler project: Tim Harvey, Rob Shillingsburg, Tay-  ...  In Conference Record of the Eighteenth Annual ACM Syrnposiurn on Principles oj Programming Lan- guages, pages 55-66, Orlando, Florida, January 1991. System/6000 architecture.  ... 
doi:10.1145/773473.178257 fatcat:d67bo55365cm5bsubpzp4nk47i

Multiparty Session Programming with Global Protocol Combinators [article]

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
2020 arXiv   pre-print
The state-of-the-art implementations of the MPST theory rely on (1) runtime linearity checks to ensure correct usage of communication channels and (2) external domain-specific languages for specifying  ...  Our approach enables fully-static verification and implementation of the whole protocol, from the protocol specification to the process implementations, to happen in the same language.  ...  Acknowledgements We thank Jacques Garrigue and Oleg Kiselyov for their comments on an early version of this paper.  ... 
arXiv:2005.06333v2 fatcat:zqtsntdqjrgbnfmg262g6zattu

Primary Encoder: Laura Weakly Designer: Karin Dalziel Encoders and Proofreaders: International Program Committee Local Organizing Committee Conference Volunteers Welcome to Digital Humanities 2013

Matt Bosley, Matthew Lavin, Elizabeth Lorang, Keith Nickum, Erin Pedigo, Hannah Vahle, Bethany Nowviskie, Craig Bellamy, John Bradley, Paul Caton, Carolyn Guertin, Ian Johnson (+61 others)
2013 unpublished
Welcome to the University of Nebraska-Lincoln and to Digital Humanities 2013. The theme we have chosen for this year's conference is "Freedom to Explore."  ...  We hope you can come to our open house during the conference and meet some of our faculty and graduate students.  ...  International Program Committee Acknowledgements The University of Queensland is proud to be in partnership with the National eResearch Collaboration Tools and Resources (NeCTAR) project to create a  ... 
fatcat:bibtuxjcgzdtpgda6kjat2m5hu