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)
|
|
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)
|
|
Abstract:
Increasing the speed of single-core processors has been facing practical challenges. Instead, multi- core architecture has been ascending for the past decade as the dominant architecture. To gain full advantage of multi-core processors, it is unavoidable for programmers to write concurrent programs. However, writing and reasoning about concurrent programs is often difficult for programmers. One reason for the difficulty stems from the hurdle of dealing with concurrency abstractions, the other reason is the difficulty in getting rid of concurrency related bugs. To address these problems, a new abstraction for concurrent programming has been proposed called capsule. Capsules are inspired by the long- standing ideas explored in the context of message-passing concurrency (MPC) abstractions and other similar models. Although the jury is still out on MPC abstractions as the de facto abstraction for concurrency, their wide availability and advantages combine to warrant research on the use of this model for concurrency. Capsules explore a new point in this design space to balance flexibility and analyzability in the MPC programming models. Unlike common avatars of the MPC model, a capsule is statically deployed and configured, confines its local states, permits only a single activity within itself, and communicates with other capsules in a logically synchronous manner. This thesis focuses on the realization, applicability and performance of this new abstraction. A major contribution of this work is the realization of capsules. We have implemented capsules as an extension of javac, the industrial strength standard Java compiler. The implementation shows that it is feasible to extend an object- oriented language with capsules. The default compilation strategy of capsules is based on threads. In this work, we also show alternative compilation strategies to improve the flexibility and adaptability of capsules. This shows that the capsule abstraction can be decoupled from concrete strategies for processing capsule messages and different underlying message processing mechanisms can be deployed without changing the user facing source code. This work also shows the strategy used to retain meta- information about capsules after compilation, so that capsule-oriented programs enjoy the property of separate compilation.
|
|
Keyword:
code generation; compiler; Computer Sciences; concurrent programming; modularity; programming language
|
|
URL: https://lib.dr.iastate.edu/etd/14985 https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=5992&context=etd
|
|
BASE
|
|
Hide details
|
|
40 |
Can We Teach a Programming Language as a Second Language?
|
|
|
|
In: Publications (2016)
|
|
BASE
|
|
Show details
|
|
|
|