A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Filters
Effective partial redundancy elimination
1994
Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation - PLDI '94
Preserved Fulltext
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
1994
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2013
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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