Results 31 to 40 of about 6,857,309 (337)
A Weakly Initial Algebra for Higher-Order Abstract Syntax in Cedille [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Cedille is a relatively recent tool based on a Curry-style pure type theory, without a primitive datatype system. Using novel techniques based on dependent intersection types, inductive datatypes with their induction principles are derived. One benefit
Aaron Stump
doaj +1 more source
Applied Sciences, 2022 Symbolic execution is well known as a dynamic vulnerability discovery technique. Its greatest advantage is the capability to analyze the execution information of the program and to explore the path in the program deterministically.
Xinglu He, Pengfei Wang, Kai Lu, Xu Zhou
doaj +1 more source
Higher-order abstract syntax [PDF]
Proceedings of the ACM SIGPLAN 1988 conference on Programming language design and implementation, 1988 We describe motivation, design, use, and implementation of higher-order abstract syntax as a central representation for programs, formulas, rules, and other syntactic objects in program manipulation and other formal systems where matching and substitution or unification are central operations.
Conal Elliott, Frank Pfenning
openaire +2 more sources
Nested Abstract Syntax in Coq [PDF]
Journal of Automated Reasoning, 2010 We illustrate Nested Abstract Syntax as a high-level alternative representation of langages with binding constructs, based on nested datatypes. Our running example is a partial solution in the Coq proof assistant to the POPLmark Challenge. The resulting formalization is very compact and does not require any extra library or special logical apparatus ...
MAGGESI, MARCO, Hirschowitz, AndreĢ
openaire +2 more sources
AAAI Conference on Artificial IntelligenceDue to the growing complexity of modern Integrated Circuits (ICs), automating hardware design can prevent a significant amount of human error from the engineering process and result in less errors.
Chia-Tung Ho +2 more
openalex +2 more sources
Revisiting Code Similarity Evaluation with Abstract Syntax Tree Edit Distance [PDF]
Annual Meeting of the Association for Computational LinguisticsThis paper revisits recent code similarity evaluation metrics, particularly focusing on the application of Abstract Syntax Tree (AST) editing distance in diverse programming languages. In particular, we explore the usefulness of these metrics and compare
Yewei Song +4 more
semanticscholar +1 more source
FAM: Featuring Android Malware for Deep Learning-Based Familial Analysis
IEEE Access, 2022 To handle relentlessly emerging Android malware, deep learning has been widely adopted in the research community. Prior work proposed deep learning-based approaches that use different features of malware, and reported a high accuracy in malware detection,
Younghoon Ban +4 more
doaj +1 more source
Explainable Comparison of Software Defect Prediction Models [PDF]
Jisuanji kexue, 2023 Software defect prediction has become an important research direction in software testing.The comprehensiveness of defect prediction directly affects the efficiency of testing and program operation.However,the existing defect prediction is based on ...
LI Huilai, YANG Bin, YU Xiuli, TANG Xiaomei
doaj +1 more source
TRANX: A Transition-based Neural Abstract Syntax Parser for Semantic Parsing and Code Generation [PDF]
Conference on Empirical Methods in Natural Language Processing, 2018 We present TRANX, a transition-based neural semantic parser that maps natural language (NL) utterances into formal meaning representations (MRs). TRANX uses a transition system based on the abstract syntax description language for the target MR, which ...
Pengcheng Yin, Graham Neubig
semanticscholar +1 more source