23 |
The Cognitive Features of Programming Language and Natural Language
|
|
|
|
In: IFIP Advances in Information and Communication Technology ; 2nd International Conference on Intelligence Science (ICIS) ; https://hal.inria.fr/hal-02118845 ; 2nd International Conference on Intelligence Science (ICIS), Nov 2018, Beijing, China. pp.184-190, ⟨10.1007/978-3-030-01313-4_19⟩ (2018)
|
|
BASE
|
|
Show details
|
|
25 |
Vergleichende Analyse der Test- und Wartbarkeit in Xtext-Projekten am Beispiel einer TDL-Implementierung
|
|
Schulze, Martin. - : Köln : Hochschulbibliothek der Technischen Hochschule Köln, 2018
|
|
BASE
|
|
Show details
|
|
26 |
Applicability of the Julia Programming Language to Forward Error-Correction Coding in Digital Communications Systems
|
|
|
|
BASE
|
|
Show details
|
|
29 |
Tango: A Spanish-Based Programming Language
|
|
|
|
In: Butler Journal of Undergraduate Research (2017)
|
|
BASE
|
|
Show details
|
|
31 |
A Generic Framework for Symbolic Execution: a Coinductive Approach
|
|
|
|
In: ISSN: 0747-7171 ; EISSN: 1095-855X ; Journal of Symbolic Computation ; https://hal.inria.fr/hal-01238696 ; Journal of Symbolic Computation, Elsevier, 2017, 80, pp.125-163. ⟨10.1016/j.jsc.2016.07.012⟩ (2017)
|
|
Abstract:
International audience ; We propose a language-independent symbolic execution framework. The approach is parameterised by a language definition, which consists of a signature for the lan-guage's syntax and execution infrastructure, a model interpreting the signature, and rewrite rules for the language's operational semantics. Then, symbolic execution amounts to computing symbolic paths using a derivative operation. We prove that the symbolic execution thus defined has the properties naturally expected from it, meaning that the feasible symbolic executions of a program and the concrete executions of the same program mutually simulate each other. We also show how a coinduction-based extension of symbolic execution can be used for the deductive verification of programs. We show how the proposed symbolic-execution approach, and the coinductive verification technique based on it, can be seamlessly implemented in language definition frameworks based on rewriting such as the K framework. A prototype implementation of our approach has been developed in K. We illustrate it on the symbolic analysis and deductive verification of nontrivial programs.
|
|
Keyword:
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]; circular coinduction; formal operational semantics; program verification; programming language; reachability logic; symbolic execution
|
|
URL: https://doi.org/10.1016/j.jsc.2016.07.012 https://hal.inria.fr/hal-01238696v2/file/JSC-PAS_2013_submission_10.pdf https://hal.inria.fr/hal-01238696v2/document https://hal.inria.fr/hal-01238696
|
|
BASE
|
|
Hide details
|
|
32 |
Micro Virtual Machines: A Solid Foundation for Managed Language Implementation ...
|
|
|
|
BASE
|
|
Show details
|
|
34 |
Programming Language Keyword Frequencies Extracted From 16,000,000 Public Github Repositories (October 2016) ...
|
|
|
|
BASE
|
|
Show details
|
|
35 |
Promotion of Educational Effectiveness by Translation-based Programming Language Learning Using Java and Swift
|
|
|
|
BASE
|
|
Show details
|
|
36 |
ManyDSL - One host for all language needs ; ManyDSL - Ein Host für alle Sprachbedürfnisse
|
|
|
|
BASE
|
|
Show details
|
|
37 |
Tango: A Spanish-Based Programming Language
|
|
|
|
In: Undergraduate Honors Thesis Collection (2016)
|
|
BASE
|
|
Show details
|
|
38 |
ЭВМ и тувинский язык: обзор исследовательских работ тувинского государственного университета
|
|
|
|
BASE
|
|
Show details
|
|
39 |
PaniniJ: adding the capsule programming abstraction to Java to provide linguistic support for modular reasoning in concurrent program design
|
|
|
|
In: Graduate Theses and Dissertations (2016)
|
|
BASE
|
|
Show details
|
|
40 |
Can We Teach a Programming Language as a Second Language?
|
|
|
|
In: Publications (2016)
|
|
BASE
|
|
Show details
|
|
|
|