LLM-enhanced evolutionary test generation for untyped languages

Συγγραφείς: Yang, Ruofan, Xu, Xianghua, Wang, Ran^{Aff1, IDs10515025004967_cor1}

Πηγή: Automated Software Engineering: An International Journal. 32(1)

How Do Python Framework APIs Evolve? An Exploratory Study

Συγγραφείς: Zhang, Zhaoxu, Zhu, Hengcheng, Wen, Ming, Tao, Yida, Liu, Yepang, Xiong, Yingfei

Πηγή: 2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER) Software Analysis, Evolution and Reengineering (SANER), 2020 IEEE 27th International Conference on. :81-92 Feb, 2020

Relation: 2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER)

A Method of Optimizing Django Based on Greedy Strategy

Συγγραφείς: Chou, Jian, Chen, Lin, Ding, Hui, Tu, Jingxuan, Xu, Baowen

Πηγή: 2013 10th Web Information System and Application Conference Web Information System and Application Conference (WISA), 2013 10th. :176-179 Nov, 2013

Relation: 2013 10th Web Information System and Application Conference (WISA)

A Multilanguage Static Analysis of Python Programs with Native C Extensions

Συγγραφείς: Monat, Raphaël^Aff11, Ouadjaout, Abdelraouf^Aff11, Miné, Antoine^{Aff11, Aff12}

Συνεισφορές: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Drăgoi, Cezara, editor^Aff8, Mukherjee, Suvam, editor^Aff9, Namjoshi, Kedar, editor^Aff10

Πηγή: Static Analysis : 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings. 12913:323-345

Value and allocation sensitivity in static Python analyses

Συγγραφείς: Monat, Raphaël, Ouadjaout, Abdelraouf, Miné, Antoine

Συνεισφορές: Monat, Raphaël

Πηγή: Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis

Θεματικοί όροι: formal methods, program analysis, Static Analysis, Abstract Interpretation, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Heap Abstraction, Experimental Evaluation, Recency Abstraction, 0202 electrical engineering, electronic engineering, information engineering, Dynamic Programming Language, Python

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hal.sorbonne-universite.fr/hal-02876667/file/soap20%20%281%29.pdf
https://dblp.uni-trier.de/db/conf/pldi/soap2020.html#MonatOM20
https://dl.acm.org/doi/10.1145/3394451.3397205
https://hal.archives-ouvertes.fr/hal-02876667
https://doi.org/10.1145/3394451.3397205
https://hal.sorbonne-universite.fr/hal-02876667v1/document
https://doi.org/10.1145/3394451.3397205
https://hal.sorbonne-universite.fr/hal-02876667v1

Static Type Analysis by Abstract Interpretation of Python Programs

Συγγραφείς: Monat, Raphaël, Ouadjaout, Abdelraouf, Miné, Antoine

Συνεισφορές: Algorithmes, Programmes et Résolution (APR), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Institut universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), European Project: 681393,H2020,ERC-2015-CoG,MOPSA(2016)

Πηγή: 34th European Conference on Object-Oriented Programming (ECOOP 2020)
https://hal.science/hal-02994000
34th European Conference on Object-Oriented Programming (ECOOP 2020), Nov 2020, Berlin (Virtual / Covid), Germany. ⟨10.4230/LIPIcs.ECOOP.2020.17⟩
2020.ecoop.org

Θεματικοί όροι: Formal Methods, Static Analysis, Abstract Interpretation, Type Analysis, Dynamic Programming Language, Python Semantics, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Θέμα γεωγραφικό: Berlin (Virtual / Covid), Germany

Relation: info:eu-repo/grantAgreement//681393/EU/Modular Open Platform for Static Analysis/MOPSA

Διαθεσιμότητα: https://hal.science/hal-02994000
https://hal.science/hal-02994000v1/document
https://hal.science/hal-02994000v1/file/LIPIcs-ECOOP-2020-17.pdf
https://doi.org/10.4230/LIPIcs.ECOOP.2020.17

Programming the material point method in Julia

Συγγραφείς: Sinaie, Sina ^a, Nguyen, Vinh Phu ^{⁎, a}, Nguyen, Chi Thanh ^a, Bordas, Stephane ^b

Πηγή: In Advances in Engineering Software March 2017 105:17-29

ooRexx 5 Yielding Swiss Army Knife Usability

Συγγραφείς: Flatscher, Rony G., Müller, Günter

Θεματικοί όροι: 201202 Architekturmodellbau, 102022 Softwareentwicklung, 502050 Wirtschaftsinformatik, 201202 Architectural modelling, dynamic programming language, object-oriented, message based, open-source, multi-platform, 102014 Informationsdesign, 102015 Information systems, 502050 Business informatics, 102014 Information design, 102015 Informationssysteme, 102022 Software development

Περιγραφή αρχείου: text

Σύνδεσμος πρόσβασης: https://research.wu.ac.at/de/publications/799ac08e-0a90-4013-9bbb-e63e728ec8ef

static type analysis by abstract interpretation of python programs artifact

Συγγραφείς: Monat, Raphaël, Ouadjaout, Abdelraouf, Miné, Antoine

Συνεισφορές: Raphaël Monat and Abdelraouf Ouadjaout and Antoine Miné

Θεματικοί όροι: Static Analysis, Abstract Interpretation, Dynamic Programming Language, ddc:004, Formal Methods, Type Analysis, Python Semantics

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/opus/volltexte/2020/13208/
https://dblp.uni-trier.de/db/journals/darts/darts6.html#MonatOM20
https://drops.dagstuhl.de/opus/volltexte/2020/13208/pdf/DARTS-6-2-11.pdf/
https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.11

NXTalk : dynamic object-oriented programming in a constrained environment

Συγγραφείς: Beck, Martin, Haupt, Michael, Hirschfeld, Robert

Πηγή: Proceedings of the International Workshop on Smalltalk Technologies. :38-49

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/1735935.1735942

Reusable semantics for implementation of Python optimizing compilers

Συγγραφείς: Melançon, Olivier

Thesis Advisors: Feeley, Marc

Θεματικοί όροι: Python, langage de programmation dynamique, sémantique formelle, évaluation partielle, compilateur, optimisation, dynamic programming language, formal semantics, partial evaluation, compiler, optimization, Applied Sciences - Computer Science / Sciences appliqués et technologie - Informatique (UMI : 0984)

Περιγραφή αρχείου: application/pdf

Διαθεσιμότητα: http://hdl.handle.net/1866/26538

НАСЛЕДОВАНИЕ АВТОМАТНЫХ КЛАССОВ С ИСПОЛЬЗОВАНИЕМ ДИНАМИЧЕСКИХ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ НА ПРИМЕРЕ RUBY

Συγγραφείς: ТИМОФЕЕВ К.И., АСТАФУРОВ А.А.

Θεματικοί όροι: ДИНАМИЧЕСКИЙ ЯЗЫК ПРОГРАММИРОВАНИЯ,DYNAMIC PROGRAMMING LANGUAGE,АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ,AUTOMATA-BASED PROGRAMMING

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/nasledovanie-avtomatnyh-klassov-s-ispolzovaniem-dinamicheskih-yazykov-programmirovaniya-na-primere-ruby
http://cyberleninka.ru/article_covers/16407072.png

Author(s)

Συγγραφείς: Stefan Mairhofer

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://iaser.tek.bth.se/pa2403/hmt/thesis_mse_2008_08.pdf.

Θεματικοί όροι: Search-Based Software Testing, automatic test data generation, dynamic programming language, object-oriented CONTENTS

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.389.5142; http://iaser.tek.bth.se/pa2403/hmt/thesis_mse_2008_08.pdf

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.389.5142
http://iaser.tek.bth.se/pa2403/hmt/thesis_mse_2008_08.pdf

Наследование автоматных классов с использованием динамических языков программирования на примере Ruby

Πηγή: Научно-технический вестник информационных технологий, механики и оптики.

Θεματικοί όροι: ДИНАМИЧЕСКИЙ ЯЗЫК ПРОГРАММИРОВАНИЯ,DYNAMIC PROGRAMMING LANGUAGE,АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ,AUTOMATA-BASED PROGRAMMING

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/nasledovanie-avtomatnyh-klassov-s-ispolzovaniem-dinamicheskih-yazykov-programmirovaniya-na-primere-ruby
http://cyberleninka.ru/article_covers/16407072.png

Development of A Dynamic Programming Language for Video and Image Processing and Its Environment / 動画像処理のための動的プログラミング環境の開発(映像表現フォーラム)

Συγγραφείς: Kazuki KUMAGAI, Kouichi TOYOZUMI, Tokiichiro TAKAHASHI, 熊谷 一樹, 豊住 耕一, 高橋 時市郎

Πηγή: ITE Technical Report. 2011, :29

API Database of Python frameworks & Labeled Issues

Συγγραφείς: Anonymous Authors

Θεματικοί όροι: Dynamic programming language, Python, Framework API evolution, Compatibility issues

Relation: https://zenodo.org/records/3518685; oai:zenodo.org:3518685; https://doi.org/10.5281/zenodo.3518685

Διαθεσιμότητα: https://doi.org/10.5281/zenodo.3518685
https://zenodo.org/records/3518685

Étude de cas sur l'ajout de vecteurs d'enregistrements typés dans Gambit Scheme

Συγγραφείς: Cérat, Benjamin

Thesis Advisors: Feeley, Marc

Θεματικοί όροι: Compilation, Language dynamique, Gestion de mémoire, Optimisation, Arbre de typage, Dynamic programming language, Type, Memory management, Type trees, Optimization, Applied Sciences - Computer Science / Sciences appliqués et technologie - Informatique (UMI : 0984)

Διαθεσιμότητα: http://hdl.handle.net/1866/11984

Dynamic updates of mobile apps using JavaScript

Συγγραφείς: Spetz-Nyström, Simon

Θεματικοί όροι: Dynamic software updates, DSU, JavaScript, Mobile applications, Mobile apps, Dynamic programming language, Computer Sciences, Datavetenskap (datalogi)

Περιγραφή αρχείου: application/pdf

Διαθεσιμότητα: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-119351

Interpret dynamického programovacího jazyka pro vědecké výpočty

Interpreter of a Dynamic Programming Language for Scientific Computing

Συγγραφείς: Ocelík, Tomáš

Thesis Advisors: Orság, Filip, Kněžík, Jan

Θεματικοί όροι: virtual machine, Dynamic programming language, virtuální stroj, prototype-based languages, compiler., dynamická typová kontrola, jazyky založené na prototypech, dynamic type checking, objektové orientované jazyky, parallelism, Dynamický programovací jazyk, paralelismus, object-oriented programming languages, překladač.

Διαθεσιμότητα: http://www.nusl.cz/ntk/nusl-236543

Search-based software testing and complex test data generation in a dynamic programming language

Συγγραφείς: Mairhofer, Stefan

Θεματικοί όροι: Search-Based Software Testing, automatic test data generation, dynamic programming language, object-oriented, Software Engineering, Programvaruteknik

Περιγραφή αρχείου: application/pdf

Διαθεσιμότητα: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-4340