the proceedings contain 47 papers. the topics discussed include: a sound type system for secure currency flow;runtime instrumentation for reactive components;a dynamic logic for symbolic execution for the smart contra...
ISBN:
(纸本)9783959773416
the proceedings contain 47 papers. the topics discussed include: a sound type system for secure currency flow;runtime instrumentation for reactive components;a dynamic logic for symbolic execution for the smart contract programming language Michelson;dynamically generating callback summaries for enhancing static analysis;behavioral up/down casting for statically typed languages;understanding concurrency bugs in real-world programs with Kotlin coroutines;indirection-bounded call graph analysis;regrading policies for flexible information flow control in session-typed concurrency;mutation-based lifted repair of software product lines;the performance effects of virtual-machine instruction pointer updates;and mover logic: a concurrent program logic for reduction and rely-guarantee reasoning.
the proceedings contain 44 papers. the topics discussed include: designing asynchronous multiparty protocols with crash-stop failures;modular abstract definitional interpreters for WebAssembly;dynamically updatable mu...
ISBN:
(纸本)9783959772815
the proceedings contain 44 papers. the topics discussed include: designing asynchronous multiparty protocols with crash-stop failures;modular abstract definitional interpreters for WebAssembly;dynamically updatable multiparty session protocols: generating concurrent go code from unbounded protocols;modular compilation for higher-order functional choreographies;on leveraging tests to infer nullable annotations;super-charging object-orientedprogrammingthrough precise typing of open recursion;dynamic determinacy race detection for task-parallel programs with promises;algebraic replicated data types: programming secure local-first software;behavioral types for local-first software;constraint based compiler optimization for energy harvesting applications;restrictable variants: a simple and practical alternative to extensible variants;and programming with purity reflection: peaceful coexistence of effects, laziness, and parallelism.
the proceedings contain 32 papers. the topics discussed include: verified compilation and optimization of floating-point programs in CakeML;elementary type inference;stay safe under panic: affine rust programming with...
ISBN:
(纸本)9783959772259
the proceedings contain 32 papers. the topics discussed include: verified compilation and optimization of floating-point programs in CakeML;elementary type inference;stay safe under panic: affine rust programming with multiparty session types;how to take the inverse of a type;compiling volatile correctly in Java;functional programming with datalog;design-by-contract for flexible multiparty session protocols;a deterministic memory allocator for dynamic symbolic execution;defining corecursive functions in coq using approximations;what if we don’t pop the stack? the return of 2nd-class values;Maniposynth: bimodal tangible functional programming;direct foundations for compositional programming;Ferrite: a judgmental embedding of session types in rust;and Qilin: a new framework for supporting fine-grained context-sensitivity in Java pointer analysis.
the proceedings contain 22 papers. the topics discussed include: scope states: guarding safety of name resolution in parallel type checkers;lossless, persisted summarization of static callgraph, points-to and data-flo...
ISBN:
(纸本)9783959771900
the proceedings contain 22 papers. the topics discussed include: scope states: guarding safety of name resolution in parallel type checkers;lossless, persisted summarization of static callgraph, points-to and data-flow analysis;gradual program analysis for null pointers;covariant conversions (CoCo): a design pattern for type-safe modular software evolution in object-oriented systems;ALPACAS: a language for parametric assessment of critical architecture safety;enabling additional parallelism in asynchronous JavaScript applications;differential privacy for coverage analysis of software traces;multiparty session types for safe runtime adaptation in an actor language;do bugs propagate? an empirical analysis of temporal correlations among software bugs;and linear promises: towards safer concurrent programming.
Metacognition has been recognized as an essential skill for academic success and for performance in solving problems. During learning or problem-solving, metacognitive skills facilitate a range of cognitive and affect...
详细信息
ISBN:
(纸本)9798400710384
Metacognition has been recognized as an essential skill for academic success and for performance in solving problems. During learning or problem-solving, metacognitive skills facilitate a range of cognitive and affective processes, leading collectively to improved performance. this study explores the predictive potential of metacognition in the second introductory programming course. A two-dimensional model has been proposed, consisting of metacognitive awareness and metacognitive behavior. To evaluate the predictive capacity of metacognition empirically, an exploratory case study with 194 participants from two institutions was conducted in the second introductory programming course. A latent approach was employed to examine the associations between metacognition and performance in object-orientedprogramming. Our findings indicate that both metacognitive dimensions have a positive effect on programming. Likewise, the results of the structural equation modeling show that 27% of variance in programming performance is explained by metacognitive behavior. Following the results, metacognition has the potential to be considered as one of the important predictors of performance in introductory programming.
the rise of Large Language Models (LLMs) has sparked discussion in Computer Science Education (CSE) due to their ability to generate code from text prompts. Students may rely on these tools, neglecting core skills lik...
详细信息
ISBN:
(纸本)9798400710384
the rise of Large Language Models (LLMs) has sparked discussion in Computer Science Education (CSE) due to their ability to generate code from text prompts. Students may rely on these tools, neglecting core skills like computational thinking and program design. thus, it's crucial to responsibly integrate them into computer science courses. To address this, we integrated an open-source Automatic Assessment Tool with GPT, enabling students to receive LLM assistance on their programming assignments. this tool can be adopted and improved by educators, promoting more responsible integration of LLMs in CSE.
the Broker pattern[5] had its golden era as an architectural pattern for distributed object-orientedprogramming in the late 1990'ies and early 2000's and was supported by a large set of frameworks: CORBA, Jav...
详细信息
ISBN:
(纸本)9781450399562
the Broker pattern[5] had its golden era as an architectural pattern for distributed object-orientedprogramming in the late 1990'ies and early 2000's and was supported by a large set of frameworks: CORBA, Java RMI, .Net remoting, gRPC, SOAP and others. However, the tooling tended to be heavy-weight and cumbersome, security issues were hard to handle, and the growth of the more lightweight REST architectural style [13, 23] caused Broker based architectures to become much less used. In this tool paper we will argue why the Broker pattern offers a number of advantages over REST in a teaching context, argue that Broker can achieve similar architectural qualities as REST, show case an open source Broker library, and report from successful teaching experiences.
the proceedings contain 30 papers. the topics discussed include: perfect is the enemy of good: best-effort program synthesis;blame for null;static race detection and mutex safety and liveness for go programs;reconcili...
ISBN:
(纸本)9783959771542
the proceedings contain 30 papers. the topics discussed include: perfect is the enemy of good: best-effort program synthesis;blame for null;static race detection and mutex safety and liveness for go programs;reconciling event structures with modern multiprocessors;don’t panic! better, fewer, syntax errors for lr parsers;space-efficient gradual typing in coercion-passing style;multiparty session programming with global protocol combinators;designing with static capabilities and effects: use, mention, and invariants (pearl);a semantics for the essence of react;test-case reduction via test-case generation: insights from the hypothesis reducer;model-view-update-communicate: session types meet the elm architecture;and value partitioning: a lightweight approach to relational static analysis for JavaScript.
We present a new variation of object-orientedprogramming built around three simple and orthogonal constructs: classes for storing object state, interfaces for expressing object types, and mixins for reusing and overr...
详细信息
An introductory CS1 course at universities has to meet different requirements. In addition to computational thinking, students have to learn a programming language and its underlying concepts. Furthermore, they should...
详细信息
ISBN:
(纸本)9781450399562
An introductory CS1 course at universities has to meet different requirements. In addition to computational thinking, students have to learn a programming language and its underlying concepts. Furthermore, they should be educated in different paradigms such as procedural, object-oriented, and functional programming. Industrial-strength languages are optimized towards the requirements of professional software developers and tend to offer an overwhelming and complex set of language constructs. Using such a language in a CS1 course, students find themselves mainly struggling with learning the language, being primarily exposed to simple programs for demonstrating its constructs. In contrast, MuLE is an educational language that supports multiple paradigms with a small set of carefully designed constructs. Using MuLE, beginners may develop programming skills more easily, while they still learn underlying concepts systematically that may be transferred to other languages in their further education.
暂无评论