Search Results - Computer Science - Programming Languages

The handwriting programming language for primary school: aligning computer science education with established teaching practices: The Handwriting Programming Language by Brender, Jérôme, El-Hamamsy, Laila, Giang, Christian, Mathex, Laura, Käser, Tanja, Mondada, Francesco

“…Generalist primary school computer science (CS) teachers are often reluctant to introduce CS activities that go beyond CS unplugged tasks…”
Get full text

Deadlock analysis of unbounded process networks by Kobayashi, Naoki, Laneve, Cosimo

“…Deadlock detection in concurrent programs that create networks with arbitrary numbers of nodes is extremely complex and solutions either give imprecise answers…”
Get full text

Transitioning from introductory block-based and text-based environments to professional programming languages in high school computer science classrooms by Weintrop, David, Wilensky, Uri

“…Block-based programming languages are becoming increasingly common in introductory computer science classrooms across the K-12 spectrum…”
Get full text

Reversing an imperative concurrent programming language by Hoey, James, Ulidowski, Irek

“…). •Reversal of a concurrent imperative programming language that stores minimal data to undo irreversible steps…”
Get full text

Checkpoint-based rollback recovery in session programming by Mezzina, Claudio Antares, Tiezzi, Francesco, Yoshida, Nobuko

“… In this paper we propose a language enriched with programming facilities to commit session interactions, to roll back the computation to a previous commit point, and to abort the session…”
Get full text

Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers) by Castagna, Giuseppe

“…-)typing theory and programming languages, taking a fresh look at this old issue. Actually, the revamping of this problem is just an excuse for writing an essay…”
Get full text

An exploratory study on the usage of quantum programming languages by Ferreira, Felipe, Campos, José

“…As in the classical computing realm, quantum programming languages in quantum computing allow one to instruct a quantum computer to perform certain tasks…”
Get full text

Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers by Marc Pouzet, Timothy Bourke, Jun Inoue

Get full text

The Systems Biology Graphical Notation by Novère, Nicolas Le, Hucka, Michael, Mi, Huaiyu, Moodie, Stuart, Schreiber, Falk, Sorokin, Anatoly, Demir, Emek, Wegner, Katja, Aladjem, Mirit I, Wimalaratne, Sarala M, Bergman, Frank T, Gauges, Ralph, Ghazal, Peter, Kawaji, Hideya, Li, Lu, Matsuoka, Yukiko, Villéger, Alice, Boyd, Sarah E, Calzone, Laurence, Courtot, Melanie, Dogrusoz, Ugur, Freeman, Tom C, Funahashi, Akira, Ghosh, Samik, Jouraku, Akiya, Kim, Sohyoung, Kolpakov, Fedor, Luna, Augustin, Sahle, Sven, Schmidt, Esther, Watterson, Steven, Wu, Guanming, Goryanin, Igor, Kell, Douglas B, Sander, Chris, Sauro, Herbert, Snoep, Jacky L, Kohn, Kurt, Kitano, Hiroaki

“… Toward this goal, we present the Systems Biology Graphical Notation (SBGN), a visual language developed by a community of biochemists, modelers and computer scientists…”
Get full text

Linear Dependent Type Theory for Quantum Programming Languages by Fu, Peng, Kishida, Kohei, Selinger, Peter

“…Modern quantum programming languages integrate quantum resources and classical control…”
Get full text

The Informatics of Time and Events by Gérard Berry

“… Yet this subject receives little attention in classical informatics. This lecture presents different types of time and event modelling associated with new programming languages…”
Get full text

Graphical Programming Using LabVIEW: Fundamentals and advanced techniques by Rodríguez-Quiñonez, Julio César, Real-Moreno, Oscar

“… Starting with the concepts of data flow and concurrent programming, the authors go on to address the development of state machines, event programming and consumer producer systems…”
Get full text

Does the compiler or interpreter version influence the energy consumption of programming languages? by Jiménez, Elisa, Gordillo, Alberto, Calero, Coral, Moraga, Ma Ángeles, García, Félix

“…Software plays a crucial role in our daily activities. Virtually all the technology we use contains software components written in a particular programming language…”
Get full text

The Impact of SRA-Programming on Computational Thinking in a Visual Oriented Programming Environment by Fanchamps, Nardie L. J. A., Slangen, Lou, Specht, Marcus, Hennissen, Paul

“… Applying Sense-Reason-Act (SRA) programming can influence the development of computational thinking when forcing pupils to anticipate the unforeseen in their computer programs…”
Get full text

Videogame Programming & Education: Enhancing Programming Skills Through Unity Visual Scripting by Villagómez-Palacios, Álvaro, Fuente-Burdiles, Claudia De la, Vidal-Silva, Cristian

“… Designing and implementing a videogame is even more appealing for children and novice students than merely playing it, but developing programming competencies using a text-based language often…”
Get full text

Flexible Correct-by-Construction Programming by Runge, Tobias, Bordis, Tabea, Potanin, Alex, Thüm, Thomas, Schaefer, Ina

“… CbC is complex to use without specialized tool support, since it needs a set of predefined refinement rules of fixed granularity which are additional rules on top of the programming language…”
Get full text

Programming Languages and Systems Theoretical Computer Science and General Issues: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings by Yoshida, Nobuko

“… They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems…”
Get full text

Deconfined Global Types for Asynchronous Sessions by Dagnino, Francesco, Giannini, Paola, Dezani-Ciancaglini, Mariangiola

“…Multiparty sessions with asynchronous communications and global types play an important role for the modelling of interaction protocols in distributed systems…”
Get full text

Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala by Audrito, Giorgio, Casadei, Roberto, Damiani, Ferruccio, Viroli, Mirko

“…) propose the idea of programming distributed systems by focussing on their global behaviour across space and time…”
Get full text

Tracking Visual Programming Language-Based Learning Progress for Computational Thinking Education by Wu, Ting-Ting, Lin, Chia-Ju, Wang, Shih-Cheng, Huang, Yueh-Min

“… Computational thinking (CT) is a vital core capability that anyone can learn. CT can be learned through programming, in particular, via visual programming languages…”
Get full text