Диссертация (1150733), страница 21
Текст из файла (страница 21)
— 2013. — P. 135–139.50. Grigorev, S. String-embedded Language Support in Integrated Development Environment / S. Grigorev, E. Verbitskaia, A. Ivanov, M. Polubelova,E. Mavchun // Proceedings of the 10th Central and Eastern European SoftwareEngineering Conference in Russia. — CEE-SECR ’14. — New York, NY, USA:ACM, 2014. — P. 21:1–21:11.51. Verbitskaia, E. Relaxed Parsing of Regular Approximations of String-EmbeddedLanguages / E. Verbitskaia, S. Grigorev, D. Avdyukhin // Preliminary Proceedings of the PSI 2015: 10th International Andrei Ershov Memorial Conference.— PSI’15. — 2015. — P. 1–12.52.
Yu, F. String Analysis / F. Yu, M. Cova. — Citeseer, 2008.53. Chomsky, N. Three models for the description of language / N. Chomsky // IRETransactions on Information Theory. — 1956. — P. 113–124.54. Pitts, A. M. Lecture Notes on Regular Languages and Finite Automata for PartIA of the Computer Science Tripos / A. M. Pitts / Cambridge University Computer Laboratory. — 2010.55. Yu, F. Automata-based Symbolic String Analysis for Vulnerability Detection /F. Yu, M.
Alkhalaf, T. Bultan, O. H. Ibarra // Form. Methods Syst. Des. — 2014.— Vol. 44, no. 1. — P. 44–70.56. Hanneforth, T. Finite-state Machines: Theory and Applications UnweightedFinite-state Automata / T. Hanneforth / Institut fur Linguistik Universitat Potsdam. — 2010.11857. Mohri, M. Finite-state Transducers in Language and Speech Processing /M. Mohri // Comput.
Linguist. — 1997. — Vol. 23, no. 2. — P. 269–311.58. Smith, Z. Development of Tools to Manage Embedded SQL / Z. Smith // Proceedings of the 49th Annual Southeast Regional Conference. — ACM-SE ’11.— New York, NY, USA: ACM, 2011. — P. 358–359.59. Fenton, N. Software Metrics (2Nd Ed.): A Rigorous and Practical Approach /N.
Fenton, S. L. Pfleeger. — Boston, MA, USA: PWS Publishing Co., 1997.60. Van, Den Brink H. A Framework to Distil SQL Queries Out of Host Languagesin Order to Apply Quality Metrics: Ph.D. thesis / Utrecht University. — 2007.61. Cleve, A. Database semantics recovery through analysis of dynamic SQL statements / A. Cleve, J.
R. Meurisse, J. L. Hainaut // Journal on data semantics XV.— Springer, 2011. — P. 130–157.62. Ernst, M. D. Static and dynamic analysis: Synergy and duality / M. D. Ernst //WODA 2003: ICSE Workshop on Dynamic Analysis / Citeseer. — 2003. —P. 24–27.63. Asveld, P. R. J. The Inclusion Problem for Some Subclasses of Context-freeLanguages / P. R. J. Asveld, A. Nijholt // Theor. Comput. Sci.
— 1999. — Vol.230, no. 1-2. — P. 247–256.64. Alvor [Электронный ресурс]. — URL: http://code.google.com/p/alvor/ (дата обращения: 11.06.2015).65. PL/SQL Developer [Электронный ресурс]. —allroundautomations.com/plsqldev.htmlURL: http://www.(датаобращения:11.06.2015).66. SwissSQL [Электронный ресурс]. — URL: http://www.swissql.com/(дата обращения: 11.06.2015).67. SQL Ways [Электронный ресурс]. — URL: http://www.ispirer.com/products (дата обращения: 11.06.2015).11968. Java String Analyzer [Электронный ресурс]. — URL: http://www.brics.dk/JSA/ (дата обращения: 11.06.2015).69.
PHP String Analyzer [Электронный ресурс]. —URL: http://www.score.cs.tsukuba.ac.jp/~minamide/phpsa/ (дата обращения:11.06.2015).70. Eclipse IDE [Электронный ресурс]. —URL: http://www.eclipse.org/ide/ (дата обращения: 29.07.2015).71. JFlex [Электронный ресурс]. — URL: http://jflex.de/ (дата обращения: 11.06.2015).72. IntelliLang [Электронный ресурс]. — URL: https://www.jetbrains.com/idea/help/intellilang.html (дата обращения: 11.06.2015).73. PHPStorm IDE [Электронный ресурс]. —URL: https://www.jetbrains.com/phpstorm/ (дата обращения: 11.06.2015).74.
IntelliJ IDEA IDE [Электронный ресурс]. —URL: https://www.jetbrains.com/idea/ (дата обращения: 29.07.2015).75. Nguyen, H. V. Varis: IDE Support for Embedded Client Code in PHP WebApplications / H. V. Nguyen, C. Kästner, T. N. Nguyen // Proceedings of the37th International Conference on Software Engineering (ICSE).
— New York,NY: ACM Press, 2015. — Formal Demonstration paper.76. Cousot, P. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints / P. Cousot,R. Cousot // Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium onPrinciples of Programming Languages. — POPL ’77. — New York, NY, USA:ACM, 1977. — P. 238–252.77. Economopoulos, G. R.
Generalised LR parsing algorithms: Ph.D. thesis / University of London. — 2006.78. Dick, G. Parsing Techniques: A Practical Guide / G. Dick, H. Ceriel. — UpperSaddle River, NJ, USA: Ellis Horwood, 1990.12079. YaccConstructor [Электронный ресурс]. — URL: https://github.com/YaccConstructor/ (дата обращения: 11.06.2015).80. Документация проекта ReSharper SDK [Электронный ресурс]. —URL:https://www.jetbrains.com/resharper/devguide/README.html (дата обращения: 11.06.2015).81. Microsoft .NET [Электронный ресурс].
—URL: https://msdn.microsoft.com/ru-ru/library/zw4w595w(v=vs.110).aspx(дата обращения: 29.07.2015).82. F# language specification [Электронный ресурс]. —URL: http://fsharp.org (дата обращения: 29.07.2015).83. Syme, D. Expert F# (Expert’s Voice in .Net) / D. Syme, A. Granicz, A. Cisternino.84. 14977:1996(E), ISO. ISO/IEC. Information technology — Syntactic metalanguage — Extended BNF. — 1996.85. Microsoft Visual Studio IDE [Электронный ресурс]. — URL: https://www.visualstudio.com/ (дата обращения: 29.07.2015).86. ReSharper [Электронный ресурс]. — URL: https://www.jetbrains.com/resharper/ (дата обращения: 11.06.2015).87. FsLex [Электронный ресурс]. — URL: http://fsprojects.github.io/FsLexYacc/ (дата обращения: 11.06.2015).88.
Lesk, M. E. Lex: A lexical analyzer generator. — 1975.89. DOT language specification [Электронный ресурс]. — URL: http://www.graphviz.org/doc/info/lang.html (дата обращения: 29.07.2015).90. Tahvildari, L. Quality-driven software re-engineering / L. Tahvildari, K. Kontogiannis, J. Mylopoulos // Journal of Systems and Software. — 2003. — Vol.
66,no. 3. — P. 225–239.12191. Merlo, E. Automated protection of php applications against SQL-injection attacks / E. Merlo, D. Letarte, G. Antoniol // Software Maintenance and Reengineering, 2007. CSMR’07. 11th European Conference on / IEEE.
— 2007. —P. 191–202.92. Массель, Л. В. Системный анализ и реинжиниринг унаследованногопрограммного обеспечения / Л. В. Массель, Д. В. Подкаменный // Наукаи образование: электронное научно-техническое издание. — 2011. — no. 04.93. Callahan, D. Interprocedural constant propagation / D. Callahan, K. D. Cooper,K. Kennedy, L. Torczon // ACM SIGPLAN Notices / ACM. — Vol.
21. — 1986.— P. 152–161.94. T-SQLlanguagespecification[Электронныйресурс].—URL:https://msdn.microsoft.com/ru-ru/library/bb510741(v=sql.110).aspx (дата обращения: 29.07.2015).95. Hooimeijer, P. An Evaluation of Automata Algorithms for String Analysis /P. Hooimeijer, M. Veanes // Proceedings of the 12th International Conferenceon Verification, Model Checking, and Abstract Interpretation. — VMCAI’11. —Berlin, Heidelberg: Springer-Verlag, 2011. — P. 248–262.96. Zaytsev, V.
Coupled Transformations of Shared Packed Parse Forests / V. Zaytsev // Sixth International Workshop on Graph Computation Models (GCM) /Ed. by Detlef Plump. — Vol. 1403 of CEUR Workshop Proceedings. — CEURWS.org, 2015. — P. 2–17.97. Lester, M. M. Position Paper: The Science of Boxing / M. M. Lester // Proceedings of the Eighth ACM SIGPLAN Workshop on Programming Languages andAnalysis for Security.
— PLAS ’13. — New York, NY, USA: ACM, 2013. —P. 83–88.98. Lester, M. Information Flow Analysis for a Dynamically Typed Language withStaged Metaprogramming / M. Lester, L. Ong, M. Schäfer // 2013 IEEE 26thComputer Security Foundations Symposium, New Orleans, LA, USA, June 2628, 2013. — 2013. — P. 209–223.12299. Scott, E. GLL Parsing / E. Scott, A. Johnstone // Electron.
Notes Theor. Comput.Sci. — 2010. — Vol. 253, no. 7. — P. 177–189.100. Afroozeh, A. Faster, Practical GLL Parsing / A. Afroozeh, A. Izmaylova //Compiler Construction / Springer. — 2015. — P. 89–108.101. Scott, E. GLL parse-tree generation / E. Scott, A. Johnstone // Science of Computer Programming. — 2013.
— Vol. 78, no. 10. — P. 1828–1844.102. Scott, E. BRNGLR: A Cubic Tomita-style GLR Parsing Algorithm / E. Scott,A. Johnstone, R. Economopoulos // Acta Inf. — 2007. — Vol. 44, no. 6. —P. 427–461.103. Valkering, R. Syntax error handling in scannerless generalized LR parsers /R. Valkering // Group, University of Amsterdam. — 2007.104.
Malone, S. GLR Parsing for Erroneous Input / S. Malone, S. Felshin // Generalized LR Parsing / Ed. by M. Tomita. — Boston: Kluwer, 1991. — P. 129–140.105. Veanes, M. Symbolic finite state transducers: Algorithms and applications /M. Veanes, P. Hooimeijer, B. Livshits, D.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
