Computational thinking (CT) is a key component of 21st century education. Withthat visual programming has become a major tool for primary school students to learn programming. In response to the current difficulties ...
详细信息
Teaching introductory computer programming for first-year college students has been challenging. the challenges stem from the fact that teachers often struggle to find the best pedagogical strategies that address the ...
详细信息
the proceedings contain 14 papers. the topics discussed include: monilogging for executable domain-specific languages;vision: the next 700 language workbenches;vision: the next 700 language workbenches;automating the ...
ISBN:
(纸本)9781450391115
the proceedings contain 14 papers. the topics discussed include: monilogging for executable domain-specific languages;vision: the next 700 language workbenches;vision: the next 700 language workbenches;automating the synthesis of recommender systems for modelling languages;executing certified model transformations on Apache spark;new ideas: automated engineering of metamorphic testing environments for domain-specific languages;a concurrency model for JavaScript with cooperative cancellation;there is more than one way to Zen your python;getting grammars into shape for block-based editors;vision: bias in systematic grammar-based test suite construction algorithms;and FIDDLR: streamlining reuse with concern-specific modelling languages.
Interactive user experiences on the web are becoming the norm. Client-side programs are becoming more complicated and have to deal with event handling, reading HTML document state and updating the interface. In this p...
详细信息
ISBN:
(纸本)9781450389860
Interactive user experiences on the web are becoming the norm. Client-side programs are becoming more complicated and have to deal with event handling, reading HTML document state and updating the interface. In this paper we propose a declarative language that supports these three facets of client-side browser development declaratively and provides a programming model where complex interfaces can be written using simple programming techniques such as records, functions and recursion.
the proceedings contain 14 papers. the topics discussed include: data-aware process networks;integrating a functional pattern-based IR into MLIR;compiling data-parallel datalog;PGZ: automatic zero-value code specializ...
ISBN:
(纸本)9781450383257
the proceedings contain 14 papers. the topics discussed include: data-aware process networks;integrating a functional pattern-based IR into MLIR;compiling data-parallel datalog;PGZ: automatic zero-value code specialization;exploring the space of optimization sequences for code-size reduction: insights and tools;polybench/python: benchmarking python environments with polyhedral optimizations;a modern compiler for the French tax code;communication-safe web programming in TypeScript with routed multiparty session types;helper function inlining in dynamic binary translation;lightning BOLT: powerful, fast, and scalable binary optimization;compact native code generation for dynamic languages on micro-core architectures;and deep NLP-based co-evolvement for synthesizing code analysis from natural language.
this paper puts forward users' argumentative behavior and examines the antecedents of users' argumentative behavior. By integrating theory of planned behavior and theory of privacy protection, this paper propo...
详细信息
the proceedings contain 2 papers. the topics discussed include: actions you can handle: dependent types for AI plans;and a simpler encoding of indexed types.
ISBN:
(纸本)9781450386166
the proceedings contain 2 papers. the topics discussed include: actions you can handle: dependent types for AI plans;and a simpler encoding of indexed types.
Field Programmable Gate Arrays (FPGA) are still relatively new in the High Performance Computing (HPC) field. Hence, they still lack a mature ecosystem that allows non-FPGA experts to scale an application with many de...
详细信息
Exploring the cultivation of international talents that drive China's higher education go global is consistent withthe current Chinese national context, helps enhance international influence, and is in line with ...
详细信息
the proceedings contain 6 papers. the topics discussed include: graft: general purpose raft consensus in Elixir;the Hera framework for fault-tolerant sensor fusion with Erlang and GRiSP on an IoT network;detecting oxb...
ISBN:
(纸本)9781450386128
the proceedings contain 6 papers. the topics discussed include: graft: general purpose raft consensus in Elixir;the Hera framework for fault-tolerant sensor fusion with Erlang and GRiSP on an IoT network;detecting oxbow code in erlang codebases withthe highest degree of certainty;Makina: a new QuickCheck state machine library;bidirectional typing for Erlang;and what are the critical security flaws in my system?.
暂无评论