Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "featherweight java"
download as .bib file
@inproceedings{DBLP:conf/ecoop/BianchiniDGZ23,
author = {Riccardo Bianchini and
Francesco Dagnino and
Paola Giannini and
Elena Zucca},
title = {Multi-Graded Featherweight Java},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
pages = {3:1--3:27},
year = {2023},
crossref = {DBLP:conf/ecoop/2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.3},
doi = {10.4230/LIPICS.ECOOP.2023.3},
timestamp = {Tue, 11 Jul 2023 16:52:08 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BianchiniDGZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-07782,
author = {Riccardo Bianchini and
Francesco Dagnino and
Paola Giannini and
Elena Zucca},
title = {Multi-graded Featherweight Java},
journal = {CoRR},
volume = {abs/2302.07782},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.07782},
doi = {10.48550/ARXIV.2302.07782},
eprinttype = {arXiv},
eprint = {2302.07782},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-07782.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/StadelmeierP022,
author = {Andreas Stadelmeier and
Martin Pl{\"{u}}micke and
Peter Thiemann},
title = {Global Type Inference for Featherweight Generic Java - Prototype Implementation
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {18:1--18:4},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.18},
doi = {10.4230/DARTS.8.2.18},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/StadelmeierP022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/StadelmeierP022,
author = {Andreas Stadelmeier and
Martin Pl{\"{u}}micke and
Peter Thiemann},
title = {Global Type Inference for Featherweight Generic Java},
booktitle = {36th European Conference on Object-Oriented Programming, {ECOOP} 2022,
June 6-10, 2022, Berlin, Germany},
pages = {28:1--28:27},
year = {2022},
crossref = {DBLP:conf/ecoop/2022},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2022.28},
doi = {10.4230/LIPICS.ECOOP.2022.28},
timestamp = {Thu, 23 Jun 2022 13:54:05 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/StadelmeierP022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-08768,
author = {Andreas Stadelmeier and
Martin Pl{\"{u}}micke and
Peter Thiemann},
title = {Global Type Inference for Featherweight Generic Java},
journal = {CoRR},
volume = {abs/2205.08768},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.08768},
doi = {10.48550/ARXIV.2205.08768},
eprinttype = {arXiv},
eprint = {2205.08768},
timestamp = {Mon, 23 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-08768.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cleiej/FeitosaRB21,
author = {Samuel da Silva Feitosa and
Rodrigo Geraldo Ribeiro and
Andr{\'{e}} Rauber Du Bois},
title = {Towards an Extrinsic Formalization of Featherweight Java in Agda},
journal = {{CLEI} Electron. J.},
volume = {24},
number = {3},
year = {2021},
url = {https://doi.org/10.19153/cleiej.24.3.3},
doi = {10.19153/CLEIEJ.24.3.3},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cleiej/FeitosaRB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SchoppX21,
author = {Ulrich Sch{\"{o}}pp and
Chuangjie Xu},
title = {A generic type system for featherweight Java},
booktitle = {FTfJP 2021: Proceedings of the 23rd {ACM} International Workshop on
Formal Techniques for Java-like Programs, Virtual Event, Denmark,
13 July 2021},
pages = {9--15},
year = {2021},
crossref = {DBLP:conf/ecoop/2021ftfjp},
url = {https://doi.org/10.1145/3464971.3468419},
doi = {10.1145/3464971.3468419},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/SchoppX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/UsovD20,
author = {Artem Usov and
Ornela Dardha},
title = {{SFJ:} An Implementation of Semantic Featherweight Java},
booktitle = {Coordination Models and Languages - 22nd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2020, Held as Part of the 15th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2020, Valletta, Malta, June 15-19, 2020, Proceedings},
pages = {153--168},
year = {2020},
crossref = {DBLP:conf/coordination/2020},
url = {https://doi.org/10.1007/978-3-030-50029-0\_10},
doi = {10.1007/978-3-030-50029-0\_10},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/UsovD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BarbieriDZA19,
author = {Pietro Barbieri and
Francesco Dagnino and
Elena Zucca and
Davide Ancona},
title = {Corecursive Featherweight Java Revisited},
booktitle = {Proceedings of the 20th Italian Conference on Theoretical Computer
Science, {ICTCS} 2019, Como, Italy, September 9-11, 2019},
pages = {158--170},
year = {2019},
crossref = {DBLP:conf/ictcs/2019},
url = {https://ceur-ws.org/Vol-2504/paper19.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BarbieriDZA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/FeitosaMRB19,
author = {Samuel da Silva Feitosa and
Alejandro Serrano Mena and
Rodrigo Geraldo Ribeiro and
Andr{\'{e}} Rauber Du Bois},
title = {An Inherently-Typed Formalization for Featherweight Java},
booktitle = {Proceedings of the {XXIII} Brazilian Symposium on Programming Languages,
{SBLP} 2019, Salvador, Brazil, September 23-27, 2019},
pages = {11--18},
year = {2019},
crossref = {DBLP:conf/sblp/2019},
url = {https://doi.org/10.1145/3355378.3355385},
doi = {10.1145/3355378.3355385},
timestamp = {Wed, 09 Oct 2019 17:39:50 +0200},
biburl = {https://dblp.org/rec/conf/sblp/FeitosaMRB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BettiniBDGV18,
author = {Lorenzo Bettini and
Viviana Bono and
Mariangiola Dezani{-}Ciancaglini and
Paola Giannini and
Betti Venneri},
title = {Java {\&} Lambda: a Featherweight Story},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {3},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(3:17)2018},
doi = {10.23638/LMCS-14(3:17)2018},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BettiniBDGV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/FeitosaRB18,
author = {Samuel da Silva Feitosa and
Rodrigo Geraldo Ribeiro and
Andr{\'{e}} Rauber Du Bois},
title = {Property-based testing for lambda expressions semantics in featherweight
Java},
booktitle = {Proceedings of the {XXII} Brazilian Symposium on Programming Languages,
{SBLP} 2018, Sao Carlos, Brazil, September 20-21, 2018},
pages = {43--50},
year = {2018},
crossref = {DBLP:conf/sblp/2018},
url = {https://doi.org/10.1145/3264637.3264643},
doi = {10.1145/3264637.3264643},
timestamp = {Wed, 01 Jun 2022 08:38:39 +0200},
biburl = {https://dblp.org/rec/conf/sblp/FeitosaRB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/FeitosaRB18,
author = {Samuel da Silva Feitosa and
Rodrigo Geraldo Ribeiro and
Andr{\'{e}} Rauber Du Bois},
title = {A Type-Directed Algorithm to Generate Well-Typed Featherweight Java
Programs},
booktitle = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
{SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
pages = {39--55},
year = {2018},
crossref = {DBLP:conf/sbmf/2018},
url = {https://doi.org/10.1007/978-3-030-03044-5\_4},
doi = {10.1007/978-3-030-03044-5\_4},
timestamp = {Sat, 11 Jul 2020 10:44:59 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/FeitosaRB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FeitosaRB19,
author = {Samuel da Silva Feitosa and
Rodrigo Geraldo Ribeiro and
Andr{\'{e}} Rauber Du Bois},
title = {Generating Random Well-Typed Featherweight Java Programs Using QuickCheck},
booktitle = {{XLIV} Latin American Computer Conference - Selected Papers, {CLEI}
2018 Selected Papers, S{\~{a}}o Paulo, Brazil, October 1-5, 2018},
pages = {3--20},
year = {2018},
crossref = {DBLP:conf/clei/2018s},
url = {https://doi.org/10.1016/j.entcs.2019.04.002},
doi = {10.1016/J.ENTCS.2019.04.002},
timestamp = {Wed, 14 Jun 2023 08:50:27 +0200},
biburl = {https://dblp.org/rec/journals/entcs/FeitosaRB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-05052,
author = {Lorenzo Bettini and
Viviana Bono and
Mariangiola Dezani{-}Ciancaglini and
Betti Venneri},
title = {Java {\&} Lambda: a Featherweight Story},
journal = {CoRR},
volume = {abs/1801.05052},
year = {2018},
url = {http://arxiv.org/abs/1801.05052},
eprinttype = {arXiv},
eprint = {1801.05052},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-05052.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KuciEBBM17,
author = {Edlira Kuci and
Sebastian Erdweg and
Oliver Bracevac and
Andi Bejleri and
Mira Mezini},
title = {A Co-contextual Type Checker for Featherweight Java},
booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
June 19-23, 2017, Barcelona, Spain},
pages = {18:1--18:26},
year = {2017},
crossref = {DBLP:conf/ecoop/2017},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.18},
doi = {10.4230/LIPICS.ECOOP.2017.18},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/KuciEBBM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KuciEBBM17,
author = {Edlira Kuci and
Sebastian Erdweg and
Oliver Bracevac and
Andi Bejleri and
Mira Mezini},
title = {A Co-contextual Type Checker for Featherweight Java (incl. Proofs)},
journal = {CoRR},
volume = {abs/1705.05828},
year = {2017},
url = {http://arxiv.org/abs/1705.05828},
eprinttype = {arXiv},
eprint = {1705.05828},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KuciEBBM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/FeitosaVPB16,
author = {Samuel da Silva Feitosa and
Juliana Kaizer Vizzotto and
Eduardo Kessler Piveta and
Andr{\'{e}} Rauber Du Bois},
title = {A Monadic Semantics for Quantum Computing in Featherweight Java},
booktitle = {Programming Languages - 20th Brazilian Symposium, {SBLP} 2016, Maring{\'{a}},
Brazil, September 22-23, 2016, Proceedings},
pages = {31--45},
year = {2016},
crossref = {DBLP:conf/sblp/2016},
url = {https://doi.org/10.1007/978-3-319-45279-1\_3},
doi = {10.1007/978-3-319-45279-1\_3},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/sblp/FeitosaVPB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/RoweB14,
author = {Reuben N. S. Rowe and
Steffen van Bakel},
title = {Semantic Types and Approximation for Featherweight Java},
journal = {Theor. Comput. Sci.},
volume = {517},
pages = {34--74},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2013.08.017},
doi = {10.1016/J.TCS.2013.08.017},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/RoweB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BakelR13,
author = {Steffen van Bakel and
Reuben N. S. Rowe},
title = {Functional Type Assignment for Featherweight Java - To Rinus Plasmeijer,
in Honour of His 61st Birthday},
booktitle = {The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer
on the Occasion of His 61st Birthday},
pages = {27--46},
year = {2013},
crossref = {DBLP:conf/birthday/2013plasmeijer},
url = {https://doi.org/10.1007/978-3-642-40355-2\_4},
doi = {10.1007/978-3-642-40355-2\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BakelR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LagorioSZ12,
author = {Giovanni Lagorio and
Marco Servetto and
Elena Zucca},
title = {Featherweight Jigsaw - Replacing inheritance by composition in Java-like
languages},
journal = {Inf. Comput.},
volume = {214},
pages = {86--111},
year = {2012},
url = {https://doi.org/10.1016/j.ic.2012.02.004},
doi = {10.1016/J.IC.2012.02.004},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/LagorioSZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AnconaZ12,
author = {Davide Ancona and
Elena Zucca},
title = {Corecursive Featherweight Java},
booktitle = {Proceedings of the 14th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2012, Beijing, China, June 12, 2012},
pages = {3--10},
year = {2012},
crossref = {DBLP:conf/ecoop/2012ftfjp},
url = {https://doi.org/10.1145/2318202.2318205},
doi = {10.1145/2318202.2318205},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/AnconaZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MackayMPGC12,
author = {Julian Mackay and
Hannes Mehnert and
Alex Potanin and
Lindsay Groves and
Nicholas Cameron},
title = {Encoding Featherweight Java with assignment and immutability using
the Coq proof assistant},
booktitle = {Proceedings of the 14th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2012, Beijing, China, June 12, 2012},
pages = {11--19},
year = {2012},
crossref = {DBLP:conf/ecoop/2012ftfjp},
url = {https://doi.org/10.1145/2318202.2318206},
doi = {10.1145/2318202.2318206},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/MackayMPGC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsw/Rowe11,
author = {Reuben N. S. Rowe},
title = {Safe, Flexible Recursive Types for Featherweight Java},
booktitle = {2011 Imperial College Computing Student Workshop, {ICCSW} 2011, London,
United Kingdom, September 29-30, 2011. Proceedings},
pages = {80--86},
year = {2011},
crossref = {DBLP:conf/iccsw/2011},
url = {http://www.doc.ic.ac.uk/research/technicalreports/2011/\#9},
timestamp = {Tue, 04 Dec 2012 09:38:37 +0100},
biburl = {https://dblp.org/rec/conf/iccsw/Rowe11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/TranS10,
author = {Thi Mai Thuong Tran and
Martin Steffen},
title = {Safe Commits for Transactional Featherweight Java},
booktitle = {Integrated Formal Methods - 8th International Conference, {IFM} 2010,
Nancy, France, October 11-14, 2010. Proceedings},
pages = {290--304},
year = {2010},
crossref = {DBLP:conf/ifm/2010},
url = {https://doi.org/10.1007/978-3-642-16265-7\_21},
doi = {10.1007/978-3-642-16265-7\_21},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/TranS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BettiniCV09,
author = {Lorenzo Bettini and
Sara Capecchi and
Betti Venneri},
title = {Featherweight Java with dynamic and static overloading},
journal = {Sci. Comput. Program.},
volume = {74},
number = {5-6},
pages = {261--278},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.01.007},
doi = {10.1016/J.SCICO.2009.01.007},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BettiniCV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foal/StaijenR09,
author = {Tom Staijen and
Arend Rensink},
title = {Graph-based specification and simulation of featherweight Java with
around advice},
booktitle = {Proceedings of the 8th Workshop on Foundations of Aspect-Oriented
Languages, {FOAL} 2009, Charlottesville, Virginia, USA, March 2, 2009},
pages = {25--30},
year = {2009},
crossref = {DBLP:conf/foal/2009},
url = {https://doi.org/10.1145/1509837.1509844},
doi = {10.1145/1509837.1509844},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foal/StaijenR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/BettiniCG08,
author = {Lorenzo Bettini and
Sara Capecchi and
Elena Giachino},
title = {Featherweight Wrap Java: wrapping objects and methods},
journal = {J. Object Technol.},
volume = {7},
number = {2},
pages = {5--29},
year = {2008},
url = {https://doi.org/10.5381/jot.2008.7.2.a1},
doi = {10.5381/JOT.2008.7.2.A1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/BettiniCG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LiquoriS08,
author = {Luigi Liquori and
Arnaud Spiwack},
title = {FeatherTrait: {A} modest extension of Featherweight Java},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {30},
number = {2},
pages = {11:1--11:32},
year = {2008},
url = {https://doi.org/10.1145/1330017.1330022},
doi = {10.1145/1330017.1330022},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/LiquoriS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/ApelKL08,
author = {Sven Apel and
Christian K{\"{a}}stner and
Christian Lengauer},
title = {Feature featherweight java: a calculus for feature-oriented programming
and stepwise refinement},
booktitle = {Generative Programming and Component Engineering, 7th International
Conference, {GPCE} 2008, Nashville, TN, USA, October 19-23, 2008,
Proceedings},
pages = {101--112},
year = {2008},
crossref = {DBLP:conf/gpce/2008},
url = {https://doi.org/10.1145/1449913.1449931},
doi = {10.1145/1449913.1449931},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gpce/ApelKL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/BettiniCV07,
author = {Lorenzo Bettini and
Sara Capecchi and
Betti Venneri},
title = {Featherweight Java with multi-methods},
booktitle = {Proceedings of the 5th International Symposium on Principles and Practice
of Programming in Java, {PPPJ} 2007, Lisboa, Portugal, September 5-7,
2007},
pages = {83--92},
year = {2007},
crossref = {DBLP:conf/pppj/2007},
url = {https://doi.org/10.1145/1294325.1294337},
doi = {10.1145/1294325.1294337},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pppj/BettiniCV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BettiniCG07,
author = {Lorenzo Bettini and
Sara Capecchi and
Elena Giachino},
title = {Featherweight wrap Java},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
Seoul, Korea, March 11-15, 2007},
pages = {1094--1100},
year = {2007},
crossref = {DBLP:conf/sac/2007},
url = {https://doi.org/10.1145/1244002.1244242},
doi = {10.1145/1244002.1244242},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/BettiniCG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/FosterV06,
author = {J. Nathan Foster and
Dimitrios Vytiniotis},
title = {A Theory of Featherweight Java in Isabelle/HOL},
journal = {Arch. Formal Proofs},
volume = {2006},
year = {2006},
url = {https://www.isa-afp.org/entries/FeatherweightJava.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/FosterV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Burt04,
author = {Matthew Thomas Burt},
title = {Games, call-by-value and Featherweight Java},
school = {Imperial College London, {UK}},
year = {2004},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.414199},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Burt04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ZhaoPV03,
author = {Tian Zhao and
Jens Palsberg and
Jan Vitek},
title = {Lightweight confinement for featherweight Java},
booktitle = {Proceedings of the 2003 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2003, October
26-30, 2003, Anaheim, CA, {USA}},
pages = {135--148},
year = {2003},
crossref = {DBLP:conf/oopsla/2003p},
url = {https://doi.org/10.1145/949305.949318},
doi = {10.1145/949305.949318},
timestamp = {Fri, 25 Jun 2021 17:19:58 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ZhaoPV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LeagueST02,
author = {Christopher League and
Zhong Shao and
Valery Trifonov},
title = {Type-preserving compilation of Featherweight Java},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {24},
number = {2},
pages = {112--152},
year = {2002},
url = {https://doi.org/10.1145/514952.514954},
doi = {10.1145/514952.514954},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/LeagueST02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/IgarashiPW01,
author = {Atsushi Igarashi and
Benjamin C. Pierce and
Philip Wadler},
title = {Featherweight Java: a minimal core calculus for Java and {GJ}},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {23},
number = {3},
pages = {396--450},
year = {2001},
url = {https://doi.org/10.1145/503502.503505},
doi = {10.1145/503502.503505},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/IgarashiPW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Studer01,
author = {Thomas Studer},
title = {Constructive Foundations for Featherweight Java},
booktitle = {Proof Theory in Computer Science, International Seminar, {PTCS} 2001,
Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings},
pages = {202--238},
year = {2001},
crossref = {DBLP:conf/dagstuhl/2001ptcs},
url = {https://doi.org/10.1007/3-540-45504-3\_13},
doi = {10.1007/3-540-45504-3\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Studer01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BaconKMS98,
author = {David F. Bacon and
Ravi B. Konuru and
Chet Murthy and
Mauricio J. Serrano},
title = {Thin Locks: Featherweight Synchronization for Java},
booktitle = {Proceedings of the {ACM} {SIGPLAN} '98 Conference on Programming Language
Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998},
pages = {258--268},
year = {1998},
crossref = {DBLP:conf/pldi/1998},
url = {https://doi.org/10.1145/277650.277734},
doi = {10.1145/277650.277734},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BaconKMS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BaconKMS98a,
author = {David F. Bacon and
Ravi B. Konuru and
Chet Murthy and
Mauricio J. Serrano},
title = {Thin locks: featherweight Synchronization for Java (with retrospective)},
booktitle = {20 Years of the {ACM} {SIGPLAN} Conference on Programming Language
Design and Implementation 1979-1999, {A} Selection},
pages = {583--595},
year = {1998},
crossref = {DBLP:conf/pldi/2004best},
url = {https://doi.org/10.1145/989393.989452},
doi = {10.1145/989393.989452},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BaconKMS98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2023,
editor = {Karim Ali and
Guido Salvaneschi},
title = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-281-5},
isbn = {978-3-95977-281-5},
timestamp = {Wed, 01 May 2024 14:38:43 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2022,
editor = {Karim Ali and
Jan Vitek},
title = {36th European Conference on Object-Oriented Programming, {ECOOP} 2022,
June 6-10, 2022, Berlin, Germany},
series = {LIPIcs},
volume = {222},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-225-9},
isbn = {978-3-95977-225-9},
timestamp = {Wed, 01 May 2024 14:38:43 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2021ftfjp,
editor = {David R. Cok},
title = {FTfJP 2021: Proceedings of the 23rd {ACM} International Workshop on
Formal Techniques for Java-like Programs, Virtual Event, Denmark,
13 July 2021},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464971},
doi = {10.1145/3464971},
isbn = {978-1-4503-8543-5},
timestamp = {Wed, 01 May 2024 14:38:43 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/2021ftfjp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2020,
editor = {Simon Bliudze and
Laura Bocchi},
title = {Coordination Models and Languages - 22nd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2020, Held as Part of the 15th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2020, Valletta, Malta, June 15-19, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12134},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50029-0},
doi = {10.1007/978-3-030-50029-0},
isbn = {978-3-030-50028-3},
timestamp = {Wed, 01 May 2024 14:38:43 +0200},
biburl = {https://dblp.org/rec/conf/coordination/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictcs/2019,
editor = {Alessandra Cherubini and
Nicoletta Sabadini and
Simone Tini},
title = {Proceedings of the 20th Italian Conference on Theoretical Computer
Science, {ICTCS} 2019, Como, Italy, September 9-11, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2504},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2504},
urn = {urn:nbn:de:0074-2504-3},
timestamp = {Wed, 01 May 2024 14:38:43 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sblp/2019,
title = {Proceedings of the {XXIII} Brazilian Symposium on Programming Languages,
{SBLP} 2019, Salvador, Brazil, September 23-27, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3355378},
doi = {10.1145/3355378},
isbn = {978-1-4503-7638-9},
timestamp = {Wed, 01 May 2024 14:38:43 +0200},
biburl = {https://dblp.org/rec/conf/sblp/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sblp/2018,
editor = {Carlos Camar{\~{a}}o and
Martin Sulzmann},
title = {Proceedings of the {XXII} Brazilian Symposium on Programming Languages,
{SBLP} 2018, Sao Carlos, Brazil, September 20-21, 2018},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3264637},
doi = {10.1145/3264637},
isbn = {978-1-4503-6480-5},
timestamp = {Wed, 01 May 2024 14:38:43 +0200},
biburl = {https://dblp.org/rec/conf/sblp/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2018,
editor = {Tiago Massoni and
Mohammad Reza Mousavi},
title = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
{SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11254},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03044-5},
doi = {10.1007/978-3-030-03044-5},
isbn = {978-3-030-03043-8},
timestamp = {Wed, 01 May 2024 14:38:43 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clei/2018s,
editor = {Val{\'{e}}ria Farinazzo Martins and
Adenilso Sim{\~{a}}o and
H{\'{e}}ctor Cancela},
title = {{XLIV} Latin American Computer Conference - Selected Papers, {CLEI}
2018 Selected Papers, S{\~{a}}o Paulo, Brazil, October 1-5, 2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {342},
publisher = {Elsevier},
year = {2019},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/342/suppl/C},
timestamp = {Wed, 01 May 2024 14:38:43 +0200},
biburl = {https://dblp.org/rec/conf/clei/2018s.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2017,
editor = {Peter M{\"{u}}ller},
title = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
June 19-23, 2017, Barcelona, Spain},
series = {LIPIcs},
volume = {74},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-035-4},
isbn = {978-3-95977-035-4},
timestamp = {Wed, 01 May 2024 14:38:43 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sblp/2016,
editor = {Fernando Castor and
Yu David Liu},
title = {Programming Languages - 20th Brazilian Symposium, {SBLP} 2016, Maring{\'{a}},
Brazil, September 22-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9889},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45279-1},
doi = {10.1007/978-3-319-45279-1},
isbn = {978-3-319-45278-4},
timestamp = {Wed, 01 May 2024 14:38:43 +0200},
biburl = {https://dblp.org/rec/conf/sblp/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2013plasmeijer,
editor = {Peter Achten and
Pieter W. M. Koopman},
title = {The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer
on the Occasion of His 61st Birthday},
series = {Lecture Notes in Computer Science},
volume = {8106},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40355-2},
doi = {10.1007/978-3-642-40355-2},
isbn = {978-3-642-40354-5},
timestamp = {Wed, 01 May 2024 14:38:43 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2013plasmeijer.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2012ftfjp,
editor = {Wei{-}Ngan Chin and
Aquinas Hobor},
title = {Proceedings of the 14th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2012, Beijing, China, June 12, 2012},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2318202},
doi = {10.1145/2318202},
isbn = {978-1-4503-1272-1},
timestamp = {Wed, 01 May 2024 14:38:43 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/2012ftfjp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccsw/2011,
editor = {Andrew V. Jones},
title = {2011 Imperial College Computing Student Workshop, {ICCSW} 2011, London,
United Kingdom, September 29-30, 2011. Proceedings},
series = {Department of Computing Technical Report},
volume = {{DTR11-9}},
publisher = {Imperial College London},
year = {2011},
timestamp = {Wed, 01 May 2024 14:38:43 +0200},
biburl = {https://dblp.org/rec/conf/iccsw/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2010,
editor = {Dominique M{\'{e}}ry and
Stephan Merz},
title = {Integrated Formal Methods - 8th International Conference, {IFM} 2010,
Nancy, France, October 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6396},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16265-7},
doi = {10.1007/978-3-642-16265-7},
isbn = {978-3-642-16264-0},
timestamp = {Wed, 01 May 2024 14:38:43 +0200},
biburl = {https://dblp.org/rec/conf/ifm/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foal/2009,
editor = {Mario S{\"{u}}dholt},
title = {Proceedings of the 8th Workshop on Foundations of Aspect-Oriented
Languages, {FOAL} 2009, Charlottesville, Virginia, USA, March 2, 2009},
publisher = {{ACM}},
year = {2009},
isbn = {978-1-60558-452-2},
timestamp = {Wed, 01 May 2024 14:38:43 +0200},
biburl = {https://dblp.org/rec/conf/foal/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gpce/2008,
editor = {Yannis Smaragdakis and
Jeremy G. Siek},
title = {Generative Programming and Component Engineering, 7th International
Conference, {GPCE} 2008, Nashville, TN, USA, October 19-23, 2008,
Proceedings},
publisher = {{ACM}},
year = {2008},
isbn = {978-1-60558-267-2},
timestamp = {Wed, 01 May 2024 14:38:43 +0200},
biburl = {https://dblp.org/rec/conf/gpce/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pppj/2007,
editor = {Vasco Amaral and
Luis Marcelino and
Lu{\'{\i}}s Veiga and
H. Conrad Cunningham},
title = {Proceedings of the 5th International Symposium on Principles and Practice
of Programming in Java, {PPPJ} 2007, Lisboa, Portugal, September 5-7,
2007},
series = {{ACM} International Conference Proceeding Series},
volume = {272},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1294325},
doi = {10.1145/1294325},
isbn = {978-1-59593-672-1},
timestamp = {Wed, 01 May 2024 14:38:43 +0200},
biburl = {https://dblp.org/rec/conf/pppj/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sac/2007,
editor = {Yookun Cho and
Roger L. Wainwright and
Hisham Haddad and
Sung Y. Shin and
Yong Wan Koo},
title = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
Seoul, Korea, March 11-15, 2007},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244002},
doi = {10.1145/1244002},
isbn = {1-59593-480-4},
timestamp = {Wed, 01 May 2024 14:38:43 +0200},
biburl = {https://dblp.org/rec/conf/sac/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2003p,
editor = {Ron Crocker and
Guy L. Steele Jr.},
title = {Proceedings of the 2003 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2003, October
26-30, 2003, Anaheim, CA, {USA}},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/949305},
doi = {10.1145/949305},
isbn = {1-58113-712-5},
timestamp = {Wed, 01 May 2024 14:38:43 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/2003p.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2001ptcs,
editor = {Reinhard Kahle and
Peter Schroeder{-}Heister and
Robert F. St{\"{a}}rk},
title = {Proof Theory in Computer Science, International Seminar, {PTCS} 2001,
Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2183},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45504-3},
doi = {10.1007/3-540-45504-3},
isbn = {3-540-42752-X},
timestamp = {Wed, 01 May 2024 14:38:43 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2001ptcs.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/1998,
editor = {Jack W. Davidson and
Keith D. Cooper and
A. Michael Berman},
title = {Proceedings of the {ACM} {SIGPLAN} '98 Conference on Programming Language
Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277650},
doi = {10.1145/277650},
isbn = {0-89791-987-4},
timestamp = {Wed, 01 May 2024 14:38:43 +0200},
biburl = {https://dblp.org/rec/conf/pldi/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2004best,
editor = {Kathryn S. McKinley},
title = {20 Years of the {ACM} {SIGPLAN} Conference on Programming Language
Design and Implementation 1979-1999, {A} Selection},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/989393},
doi = {10.1145/989393},
isbn = {1-58113-623-4},
timestamp = {Wed, 01 May 2024 14:38:43 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2004best.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-01 14:38 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:
