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

THE PROGRAMMERS APPRENTICE - A SESSION WITH KBEMACS

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1985年第11期11卷 1296-1320页

作者： WATERS, RC M.I.T. Artificial Intelligence Laboratory

The long-term objective of the Programmer's Apprentice project is to develop a theory of programming and to automate the programming process. Current research is aimed toward the intermediate objective of developing an intelligent computer assistant for programmers, called the Programmer's Apprentice (PA). The Knowledge-Based Editor in Emacs (KBEmacs) is the current demonstration system implemented as part of the PA project. The primary benefit of KBEmacs is that it makes possible the rapid construction of a reliable program by combining algorithmic fragments stored in a library. A scenario showing the construction of a 58-line Ada program through the use of 6 simple KBEmacs commands is presented. KBEmacs is capable of operating on both Ada and LISP programs of realistic size and complexity. KBEmacs is not fast or robust enough to be considered a true prototype, but these problems could be overcome if the system were to be reimplemented.

关键词： Programmers Apprentice Computer Aided Design Program Editing programming environments Reusable Software Components

来源：评论

学校读者我要写书评

暂无评论

An interactive environment for beginning Java programmers

引用

SCIENCE OF COMPUTER programming 2004年第1期53卷 3-24页

作者： Goldman, KJ Washington Univ Dept Comp Sci & Engn St Louis MO 63130 USA

Building upon years of evolution in object-oriented programming language design, Java has emerged as the language of choice among many educators for teaching introductory computer science. A clean, type-safe language, Java provides a garbage collected heap and a comprehensive exception-handling mechanism. However, in spite of this support, many students in introductory computer science courses still find programming to be an overwhelming source of frustration. Linguistic concerns and programming mechanics demand so much attention that deeper concepts are often postponed for later courses, leaving students in introductory courses with the mistaken impression that computer science is a shallow discipline, concerned only with transcribing ideas into code, and not with the ideas themselves. JPie is a tightly integrated programming environment for live software construction in Java. JPie treats programming as an application in its own right, providing a visual representation of class definitions and supporting direct manipulation of graphical representations of programming abstractions and constructs. Exploiting Java's reflection mechanism, JPie supports the notion of a dynamic class that can be modified while the program is running, thereby eliminating the edit-compile-test cycle. Following years of experience using Java as the vehicle for teaching introductory computer science, we have designed JPie to provide a more natural and fluid software development process that both raises the level of abstraction and eliminates many of the common pitfalls that beginning Java programmers face. This paper studies JPie from an educational perspective. We systematically review key programming abstractions and explain how JPie supports them in ways that keep beginning programmers focused on important ideas. Our experience using JPie in an introductory computer science survey course for non-majors is briefly discussed. (C) 2004 Elsevier B.V. All rights reserved.

关键词： experience computer science programming level of abstraction Computer personnel Graphic methods Java programming language programming environments Language Introductory Courses

来源：评论

学校读者我要写书评

暂无评论

Enabling Type Checking on Columns in Data Frame Libraries by Abstract Interpretation

引用

IEEE ACCESS 2022年 10卷 14418-14428页

作者： Zhuang, Yungyu Lu, Ming-Yang Natl Cent Univ Dept Comp Sci & Informat Engn Taoyuan 32001 Taiwan

Data frames are a tabular data structure widely used in transforming data to an appropriate form in data analysis, especially in data wrangling. However, when data frames are implemented with libraries rather than supported at the language level, it is hard to find out errors due to the limitation of type checking on columns. Data scientists may encounter errors due to missing column labels or inconsistent types, especially when they reuse code snippets for new data. These errors are usually left to runtime, and it is sometimes difficult to find out where the problems are. To address this issue, we propose using abstract interpretation to perform type checking on data frame columns. We defined the type for data frames based on column labels and developed semantics to verify the typing in general operations. A static checker can be implemented based on the semantics to help programmers quickly fix errors without executing the code. To show the feasibility, we implemented a proof-of-concept for the pandas library as an example, PDChecker, to discuss the limitation and usage. It is then used to compare the functionalities with existing solutions. The results show our approach can fulfill the function of type checking for data frames. Supporting more data frame operations is included in our future work.

关键词： Libraries Codes programming Semantics Runtime Data analysis Python Data frames type checking source code analysis static program analysis data wrangling computer languages programming programming environments software tools

来源：评论

学校读者我要写书评

暂无评论

HIGH-SPEED PACKET PROCESSING USING RECONFIGURABLE COMPUTING

引用

IEEE MICRO 2014年第1期34卷 8-18页

作者： Brebner, Gordon Jiang, Weirong Xilinx Labs San Jose CA 95124 USA

THIS ARTICLE PRESENTS A NEW TOOL CHAIN THAT MAPS A DOMAIN-SPECIFIC PACKET-PROCESSING LANGUAGE CALLED PX TO HIGH-PERFORMANCE RECONFIGURABLE-COMPUTING ARCHITECTURES BASED ON FPGA TECHNOLOGY. PX IS A DECLARATIVE LANGUAGE WITH OBJECT-ORIENTED SEMANTICS. A CUSTOMIZED COMPUTING ARCHITECTURE IS GENERATED TO MATCH THE EXACT REQUIREMENTS EXPRESSED IN THE PX DESCRIPTION. THIS ARCHITECTURE IS DYNAMICALLY PROGRAMMABLE VIA CUSTOM FIRMWARE UPDATES WHEN THE PACKET-PROCESSING SYSTEM IS IN OPERATION.

关键词： Computer architecture Computer languages Data communication data communications declarative language domain-specific architectures Field programmable gate arrays OpenFlow packet processing Packet switching Program processors programming environments PX Reconfigurable architectures reconfigurable hardware

来源：评论

学校读者我要写书评

暂无评论

BUILDING YOUR OWN SOFTWARE-DEVELOPMENT ENVIRONMENT

引用

SOFTWARE ENGINEERING JOURNAL 1991年第5期6卷 317-331页

作者： SUGIYAMA, Y HOROWITZ, E UNIV SO CALIF DEPT COMP SCILOS ANGELESCA 90089

The full power of process programming can only be achieved by a system in which we can dynamically design and execute the software process model, as well as the environment which executes the software process model. We are developing a new process modelling strategy (meta-model) called the object process model and an object process modelling environment (meta-environment) OPM, which allows us to design and build both software process models and software development environments that execute the software process models. In the object process model, software process models are not static entities executed by the environment. An executing software process provides a working environment in which software designers can work in order to accomplish a wide variety of software development tasks. In OPM, software process models are described in an object-oriented process programming language called Galois and are executed by the Galois runtime system. OPM itself is written in Galois, and therefore it is considered as a software process running on top of the Galois runtime system. Galois is syntactically a superset of C + + but has four major innovations beyond conventional programming languages: meta-classes, derivation, typed functions and rule-based features. This paper presents the object process model and shows how software process models and software development environments can be designed in the process programming language Galois.

关键词： process modelling strategy software development environments programming environments object process modelling environment object process model Galois software process models meta-environment Object-oriented programming OPM software designers High level languages C++ object-oriented programming executing software process programming support Galois runtime system object-oriented process programming language C language

来源：评论

学校读者我要写书评

暂无评论

Reconsidering the Stored-Program Concept

引用

IEEE ANNALS OF THE HISTORY OF COMPUTING 2014年第1期36卷 4-17页

作者： Haigh, Thomas Priestley, Mark Rope, Crispin Univ Wisconsin Milwaukee Milwaukee WI 53201 USA Univ Westminster London W1R 8AL England

The first in a three-part series appearing in IEEE Annals, this article gives a historical explanation of the endemic confusion surrounding the stored-program concept. After a detailed investigation of the history of this idea, the authors propose three more precisely defined alternatives to capture specific aspects of the new approach to computing introduced in 1945 by John von Neumann and his collaborators.

关键词： EDVAC EDVAC hardware paradigm ENIAC History history of computing John von Neumann Memory management modern code paradigm programming programming environments Software tools stored program stored program concept von Neumann architectural paradigm

来源：评论

学校读者我要写书评

暂无评论

TOWARDS THE FORMAL SPECIFICATION OF A SIMPLE programming SUPPORT ENVIRONMENT

引用

SOFTWARE ENGINEERING JOURNAL 1987年第4期2卷 86-94页

作者： SUFRIN, B WOODCOCK, J UNIV OXFORD COMP LABPROGRAMMING RES GRPOXFORD OX1 3QDENGLAND

In order to make precise some of the desirable features of a programming support environment, and in order to encourage others to do likewise, this paper presents the formal specification of a small module or package ... 详细信息

关键词： formal specification programming support programming environments Ada programming support environment programming theory Modula programming and algorithm theory module package manager

来源：评论

学校读者我要写书评

暂无评论

A document manipulation system based on natural semantics

引用

MATHEMATICAL AND COMPUTER MODELLING 1997年第4期25卷 37-56页

作者： Arnon, DS Attali, I FranchiZannettacci, P XEROX CORP PALO ALTO RES CTRPALO ALTOCA 94304 INRIA SOPHIA ANTIPOLIS F-06902 SOPHIA ANTIPOLISFRANCE UNIV NICE CNRS 13SF-06903 SOPHIA ANTIPOLISFRANCE

This paper reports on an application of programming environments generation to structured document manipulation. We use the Centaur system as a formal tool to model and implement logical and physical document structure, logical structure editing, layout processing, format conversion, and document queries, for a sample class of documents: scientific articles containing figures. We support two particular concrete external syntaxes for logical structure: LAT(E)X, and Tioga (Tioga is a wysiwyg editor in the Cedar programming environment). From the formal specifications of the logical and physical structures of the article document class, and a formal specification of varied tools such as layout processing and document queries, the Centaur system automatically generates a document manipulation system including a structured editor for articles, a;format converter between LAT(E)X and Tioga, a previewer displaying articles in their layout form, as well as management tools over a set of articles.

关键词： structured documents editing formatting manipulation programming environments formal specifications

来源：评论

学校读者我要写书评

暂无评论

HEDRA: Heterogeneous distributed real-time architecture

引用

CONTROL ENGINEERING PRACTICE 1996年第2期4卷 187-193页

作者： Thielemans, H Demeestere, L VanBrussel, H Department of Mechanical Engineering Div. PMA Katholieke Universiteit Leuven Celestijnenlaan 300B B-3001 Heverlee Belgium

HEDRA, an ESPRIT project (nr. 6768), aims to develop a heterogeneous distributed real-time architecture for robot and machine control. This paper describes an open and flexible programming system, as a part of this architecture, that is based on an existing system called Virtuoso. The programming system is an evolution of Virtuoso towards the architecture at which the project is aiming. The work concentrates on the achievement of guaranteed real-time behaviour, minimum interrupt latency and transparency of interprocessor data communication.

关键词： distributed control real-time systems parallel processors multi-processor systems programming environments

来源：评论

学校读者我要写书评

暂无评论

Academic framework for teaching robot programming at university

引用

REVISTA IBEROAMERICANA DE AUTOMATICA E INFORMATICA INDUSTRIAL 2018年第4期15卷 404-415页

作者： Canas, J. M. Martin, A. Perdices, E. Rivas, F. Calvo, R. Univ Rey Juan Carlos Robot Lab Madrid 28943 Spain IMDEA Networks Inst Ave Mar Mediterraneo 22 Leganes 28918 Spain

This paper presents a framework for teaching robotics at engineering university degrees in a practical way. It is open source, multiplatform (Linux, Windows, MacOS) and emphasizes the programming of the robot intelligence. It consists of a collection of exercises of several types, which are similar to the new robotic applications (autonomous vehicles, drones, vacuum cleaners...). It uses the Gazebo simulator and the Python programming language. For each exercise an academic application has been created which performs all the auxiliary tasks like graphical interface, connection to the sensors and actuators, timing of the code, etc. and hosts the student's code, who can focus on the perception and control algorithms. Each academic application combines an infrastructure part, which it is provided and remains hidden, and the student part, who simply fills a form file with the robot logic for such exercise. It has been successfully used in several subjects at engineering degree, master and robotics introductory courses.

关键词： Robot programming Teaching Software tools programming environments

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：