DE eng

Search in the Catalogues and Directories

Hits 1 – 5 of 5

1
Evolution of human computer interaction
In: Sci. Visualization ; Scientific Visualization (2021)
BASE
Show details
2
A vision of miking : Interactive programmatic modeling, sound language composition, and self-learning compilation
Broman, David. - : KTH, Programvaruteknik och datorsystem, SCS, 2019. : Association for Computing Machinery, Inc, 2019
BASE
Show details
3
Gradually typed symbolic expressions
Broman, David; Siek, J. G.. - : KTH, Programvaruteknik och datorsystem, SCS, 2017. : United States, 2017
BASE
Show details
4
Capsule-oriented programming
In: Computer Science Conference Presentations, Posters and Proceedings (2015)
Abstract: "Explicit concurrency should be abolished from all higher-level programming languages (i.e. everything except - perhaps- plain machine code.)." Dijkstra [1] (paraphrased). A promising class of concurrency abstractions replaces explicit concurrency mechanisms with a single linguistic mechanism that combines state and control and uses asynchronous messages for communications, e.g. active objects or actors, but that doesn't remove the hurdle of understanding non-local control transfer. What if the programming model enabled programmers to simply do what they do best, that is, to describe a system in terms of its modular structure and write sequential code to implement the operations of those modules and handles details of concurrency? In a recently sponsored NSF project we are developing such a model that we call capsule-oriented programming and its realization in the Panini project. This model favors modularity over explicit concurrency, encourages concurrency correctness by construction, and exploits modular structure of programs to expose implicit concurrency.
Keyword: Capsule-oriented programming; Computer Sciences; implicitly-concurrent languages; oblivious interference problem; pervasive interference problem; Programming Languages and Compilers; Safe concurrency
URL: https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1010&context=cs_conf
https://lib.dr.iastate.edu/cs_conf/11
BASE
Hide details
5
Turtle Graphics Implementation Using a Graphical Dataflow Programming Approach
In: DTIC AND NTIS (1992)
BASE
Show details

Catalogues
Bibliographies
Linked Open Data catalogues
Online resources
Open access documents
5
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern