default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/java/formal99.bht:"
download as .bib file
@inproceedings{DBLP:conf/java/Alves-FossF99,
author = {Jim Alves{-}Foss and
Deborah A. Frincke},
editor = {Jim Alves{-}Foss},
title = {Formal Grammar for Java},
booktitle = {Formal Syntax and Semantics of Java},
series = {Lecture Notes in Computer Science},
volume = {1523},
pages = {1--40},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48737-9\_1},
doi = {10.1007/3-540-48737-9\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/java/Alves-FossF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/java/Alves-FossL99,
author = {Jim Alves{-}Foss and
Fong Shing Lam},
editor = {Jim Alves{-}Foss},
title = {Dynamic Denotational Semantics of Java},
booktitle = {Formal Syntax and Semantics of Java},
series = {Lecture Notes in Computer Science},
volume = {1523},
pages = {201--240},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48737-9\_6},
doi = {10.1007/3-540-48737-9\_6},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/java/Alves-FossL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/java/BorgerS99,
author = {Egon B{\"{o}}rger and
Wolfram Schulte},
editor = {Jim Alves{-}Foss},
title = {A Programmer Friendly Modular Definition of the Semantics of Java},
booktitle = {Formal Syntax and Semantics of Java},
series = {Lecture Notes in Computer Science},
volume = {1523},
pages = {353--404},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48737-9\_10},
doi = {10.1007/3-540-48737-9\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/java/BorgerS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/java/CenciarelliKRW99,
author = {Pietro Cenciarelli and
Alexander Knapp and
Bernhard Reus and
Martin Wirsing},
editor = {Jim Alves{-}Foss},
title = {An Event-Based Structural Operational Semantics of Multi-Threaded
Java},
booktitle = {Formal Syntax and Semantics of Java},
series = {Lecture Notes in Computer Science},
volume = {1523},
pages = {157--200},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48737-9\_5},
doi = {10.1007/3-540-48737-9\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/java/CenciarelliKRW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/java/DrossopoulouE99,
author = {Sophia Drossopoulou and
Susan Eisenbach},
editor = {Jim Alves{-}Foss},
title = {Describing the Semantics of Java and Proving Type Soundness},
booktitle = {Formal Syntax and Semantics of Java},
series = {Lecture Notes in Computer Science},
volume = {1523},
pages = {41--82},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48737-9\_2},
doi = {10.1007/3-540-48737-9\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/java/DrossopoulouE99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/java/FlattKF99,
author = {Matthew Flatt and
Shriram Krishnamurthi and
Matthias Felleisen},
editor = {Jim Alves{-}Foss},
title = {A Programmer's Reduction Semantics for Classes and Mixins},
booktitle = {Formal Syntax and Semantics of Java},
series = {Lecture Notes in Computer Science},
volume = {1523},
pages = {241--269},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48737-9\_7},
doi = {10.1007/3-540-48737-9\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/java/FlattKF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/java/HartelBL99,
author = {Pieter H. Hartel and
Michael J. Butler and
Moshe Levy},
editor = {Jim Alves{-}Foss},
title = {The Operational Semantics of a Java Secure Processor},
booktitle = {Formal Syntax and Semantics of Java},
series = {Lecture Notes in Computer Science},
volume = {1523},
pages = {313--352},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48737-9\_9},
doi = {10.1007/3-540-48737-9\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/java/HartelBL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/java/OheimbN99,
author = {David von Oheimb and
Tobias Nipkow},
editor = {Jim Alves{-}Foss},
title = {Machine-Checking the Java Specification: Proving Type-Safety},
booktitle = {Formal Syntax and Semantics of Java},
series = {Lecture Notes in Computer Science},
volume = {1523},
pages = {119--156},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48737-9\_4},
doi = {10.1007/3-540-48737-9\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/java/OheimbN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/java/Qian99,
author = {Zhenyu Qian},
editor = {Jim Alves{-}Foss},
title = {A Formal Specification of Java Virtual Machine Instructions for Objects,
Methods and Subrountines},
booktitle = {Formal Syntax and Semantics of Java},
series = {Lecture Notes in Computer Science},
volume = {1523},
pages = {271--312},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48737-9\_8},
doi = {10.1007/3-540-48737-9\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/java/Qian99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/java/Syme99,
author = {Don Syme},
editor = {Jim Alves{-}Foss},
title = {Proving Java Type Soundness},
booktitle = {Formal Syntax and Semantics of Java},
series = {Lecture Notes in Computer Science},
volume = {1523},
pages = {83--118},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48737-9\_3},
doi = {10.1007/3-540-48737-9\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/java/Syme99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/java/1999formal,
editor = {Jim Alves{-}Foss},
title = {Formal Syntax and Semantics of Java},
series = {Lecture Notes in Computer Science},
volume = {1523},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48737-9},
doi = {10.1007/3-540-48737-9},
isbn = {3-540-66158-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/java/1999formal.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-09-16 00:03 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:
