Results 11 to 20 of about 18,484 (310)
SCADE Model Checking Based on Program Transformation [PDF]
Jisuanji kexue, 2021 SCADE synchronization language is a common programming language for embedded system.It is often used to realize real-time embedded automatic control system in the research of equipment in aviation,aerospace,transportation and other safety critical fields.
RAN Dan, CHEN Zhe, SUN Yi, YANG Zhi-bin
doaj +1 more source
La tête du groupe nominal: l’hypothèse du DP dans les théories génératives
Corela, 2023 This paper discusses what is known in the generative literature as the ‘DP-hypothesis’, i.e., the idea that the head of the Noun Phrase is actually the Determiner, rather than the Noun.
Philip Miller, Geoffrey K. Pullum
doaj +1 more source
Code Search Engine for Bug Localization [PDF]
Jisuanji kexue, 2021 With the evolution and the increased complexity of software project,bug fixing is getting more difficult.During the bug fixing,developers need to spend a lot of time on bug localization and fixing.To evaluate this problem,this paper builds a bug-code ...
CHANG Jian-ming, BO Li-li, SUN Xiao-bing
doaj +1 more source
Constraint solving in non-permutative nominal abstract syntax [PDF]
Logical Methods in Computer Science, 2011 Nominal abstract syntax is a popular first-order technique for encoding, and reasoning about, abstract syntax involving binders. Many of its applications involve constraint solving.
Matthew R. Lakin
doaj +1 more source
Abstract clones for abstract syntax
, 2021 To appear in the proceedings of FSCD 2021; 16 ...
Arkor, Nathanael, McDermott, Dylan
openaire +4 more sources
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
Nested Abstract Syntax in Coq [PDF]
Journal of Automated Reasoning, 2010 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
MAGGESI, MARCO, Hirschowitz, André
openaire +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.
F. Pfenning, C. Elliott
openaire +1 more source
Programming type-safe transformations using higher-order abstract syntax
Journal of Formalized Reasoning, 2015 When verifying that compiler phases preserve some property of the compiled program, a major difficulty resides in how to represent and manipulate variable bindings, often imposing extra complexity both on the compiler writer and the verification effort ...
Olivier Savary Belanger +2 more
doaj +1 more source