• Suche: Practical typing in Python

Treffer 1 - 20 von 85

1

TIGER: A Generating-Then-Ranking Framework for Practical Python Type Inference
Wang, Chong ; Zhang, Jian ; Lou, Yiling ; et al.
2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE). :321-333

Software Engineering (cs... FOS: Computer and inform... Computer Science - Softw...
Fachzeitschrift
Zu den Favoriten
2

TIGER: A Generating-Then-Ranking Framework for Practical Python Type Inference
Wang, Chong ; Zhang, Jian ; Lou, Yiling ; et al.

Computer Science - Softw...
Report
Zu den Favoriten
3

Type4Py: practical deep similarity learning-based type inference for python
Mir, Amir M. ; Latoskinas, Evaldas ; Proksch, Sebastian ; et al.
ICSE '22: Proceedings of the 44th International Conference on Software Engineering

FOS: Computer and inform... Computer Science - Machi... Computer Science - Progr... Mean Reciprocal Rank 02 engineering and techn... Type Inference …
Fachzeitschrift
Zu den Favoriten
4

Assessing Python’s suitability for airborne safety-critical systems under DO-178C guidelines
Mari, Mohammad ; Wen, Lian
In Journal of Computer Languages December 2025

Fachzeitschrift
Zu den Favoriten
5

Type4Py: Practical Deep Similarity Learning-Based Type Inference for Python
Mir, S.A.M. (author) ; Latoskinas, Evaldas (author) ; Proksch, S. (author) ; et al.

E-Ressource
Zu den Favoriten
6

PyAnalyzer: An Effective and Practical Approach for Dependency Extraction from Python Code.
Jin, Wuxia ; Xu, Shuo ; Chen, Dawei ; et al.
ICSE: International Conference on Software Engineering; 2024, p1-12, 12p

PYTHON programming langu... DYLAN (Computer program... RECALL (Information retr... PRECISION (Information r... SOFTWARE engineering
Konferenz
Zu den Favoriten
7

UNMANAGED TEMPLATES.
Salmanov, Vugar ; Eyvazov, Zaur
German International Journal of Modern Science / Deutsche Internationale Zeitschrift für Zeitgenössische Wissenschaft. Nov2025, Issue 116, p91-94. 4p.

PROGRAMMING languages PYTHON programming langu... SYNTAX in programming la... DESIGN
Fachzeitschrift
Zu den Favoriten
8

Type-aware LLM-based Regression Test Generation for Python Programs
Liu, Runlin ; Zhang, Zhe ; Hu, Yunge ; et al.

Software Engineering
Report
Zu den Favoriten
9

Adaptive reduced order modelling of acoustic LTI systems with input–output dead time
Pelling, Art J.R. ; Sarradj, Ennes
In Mechanical Systems and Signal Processing 1 January 2026 242

Fachzeitschrift
Zu den Favoriten
10

Metaprogramming with Python : A programmer's guide to writing reusable code to build smarter applications
Aloorravi, Sulekha ; Aloorravi, Sulekha ; Aloorravi, Sulekha ; et al.

E-Ressource
Zu den Favoriten
11

Typed and Confused: Studying the Unexpected Dangers of Gradual Typing
Dominic Troppmann ; Aurore Fass ; Cristian-Alexandru Staicu
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering. :1858-1870

Fachzeitschrift
Zu den Favoriten
12

The power of duck typing and linear algrebra: How linear algebra and python make a good fit
Julien Tayon ; Kompetenzzentrum für nicht-textuelle Materialien

Computer Science Studienbereich Informati... Ingenieurwissenschaften
Zu den Favoriten
13

Chapter 2 - Datatypes
In Python Fast Track 2025:5-21

Buch
Zu den Favoriten
14

ALLCOPOL: inferring allele co-ancestry in polyploids.
Lautenschlager U ; Wagner F ; Oberprieler C
Publisher: BioMed Central Country of Publication: England NLM ID: 100965194 Publication Model: Electronic Cited Medium: Internet ISSN: 1471-2105 (Electronic) Linking ISSN: 14712105 NLM ISO Abbreviation: BMC Bioinformatics Subsets: MEDLINE

Alleles Databases, Genetic Leucanthemum classificat... Leucanthemum genetics Multilocus Sequence Typi... Phylogeny …
Fachzeitschrift
Zu den Favoriten
15

Polymorphic type inference for dynamic languages : reconstructing types for systems combining parametric, ad-hoc, and subtyping polymorphism
Inférence de types polymorphes pour des langages dynamiques : reconstruction de types pour des systèmes combinant polymorphisme paramétrique, surcharge et sous-typage
Laurent, Mickaël ; Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)) ; Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité) ; et al.
Computation and Language [cs.CL]. Université Paris Cité, 2024. English. ⟨NNT : 2024UNIP7076⟩

Occurrence typing Union types Intersection types Polymorphism Type narrowing Semantic subtyping …
Dissertation
Zu den Favoriten
16

A Lightweight Behavioral Biometric Framework using Python and Flask for Continuous Authentication in Online Banking
null Dheerendra Yaganti
International Journal of Advanced Research in Science, Communication and Technology. :738-744

Fachzeitschrift
Zu den Favoriten
17

minMLST: machine learning for optimization of bacterial strain typing.
Cohen, Shani ; Rokach, Lior ; Motro, Yair ; et al.
Bioinformatics. Feb2021, Vol. 37 Issue 3, p303-311. 9p.

MICROSOFT Windows (Opera... MACHINE learning LABORATORY management BACTERIAL diseases INTERNET servers DISEASE outbreaks …
Fachzeitschrift
Zu den Favoriten
18

Advancing caching and automation with FDO.
Mozaffari, Amirpasha ; Selke, Niklas ; Schultz, Martin
Research Ideas & Outcome Journal; 10/12/2022, p1-4, 4p

AUTOMATION EARTH sciences WORKFLOW management PYTHON programming langu... AIR quality
Fachzeitschrift
Zu den Favoriten
19

Cross-Domain Evaluation of a Deep Learning-Based Type Inference System
Gruner, Bernd ; Sonnekalb, Tim ; Heinze, Thomas S. ; et al.
2023 IEEE/ACM 20th International Conference on Mining Software Repositories (MSR). :158-169

FOS: Computer and inform... Computer Science - Machi... type inference Computer Science - Progr... deep learning long-tailed …
Fachzeitschrift
Zu den Favoriten
20

Dispositional Typing: Eliminating Unsafe Annotations - Implementation and Empirical Results
Moore, Douglas J. Huntington

memory safety compiler analysis dispositional typing LLVM systems programming
E-Ressource
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter