Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/popl/popl98.bht:"
download as .bib file
@inproceedings{DBLP:conf/popl/AikenG98,
author = {Alexander Aiken and
David Gay},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Barrier Inference},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {342--354},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268974},
doi = {10.1145/268946.268974},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/AikenG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AriolaS98,
author = {Zena M. Ariola and
Amr Sabry},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Correctness of Monadic State: An Imperative Call-by-Need Calculus},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {62--74},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268952},
doi = {10.1145/268946.268952},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/AriolaS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AspertiM98,
author = {Andrea Asperti and
Harry G. Mairson},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Parallel Beta Reduction is not Elementary Recursive},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {303--315},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268971},
doi = {10.1145/268946.268971},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/AspertiM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BallMS98,
author = {Thomas Ball and
Peter Mataga and
Shmuel Sagiv},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Edge Profiling versus Path Profiling: The Showdown},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {134--148},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268958},
doi = {10.1145/268946.268958},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BallMS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BarthouCC98,
author = {Denis Barthou and
Albert Cohen and
Jean{-}Francois Collard},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Maximal Static Expansion},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {98--106},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268955},
doi = {10.1145/268946.268955},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BarthouCC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Blanchet98,
author = {Bruno Blanchet},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Escape Analysis: Correctness Proof, Implementation and Experimental
Results},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {25--37},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268949},
doi = {10.1145/268946.268949},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Blanchet98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BodikA98,
author = {Rastislav Bod{\'{\i}}k and
Sadun Anik},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Path-Sensitive Value-Flow Analysis},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {237--251},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268966},
doi = {10.1145/268946.268966},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BodikA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CollbergTL98,
author = {Christian S. Collberg and
Clark D. Thomborson and
Douglas Low},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {184--196},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268962},
doi = {10.1145/268946.268962},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/CollbergTL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DeFouwGC98,
author = {Greg DeFouw and
David Grove and
Craig Chambers},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Fast Interprocedural Class Analysis},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {222--236},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268965},
doi = {10.1145/268946.268965},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/DeFouwGC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DebrayMW98,
author = {Saumya K. Debray and
Robert Muth and
Matthew Weippert},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Alias Analysis of Executable Code},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {12--24},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268948},
doi = {10.1145/268946.268948},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/DebrayMW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FlattKF98,
author = {Matthew Flatt and
Shriram Krishnamurthi and
Matthias Felleisen},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Classes and Mixins},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {171--183},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268961},
doi = {10.1145/268946.268961},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/FlattKF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GhiyaH98,
author = {Rakesh Ghiya and
Laurie J. Hendren},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Putting Pointer Analysis to Work},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {121--133},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268957},
doi = {10.1145/268946.268957},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/GhiyaH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HannanH98,
author = {John Hannan and
Patrick Hicks},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Higher-Order unCurrying},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {1--11},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268947},
doi = {10.1145/268946.268947},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/HannanH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HeintzeR98,
author = {Nevin Heintze and
Jon G. Riecke},
editor = {David B. MacQueen and
Luca Cardelli},
title = {The SLam Calculus: Programming with Secrecy and Integrity},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {365--377},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268976},
doi = {10.1145/268946.268976},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/HeintzeR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HuTC98,
author = {Zhenjiang Hu and
Masato Takeichi and
Wei{-}Ngan Chin},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Parallelization in Calculational Forms},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {316--328},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268972},
doi = {10.1145/268946.268972},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/HuTC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JagannathanTWW98,
author = {Suresh Jagannathan and
Peter Thiemann and
Stephen Weeks and
Andrew K. Wright},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Single and Loving It: Must-Alias Analysis for Higher-Order Languages},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {329--341},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268973},
doi = {10.1145/268946.268973},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/JagannathanTWW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Jensen98,
author = {Thomas P. Jensen},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Inference of Polymorphic and Conditional Strictness Properties},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {209--221},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268964},
doi = {10.1145/268946.268964},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Jensen98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JonesSLT98,
author = {Simon L. Peyton Jones and
Mark Shields and
John Launchbury and
Andrew P. Tolmach},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Bridging the Gulf: {A} Common Intermediate Language for {ML} and Haskell},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {49--61},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268951},
doi = {10.1145/268946.268951},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/JonesSLT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KnobeS98,
author = {Kathleen Knobe and
Vivek Sarkar},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Array {SSA} Form and Its Use in Parallelization},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {107--120},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268956},
doi = {10.1145/268946.268956},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/KnobeS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LeroyR98,
author = {Xavier Leroy and
Fran{\c{c}}ois Rouaix},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Security Properties of Typed Applets},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {391--403},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268979},
doi = {10.1145/268946.268979},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/LeroyR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Minamide98,
author = {Yasuhiko Minamide},
editor = {David B. MacQueen and
Luca Cardelli},
title = {A Functional Representation of Data Structures with a Hole},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {75--84},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268953},
doi = {10.1145/268946.268953},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Minamide98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MorrisettWCG98,
author = {J. Gregory Morrisett and
David Walker and
Karl Crary and
Neal Glew},
editor = {David B. MacQueen and
Luca Cardelli},
title = {From System {F} to Typed Assembly Language},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {85--97},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268954},
doi = {10.1145/268946.268954},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/MorrisettWCG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/NipkowO98,
author = {Tobias Nipkow and
David von Oheimb},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Java\emph{\({}_{\mbox{light}}\)} is Type-Safe - Definitely},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {161--170},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268960},
doi = {10.1145/268946.268960},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/NipkowO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Nishimura98,
author = {Susumu Nishimura},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Static Typing for Dynamic Messages},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {266--278},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268968},
doi = {10.1145/268946.268968},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Nishimura98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PalsbergP98,
author = {Jens Palsberg and
Christina Pavlopoulou},
editor = {David B. MacQueen and
Luca Cardelli},
title = {From Polyvariant Flow Information to Intersection and Union Types},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {197--208},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268963},
doi = {10.1145/268946.268963},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/PalsbergP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PierceT98,
author = {Benjamin C. Pierce and
David N. Turner},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Local Type Inference},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {252--265},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268967},
doi = {10.1145/268946.268967},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/PierceT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RielyH98,
author = {James Riely and
Matthew Hennessy},
editor = {David B. MacQueen and
Luca Cardelli},
title = {A Typed Language for Distributed Mobile Processes (Extended Abstract)},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {378--390},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268978},
doi = {10.1145/268946.268978},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/RielyH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Schmidt98,
author = {David A. Schmidt},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Data Flow Analysis is Model Checking of Abstract Interpretations},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {38--48},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268950},
doi = {10.1145/268946.268950},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Schmidt98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Schubert98,
author = {Aleksy Schubert},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Second-Order Unification and Type Inference for Church-Style Polymorphism},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {279--288},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268969},
doi = {10.1145/268946.268969},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Schubert98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ShieldsSJ98,
author = {Mark Shields and
Tim Sheard and
Simon L. Peyton Jones},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Dynamic Typing as Staged Type Inference},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {289--302},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268970},
doi = {10.1145/268946.268970},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/ShieldsSJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SmithV98,
author = {Geoffrey Smith and
Dennis M. Volpano},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Secure Information Flow in a Multi-Threaded Imperative Language},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {355--364},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268975},
doi = {10.1145/268946.268975},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/SmithV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/StataA98,
author = {Raymie Stata and
Mart{\'{\i}}n Abadi},
editor = {David B. MacQueen and
Luca Cardelli},
title = {A Type System for Java Bytecode Subroutines},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {149--160},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268959},
doi = {10.1145/268946.268959},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/StataA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1998,
editor = {David B. MacQueen and
Luca Cardelli},
title = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
publisher = {{ACM}},
year = {1998},
url = {http://dl.acm.org/citation.cfm?id=268946},
isbn = {0-89791-979-3},
timestamp = {Mon, 21 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-30 10:01 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
