Zobrazeno 1 - 10
of 20 721
pro vyhledávání: '"type checking"'
Motivation: Automated bug detection in dynamically typed languages such as Python is essential for maintaining code quality. The lack of mandatory type annotations in such languages can lead to errors that are challenging to identify early with tradi
Externí odkaz:
http://arxiv.org/abs/2411.15368
Large language models show promise for autoformalization, the task of automatically translating natural language into formal languages. However, current autoformalization methods remain limited. The last reported state-of-the-art performance on the P
Externí odkaz:
http://arxiv.org/abs/2406.07222
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
In this paper we show how prescritive type checking and constraint solving can be combined to increase automation during software verification. We do so by defining a type system and implementing a typechecker for {log} (read `setlog'), a Constraint
Externí odkaz:
http://arxiv.org/abs/2205.01713
Graphs are a generalized concept that encompasses more complex data structures than trees, such as difference lists, doubly-linked lists, skip lists, and leaf-linked trees. Normally, these structures are handled with destructive assignments to heaps,
Externí odkaz:
http://arxiv.org/abs/2209.05149
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming June 2023 133
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Naoki Yamamoto, Kazunori Ueda
Publikováno v:
IEEE Access, Vol 10, Pp 114612-114628 (2022)
The ability to handle evolving graph structures is important both for programming languages and modeling languages. Of various languages that adopt graphs as primary data structures, a graph rewriting language LMNtal provides features of both (concur
Externí odkaz:
https://doaj.org/article/1ae9dcae4e4946259e27acedb86b5f3d
Autor:
Yungyu Zhuang, Ming-Yang Lu
Publikováno v:
IEEE Access, Vol 10, Pp 14418-14428 (2022)
Data frames are a tabular data structure widely used in transforming data to an appropriate form in data analysis, especially in data wrangling. However, when data frames are implemented with libraries rather than supported at the language level, it
Externí odkaz:
https://doaj.org/article/40601f34237d4591a162dcff6d35c626
We introduce a modification of standard Martin-Lof type theory in which we eliminate definitional equality and replace all computation rules by propositional equalities. We show that type checking for such a system can be done in quadratic time and t
Externí odkaz:
http://arxiv.org/abs/2102.00905