| 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
|
|
|
| 30 |
Composable Compilers: Evolution toward a Practical Reality
|
|
|
|
Abstract:
The ability to add new features to programming languages is essential for language design experimentation and domain-specific developments, but implementing and maintaining small language extensions in traditional compilers remain a challenge. General-purpose programming languages do not have desired mechanisms to integrate small, independently developed extensions into a working programming language. At the same time, domain-specific languages that support such integration struggle to gain popularity in the programming language community. More language mechanisms and tools are needed as a middle ground so that a broader range of programmers can implement, maintain, and combine compilers for individual language features more easily. At the heart of compiler construction, new design patterns are proposed to allow compilers to be extended in a modular way and to be merged with little effort. These design patterns, implementable in a mainstream programming language, encode dynamic relationships between node types in abstract syntax trees (ASTs) so that inheritance in object-oriented programming still works over the course of language evolution. A new AST representation lets a single AST be viewed as different programs for different languages. Compiler passes are language-neutral, making translations reusable and composable. At the front end, engineering language syntax can be a painstaking process, especially when individual language syntaxes start to interact. Automatic parser generators, albeit a powerful tool to parse complex grammars, are unhelpful when grammars are faulty, as reports of parsing conflicts do not explain these faults. To improve debugging experience, a semi-decision procedure is added to an LALR parser generator to give compact counterexamples illustrating why the grammar in question is ambiguous. For unambiguous grammars that cause parsing conflicts, a different kind of counterexample is constructed to aid removal of conflicts. At the back end, translation passes in compilers require extracting components of AST nodes. Pattern matching, an important feature in functional languages, is a prime candidate for this task. However, data abstraction and extensibility, two concepts central to object-oriented languages, are in conflict with pattern matching. A new language design based on modal abstraction reconciles static, modular reasoning about exhaustiveness in pattern matching with data abstraction.
|
|
Keyword:
ambiguous grammars and parsing; compilers; Computer science; extensibility and composability; pattern matching and data abstraction; programming language evolution
|
|
URL: http://dissertations.umi.com/cornellgrad:10542
https://doi.org/10.7298/X44M92QC
https://hdl.handle.net/1813/56801
|
|
BASE
|
|
Hide 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)
|
|
BASE
|
|
Show 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
|
|
|
|
|
