检索结果-内蒙古大学图书馆

What Should the Educational programming Language Be

AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS 2024年第SUPPL6期58卷 S323-S332页

作者： Gorodnyaya, L. V. Russian Acad Sci Ershov Inst Informat Syst Siberian Branch Novosibirsk Russia Novosibirsk State Univ Novosibirsk Russia

The article is devoted to the development of solutions in the project of a simulator for teaching programming, intended for initial familiarization with the basic concepts of process interaction and calculation management. In the transition to multiprocessor architectures, the relevance of a special language and information support for the introduction to programming increases is growing. No matter how complex the world of parallelism is, a programmer training system will have to master it and create a methodology for fully familiarizing itself with its nonobvious phenomena. This is a sufficient reason for developing an educational programming language aimed at the initial training of primary and secondary school students, as well as junior students and nonprofessionals, for operating interacting processes and programming parallel computations. The given language has been developed through many years of experience in managing the interaction of toy robots moving on a checkered board. The material of this article material is of interest to programmers, students, and graduate students specializing in the field of systems and theoretical programming and to all those interested in the problems of modern computer science, programming, and information technology, especially the problems of parallel computing, supercomputers and the use of multiprocessor complexes and computer networks in general.

关键词： educational programming functional programming process interaction multiprocessor configurations definition of a programming language programming paradigms program decomposition decomposition criteria semantic systems schemes for teaching system programming laconic definitions

来源：评论

学校读者我要写书评

暂无评论

Snap! 9 - Support for Teachers and programming with Data 2024

Snap! 9 - Support for Teachers and Programming with Data

引用

Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 2

作者： Michael Ball Daniel Garcia Victoria Phelps Yuan Garcia UC Berkeley Berkeley USA Harvey Mudd College Claremont USA

ISBN: (纸本)9798400704246

This year's Snap! 9 release represents 10 years since Snap! 4.0 was initially released as a web application. Version 9 includes hundreds of new features, focused on providing students and teachers with new cloud tools, continued development of tools for working with data, and ''quality of life'' *** Snap! Cloud has been upgraded to support dedicated student and teacher accounts. Teachers can create accounts on behalf of their students, and manage students in their class. Everyone can also choose to ''follow'' users and see a feed of new projects shared with the ***'s also never been easier to work with data! Snap! 9 adds the ability to treat lists as ''dictionaries'' (lists of lists can now be indexed by arbitrary alphanumeric values). A number of blocks have been made variadic (i.e., supporting a variable number of inputs), saving the user the tedium of dragging over multiple copies of the same block. These include and, or, all comparison operators, and if, which adds more intermediate else if cases when the right arrow is ***, Parsons Puzzles can be created with a single click. The Generate Puzzle command generates a microworld with only the blocks present in the selected sprite (and hides the answer behind a menu choice).In this demo, we'll share ways that you can use new Snap! features in the classroom, and provide attendees with the tools to build engaging experiences for *** materials from this demonstration will be shared at https://***/snap-sigcse24

关键词： block-based programming metaprogramming programming paradigms snap!

来源：评论

学校读者我要写书评

暂无评论

Community Input and Engagement for CS2023: Foundations of programming Languages 2023

Community Input and Engagement for CS2023: Foundations of Pr...

引用

Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 2

作者： Michael J. Oudshoorn High Point University High Point NC USA

ISBN: (纸本)9781450394338

An ACM/IEEE-CS/AAAI task force is undertaking a review of the computer science curriculum guidelines. The task force aims to generate an initial draft, known as CS2023, by the end of 2023. It is anticipated that the resulting curriculum guidelines will impact computer science curriculum globally until at least 2034. This review process is undertaken approximately every decade and was last completed in 2013 with the resulting ACM/IEEE CS2013 document CS2013 has served the community well and planned revisions focus on the removal of topics that are no longer relevant, identification of emerging topics, or topics with increased importance or relevance. An integral part of the review process is to solicit input from a wide audience. While reviews can be made on-line, the purpose of this Birds-of-a-Feather (BoF) session is to present the proposed changes to the programming languages knowledge area and to solicit input from the attendees. There are substantial changes being proposed and timely feedback is essential for an informed process. Two of the major changes are the migration to a competency model, similar to that described in CS2020, and the replacement of Tier-1 and Tier-2 hours with a CS-core that all computer science students should know, and a KA-core which students specializing in the knowledge area should know.

关键词： curriculum programming paradigms formal methods language translation programming languages

来源：评论

学校读者我要写书评

暂无评论

Performance analysis for high-precision interconnect simulation

Performance analysis for high-precision interconnect simulat...

引用

20th European Simulation and Modelling Conference (ESM 2006)

作者： Heinzl, R. Spevak, M. Schwaha, P. Grasser, T. Selberherr, S. Inst Microelect Christian Doppler Lab TCAD Microelect Vienna Austria Vienna Univ Technol Inst Microelect A-1040 Vienna Austria

ISBN: (纸本)9789077381304

This work analyzes the performance of high-precision interconnect simulation tools on refined meshes with guaranted accuracy. On the one hand, the integrated circuits are subject to an ongoing miniaturization which results in ever increasing computing power. On the other hand, the simulation of these integrated circuits demands more sophisticated simulation methodologies such as better resolution of geometrical features or more complex surface topography. We show that modern microprocessor architectures and memory hierarchies impose performance limits on the simulation time.

关键词： mesh generation error estimation mesh quality high performance computing programming paradigms

来源：评论

学校读者我要写书评

暂无评论

A programming languages course for freshmen 05

A programming languages course for freshmen

引用

Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education

作者： J. Ángel Velázquez-Iturbide Universidad Rey Juan Carlos Móstoles Madrid Spain

ISBN: (纸本)9781595930248

programming languages are a part of the core of computer science. Courses on programming languages are typically offered to junior or senior students, and textbooks are based on this assumption. However, our computer science curriculum offers the programming languages course in the first year. This unusual situation led us to design it from an untypical approach. In this paper, we first analyze and classify proposals for the programming languages course into different pure and hybrid approaches. Then, we describe a course for freshmen based on four pure approaches, and justify the main choices made. Finally, we identify the software used for laboratories and outline our experience after teaching it for seven years.

关键词： programming languages functional programming programming paradigms language description recursion formal grammars

来源：评论

学校读者我要写书评

暂无评论

Software Renovation: An In-house Perspective with Case Studies

Software Renovation: An In-house Perspective with Case Studi...

引用

作者： Brian Horton University of New Orleans

学位级别：硕士

Programs are not only a tool for the simplification or automation of everyday tasks; they also represent a significant time and money investment. A program's life may span years, or even decades, which creates certain risks for the stakeholders involved. To mitigate the risks associated with these legacy systems, software renovation can be undertaken. Software renovation can be described as a series of processes and/or tools used to modernize a legacy system, thereby preserving and maintaining the investment it represents while decreasing the risks associated with it. In this thesis, the focus is on renovation of software created by in-house development. A series of case studies will be examined to demonstrate basic renovation strategies, including the formation of goals for a renovation and exploring trade-offs between robustness, performance, and usability.

关键词： Methodologies Code Design programming paradigms Maintenance

来源：评论

学校读者我要写书评

暂无评论

Escaping the Prison of Style 20

Escaping the Prison of Style

引用

4th International Conference on the Art Science and Engineering of programming

作者： Basman, Antranig Tchernavskij, Philip Raising Floor Int London England OCAD Univ Inclus Design Res Ctr Toronto ON Canada

ISBN: (纸本)9781450375078

We seek support for our notion of authorially open programming practices through a critical reading of the notion of "style" in our dominant programming cultures. We argue that this popular notion of programming style is inescapably infused with values which diverge from those of its supposed analogues in areas such as literary and artistic expression. By examining the discourse around and technical distinctions between programming styles, we reveal their fundamentally different nature in structuring dialogues between the writers of computational artefacts and those who experience them. programming styles are predominantly discussed in inward-facing terms, i.e. with regard only to the experience of programmers with privileged access to the source code. Regardless of their chosen style, programs consist of "imprisoned expressions", built of design elements cut off from access to the program which executes in the world. We construct a miniature integration language, still bounded within the space of existing programming language styles, to solve an open authorship problem, and observe that the increased open ownership of expressions has come at a significant usability cost. We fail to escape the prison, and reflect that our own dialogue remains predominantly inward-facing, due to the lack of proper materials and vocabulary to put communities into correspondence. We look forward to more convivial venues and idioms for expressing computational artefacts, with more equal relationships between the ecologies of construction and ecologies of use.

关键词： programming styles programming paradigms open authorship software evolution convivial computing

来源：评论

学校读者我要写书评

暂无评论

A mapping study of language features improving object-oriented design patterns

引用

INFORMATION AND SOFTWARE TECHNOLOGY 2023年第1期160卷

作者： Flageol, William Menaud, Eloi Gueheneuc, Yann-Gael Badri, Mourad Monnier, Stefan Concordia Univ 1455 Blvd Maisonneuve Ouest Montreal PQ H3G 1M8 Canada IMT Atlantique 4 Rue Alfred Kastler F-44300 Nantes France Univ Quebec Trois Rivieres 3351 Blvd Forges Trois Rivieres PQ G8Z 4M3 Canada Univ Montreal CP 6128 Ctr Ville Montreal PQ H3C 3J7 Canada

Context: Object-Oriented programming design patterns are well-known in the industry and taught in universities as part of software engineering curricula. Many primary studies exist on the impact of design patterns on software, in addition to secondary studies summarizing these publications. Some primary studies have proposed new language features and used them to re-implement design patterns as a way to show improvements. While secondary studies exist, they mainly focus on measuring the impact of design patterns on software. Objectives: We performed a systematic mapping study to catalogue language features in the literature claiming to improve object-oriented design patterns implementations, as well as how primary studies measure these improvements. Methods: We performed a search in three databases, yielding a total of 874 papers, from which we obtained 34 relevant papers. We extracted and studied data about the language features claiming to improve design patterns implementations, the most often cited design patterns, the measures used to assess the improvements, and the case studies and experiments with which these improvements were studied. Results: Using the results, we catalogue 18 language features claimed in the literature to improve design patterns and categorize them into paradigms. We find that some design patterns are more prevalent than others, such as Observer and Visitor. Measures related to code size, code scattering and understandability are preferred. Case studies are done in-vitro, and experiments are rare. Conclusion: This catalogue is useful to identify trends and create a road map for research on language features to improve object-oriented design patterns. Considering the prevalence of design patterns, improving their implementation and adding language features to better solve their underlying concerns is an efficient way to improve object-oriented programming. We intend in the future to use this as a basis to research specific language feature

关键词： Systematic mapping study Design patterns Object-oriented programming Language features Software measures programming paradigms

来源：评论

学校读者我要写书评

暂无评论

Unified approach to environments in a process functional language

引用

COMPUTING AND INFORMATICS 2003年第5期22卷 439-456页

作者： Kollár, J Tech Univ Kosice Fac Elect Engn & Informat Dept Comp & Informat Kosice 04120 Slovakia

A process functional paradigm is based on applications of processes and functions instead of assignments. The imperative computation and the functional evaluation are clearly separated in a well-balanced manner, providing the strong feedback about the implementation to a user. In this paper we present the unified approach to explicit and implicit environments in PFL - an experimental process functional language, as a uniform basis for approved implementation extensible by additional specification. PFL environmental concept is the generalized implementation substance, which can be found in many programming languages exploiting the large variety of programming paradigms. Environment variables do not occur in expressions, being still visible to a programmer either in PFL textual form or in an equivalent form of control driven data flow graphs. The approach is promising for reasoning about the functional correctness and predicting the behavior of systems.

关键词： programming paradigms implementation principles explicit and implicit environments environmental application control driven dataflow referential transparency side effects

来源：评论

学校读者我要写书评

暂无评论

Towards a formal model of computation for RMAS

引用

Procedia Computer Science 2022年 200卷 865-877页

作者： Massimiliano Pirani Andrea Bonci Sauro Longhi DII Dept. of Information Engineering Marche Polytechnic University via Brecce Bianche 12 Ancona 60131 Italy

RMAS is a multi-agent system architecture and associated model of computation that has been recently proposed as promising framework for autonomic computation and as viable implementation means for industrial agents. RMAS is proposed as an effective tool in the realization of the full-fledged concept of cyber-physical systems of systems, in agreement with new visions of the digital future and prominent standardization efforts like the IEC 61499. Currently, there is the need to establish a solid formalism for the model of computation of RMAS in order to harness and fully express its possibilities. In particular, this model should bridge the disciplines of control and systems engineering and computer science, whilst concerning artificial intelligence. This work proposes a first operational step in this direction. A formalism of the RMAS model of computation is established for the first time, and a complete definition of hierarchical nested levels of RMAS units is proposed. This work constitutes the ground for industry-ready technological instances of the RMAS architecture.

关键词： multi-agent systems automatic programming programming paradigms active databases distributed architectures

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：