
%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Saved with string encoding Unicode (UTF-8)

@article{ref:kremenek,
    Author = {Kremenek, Ted},
    url = "https://llvm.org/devmtg/2008-08/Kremenek_StaticAnalyzer.pdf",
    Title = {Finding Software Bugs With the Clang Static Analyzer},
    Year = {2008}}
    
@article{ref:spa,
    Author = {Yegor Bugaenko},
    Title = {New Object Calculus to Improve Static Program Analysis},
    Year = {September 30, 2020}
}

@article{ref:effective,
    Author = {Wu Jingyue},
    Title = {Effective Dynamic Detection of Alias Analysis Errors},
    Year = {2013},
    pages = "279-289",
    journal = "Proceedings of the 9th Joint Meeting on Foundations of Software, Engineering"
}

@article{ref:simple,
    Author = {Wand Mitchell},
    Title = {A Simple Algorithm and Proof for Type Inference},
    Year = {1987},
    journal = "Fundamenta Informaticae 10.2",
    pages = "115–121"
}

@article{ref:dis,
    Author = {Jiri Slaby},
    Title = {Automatic Bug-finding Techniques for Large Software Projects},
    Year = {2013}
}

@book{ref:ast,
title={Abstract Syntax Tree},
author={Miller, F.P. and Vandome, A.F. and John, M.B.},
isbn={9786133773127},
url={https://books.google.ru/books?id=5ns7YgEACAAJ},
year={2010},
publisher={VDM Publishing}
}

@book{ref:cleancode,
title={Clean Code: A Handbook of Agile Software Craftsmanship},
author={Martin, R.C.},
isbn={9780132350884},
lccn={20080240},
series={Robert C. Martin series},
url={https://books.google.ru/books?id=dwSfGQAACAAJ},
year={2009},
publisher={Prentice Hall}
}

@book{ref:gang,
title={Design Patterns},
author={Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides},
isbn={9780201485370},
year={2000},
publisher={Pearson Education}
}

@book{ref:sca,
  title={Static Code Analysis: Lint, Static Code Analysis, Data-Flow Analysis, Parasoft, Clang, List of Tools for Static Code Analysis},
  author={LLC Books},
  isbn={9781155282619},
  url={https://books.google.ru/books?id=rYurSQAACAAJ},
  year={2010},
  publisher={General Books LLC}
}

@book{ref:kotlinInAction,
title={Kotlin in Action},
author={Dmitry Jemerov, Svetlana Isakova},
pages = {88-91},
year={2017},
publisher={ Manning Publications}
}

@article{ref:offKotlin,
    Author = {Jetbrains},
    Title = {Kotlin official documentation},
    url = "https://kotlinlang.org/docs/reference/",
    year = {2020}
}

@article{ref:cicd,
    Author = {Sten Pittet},
    Title = {Continuous integration vs. continuous delivery vs. continuous deployment},
    url = "https://www.atlassian.com/continuous-delivery/principles/continuous-integration-vs-delivery-vs-deployment",
    year = {2017}
}
