bibliography.bib

%
%  An example of a bibliographical database in BibTeX format,
%  which is used by biblatex to create the list of referenced works.
%
%  Academic search engines and software for maintenance of bibliography
%  often supports exporting records in BibTeX format. We recommend:
%
%    - Google Scholar (https://scholar.google.com/)
%    - JabRef (https://www.jabref.org/)
%    - zoterobib (https://zbib.org/)
%
%  BEWARE:
%
%    *  If a name contains a capital letter, which must be kept such,
%       use curly brackets ({T}hailand, {HIV}).
%
%  ===========================================================================

@inproceedings{Cousot:1977:AI,
  author    = {Patrick Cousot and Radhia Cousot},
  title     = {Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction
    or Approximation of Fixpoints},
  booktitle = {Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming
    Languages},
  pages     = {238--252},
  year      = {1977},
  address   = {Los Angeles, California},
  publisher = {ACM Press, New York},
  url       = {https://www.di.ens.fr/~cousot/COUSOTpapers/POPL77.shtml}
}

@article{Blanchet:2002:AI,
  author    = {Bruno Blanchet},
  title     = {Introduction to Abstract Interpretation},
  journal   = {Inria},
  year      = {2002},
  url       = {https://bblanche.gitlabpages.inria.fr/absint.pdf}
}

@article{Zhuang:2022:TypeChecking,
  author    = {Yungyu Zhuang and Ming-Yang Lu},
  title     = {Enabling Type Checking on Columns in Data Frame Libraries by Abstract Interpretation},
  journal   = {IEEE Access},
  volume    = {10},
  pages     = {14418--14428},
  year      = {2022},
  doi       = {10.1109/ACCESS.2022.3146287},
  url       = {https://ieeexplore.ieee.org/abstract/document/9691374}
}

@software{pandas_docs,
  author = {The pandas development team},
  title = {pandas-dev/pandas: Pandas},
  month = feb,
  year = 2020,
  publisher = {Zenodo},
  version = {latest},
  doi = {10.5281/zenodo.3509134},
  url = {[5](https://doi.org/10.5281/zenodo.3509134)}
}

@Manual{tibble,
title = {tibble: Simple Data Frames},
author = {Kirill Müller and Hadley Wickham},
year = {2023},
note = {https://tibble.tidyverse.org/,
https://github.com/tidyverse/tibble},
}

@Manual{R-base,
  title = {base: Base R Functions},
  author = {{R Core Team}},
  year = {2019},
  note = {R package version 3.6.2},
  url = {https://www.rdocumentation.org/packages/base/versions/3.6.2/topics/data.frame},
}

@Manual{DataFrames.jl,
  title = {DataFrames.jl: In-memory tabular data in Julia},
  author = {{JuliaData}},
  year = {2019},
  note = {Julia package version stable},
  url = {https://dataframes.juliadata.org/stable/},
}

@online{kotlinDocs,
  author = {JetBrains},
  title = {Kotlin Documentation},
  year = {2024},
  url = {https://kotlinlang.org/docs/home.html},
  note = {Accessed on April 28, 2024},
}

@online{gradleDocs,
  author = {Gradle Inc.},
  title = {Gradle User Manual},
  year = {2024},
  url = {https://docs.gradle.org/current/userguide/userguide.html},
  note = {Accessed on April 28, 2024},
}

@online{jvmSpec,
  author = {Tim Lindholm and Frank Yellin and Gilad Bracha and Alex Buckley},
  title = {Java Virtual Machine Technology Overview},
  year = {2024},
  url = {https://docs.oracle.com/en/java/javase/22/vm/java-virtual-machine-technology-overview.html},
  note = {Accessed on April 28, 2024},
}

@misc{pandalyzer,
  author = {Hrubian},
  title = {Pandalyzer},
  howpublished = {\url{https://github.com/Hrubian/Pandalyzer}},
  year = {2024}
}

@misc{bachelor-thesis,
  author = {Hrubian},
  title = {bachelor-thesis},
  howpublished = {\url{https://github.com/Hrubian/bachelor-thesis}},
  year = {2024}
}


@manual{python-ast,
  title = {ast — Abstract Syntax Trees},
  author = {{Python Software Foundation}},
  year = {2024},
  note = {Python 3.10.6 documentation},
  url = {https://docs.python.org/3/library/ast.html},
}

@manual{kotlin-serialization-guide,
  title = {Kotlin Serialization Guide},
  author = {{Kotlinx Serialization Contributors}},
  year = {2024},
  url = {https://github.com/Kotlin/kotlinx.serialization/blob/master/docs/serialization-guide.md},
}

@manual{ast2json,
  title = {ast2json Python Module},
  author = {Laurent Peuch},
  year = {2024},
  url = {https://github.com/YoloSwagTeam/ast2json},
}

@techreport{toml_spec,
  author = {Tom Preston-Werner},
  title = {TOML: Tom's Obvious Minimal Language},
  year = {2021},
  url = {https://toml.io/en/},
}

@article{types_for_tables,
  author       = {Kuang{-}Chen Lu and Ben Greenman and Shriram Krishnamurthi},
  title        = {Types for Tables: {A} Language Design Benchmark},
  journal      = {CoRR},
  volume       = {abs/2111.10412},
  year         = {2021},
  url          = {https://arxiv.org/abs/2111.10412},
  eprinttype    = {arXiv},
  eprint       = {2111.10412},
  timestamp    = {Fri, 26 Nov 2021 13:48:43 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2111-10412.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@misc{python_typing,
  title = {typing — Support for type hints},
  author = {{Python Software Foundation}},
  year = {2023},
  howpublished = {Python 3.12.3 documentation},
  url = {https://docs.python.org/3/library/typing.html}
}