基于面向对象技术的编译原理课程建设

面向对象编程语言和技术日益流行,已经成为最重要的编程框架,这一趋势对编译原理课程建设和教学改革实践提出新的挑战。文章根据最新研究趋势和教学需求,对编译原理课程改革和建设进行探讨,以中国科学技术大学软件学院为例,阐述在高等院校计算机相关专业中进行教学改革的实践,为课程改革建设提供新思路。     

面向工程能力培养的编译原理课程教学改革

针对编译原理课程教学中存在的理论抽象、实践内容薄弱、评价方式单一等问题,分析学生工程能力培养的重要性,提出面向工程能力培养的教学模式,阐述了课程目标制定原则、教学内容优化策略、课程评估体系。实践表明,该教学方法有效提升了学生对编译系统分析、设计的能力。     

编译实习课程的创新教学

编译实习是深入学习和理解编译原理和技术的重要手段,也是编译课程的重要组成部分。针对当前计算平台和系统的迅速演进和发展,北京大学在编译实习的教学过程中进行创新尝试,让学生面向包括智能手机等在内的新型计算平台开发一个完整的小型编译器。文章介绍编译实习课程的创新思路,对北京大学近3年来的实践情况进行总结分析并提出展望。     

“编译原理”课程建设研究

“编译原理”课程是计算机专业必修的一门重要的专业基础课程,也是计算机系统软件中非常重要的一个分支,任何计算机语言的实现都离不开编译技术,因而,作为计算机专业的学生,学习和掌握编译程序的基本构造原理和实现技术,对今后进一步的学习、研究和工作奠定坚实的专业理论基础是十分必要的。吉林大学计算机科学与技术学院软件教研室多年来一直从事计算机本科生“编译原理”课程的教学与科研工作,积累了丰富的教学、科研经验,并取得了多项与编译课程相关的教学、科研成果,“编译原理”课程先后被评为吉林大学精品课程、吉林省精品课程和“教…     

基于Clang/LLVM构建编译实践全局观

针对目前编译实验教学过程中内容安排不够合理、与实际应用契合不够紧密的问题,提出基于Clang/LLVM面向业界实际的实验教学模式,通过分析目前课程现状及目标,阐述实验方案具体实施方法,最后通过对实验结果的教学反馈,说明该实验设计更好地平衡了基础性、实践性和综合性,使得学生可以通过实际编译框架,更好地理解编译机制,掌握利用编译解决实际问题的能力,构建起编译实践的全局观。     

基于Clang+LLVM架构的编译原理课程教学探索

根据工程教育认证标准的要求,分析编译原理教学现状,提出一种基于开源编译器的课程教学模式,介绍面向工程教育认证的编译原理课程体系建设过程,并给出相应的面向工程教育认证的评价机制。     

基于引进MOOC的编译原理全英混合式教学改革

通过引进国外知名高校的编译原理MOOC课程,探讨MOOC和翻转课堂相结合的混合式教学在编译原理全英教学中的应用,提出编译原理全英混合式教学的实施方案,对课程的实施方案、翻转课堂的组织方式和授课内容进行具体阐述,说明教学改革结果并进行分析。     

《编译原理》课程教学改革探索

编译原理作为计算机专业重要的专业必修课程,对高校软件人才的培养具有重要意义。文中针对编译原理课程目前在教学上存在的问题,提出了针对一般本科院校学生在该课程教学方法改革方面的一些思路和措施,如合理选择教学内容、类比教学、启发式教学、实践教学、培养师资、校企合作等。实践表明,这些教学策略的实施,对编译原理课程的教学工作将起到积极的推动作用。     

面向体系结构的软件优化课堂与实践教学

多核/众核处理器的发展与应用为计算机体系结构课程教学带来新的挑战,如何在课堂教学和实践环节中引入面向体系结构的软件优化内容,是近年计算机体系结构课程教学改革的一个重要议题。文章首先探讨引入这部分内容的必要性和可行性,然后分析适合计算机体系结构课程的教学和实践内容,最后介绍国防科学技术大学计算机学院相关教学活动和经验。     

面向软件工程专业工程化改造“编译原理”课程

本文论述了计算机学科"编译原理"课程在软件工程专业进行工程化改造的方法和必要性,创建了"编译原理"课程工程化实践教学体系,提出了知识的先期注入、工程化编译理论以及阶梯状迭代工程实践项目的教学方法,从根本上解决了该课程教、学、实践中存在的难讲授、难理解和难开发的"三难"问题,为其他计算机学科核心课程面向软件工程专业的工程化改造提供了一定的理论依据。     

防止缓冲区溢出攻击的增强编译技术分析

通过增强传统的编译处理技术来防止缓冲区溢出攻击是一种常用有效的方法。本文比较了几个典型的应用这一技术来防卫缓冲区溢出攻击的常用工具的原理与性能,比较的结果可以指导软件开发者根据自己的安全需求来选择合适的工具来防止缓冲区溢出攻击,以达到提高软件安全性能的目的,也有助于正在研究缓冲区溢出攻击防范技术的工作者提出更加有效而安全的防止缓冲区溢出攻击工具。     

DSP程序异常的高效检测方法

由于嵌入式系统日趋复杂,程序的复杂程度也与日俱增,这导致程序异常跳转、数组越界、堆栈溢出等异常现象时有发生,但编译器以及专业的静态代码扫描工具无法发现此类问题。程序运行时一旦发生此类异常,往往会导致系统死机等严重故障,系统死机后,留给开发人员的有用信息一般很少,常常需要花很多时间及精力才能查出导致程序异常的具体原因,因此,开发一种高效的程序异常检测手段就显得十分必要。利用DSP软件编译器的插桩功能,可完整记录程序异常前的运行轨迹数据,通过分析这些轨迹数据可重建程序异常前的运行轨迹,利用这些信息,开发人员可高效地查出程序异常的具体原因。     

有穷自动机的多媒体教学系统设计

利用多媒体技术的优势,采用多媒体课件制作工具Flash 8.0软件,将图形、动画和影视等多种媒体的素材溶于编译原理课程的教学课件中,形成富有特色的多媒体教学课件;学生通过系统能够进行自主学习,提高对形式语义、有穷自动机等抽象内容的学习兴趣、增强课堂教学效果。设计了该有穷自动机多媒体教学系统,既可在课堂上演示,也可在课后由学生自主观摩,以增强对编译原理课程的学习效果。     

A method for design and performance modeling of client/server systems

Designing complex distributed client/server applications that meet performance requirements may prove extremely difficult in practice if software developers are not willing or do not have the time to help software performance analysts. The paper advocates the need to integrate both design and performance modeling activities so that one can help the other. We present a method developed and used by the authors in the design of a fairly large and complex client/server application. The method is based on a software performance engineering language developed by one of the authors. Use cases were developed and mapped to a performance modeling specification using the language. A compiler for the language generates an analytic performance model for the system. Service demand parameters at servers, storage boxes, and networks are derived by the compiler from the system specification. A detailed model of DBMS query optimizers allows the compiler to estimate the number of I/Os and CPU time for SQL statements. The paper concludes with some results of the application that prompted the development of the method and language.     

Extending EASE with new ASN.1 encoding rules

EASE (R. Lai, A. Lo, EASE: a software environment for automatic implementation of application protocol, Software—Practice and Experience, 26(1) (1996) 83–103) is a software tool that integrates Estelle and ASN.1 (Abstract Syntax Notation One) specifications to produce an integrated specification for application layer protocol, from which an automatic implementation can be generated. EASE, though a new tool, is already outdated because of the recent changes, including new syntaxes, and additions of encoding rules, to the 1994 ASN.1 standard. Building a complete compiler that supports the full ASN.1:94 standard is a huge task; many researchers and developers only implement a subset of the standard that meets their requirements, while others use tools for building certain stages of such a compiler. For EASE to keep in line with the 1994 standard, it is a big task and requires a major rewrite; the only two encoding rules that could be added to EASE without implementing the full 1994 ASN.1 syntaxes are the canonical encoding rules (CER) and the distinguished encoding rules (DER). This paper describes how EASE has been extended to include these new rules, and aims to provide researchers and developers with the lessons learned from this work, and with some pointers to developing an ASN.1 compiler that complies with the 1994 standard.     

The Way We Program

Code lacking comments, meaningful identifiers, and correct indentation is a nightmare. By studying 30 programs of various sizes to measure what percentage of their source code consisted of comments, meaningful identifiers, and whitespace, the author found that more than half of the code served developers rather than the compiler. The relative composition of the three elements was equally distributed and didn't appear to vary with project size. This finding substantiates the view of programming as an art form and the importance of source code in the software development process. Therefore we need to focus management's attention on code and its developers.     

可信编译理论及其核心实现技术:研究综述

编译器是重要的系统软件之一,高级语言编写的软件都必须经过编译器的编译才能成为可执行程序。编译器的可信性对于整个计算机系统而言具有非常关键的意义,如果编译器不可信,则很难保证系统所运行软件的可信性。可信编译是指编译器在保证编译正确的同时提供相应的机制保证编译对象的可信性,对可信编译理论和技术的研究具有重要理论意义和实用前景。阐述了可信编译器的概念,介绍了编译过程正确性的形式化定义,对可信编译的主要研究进行了概括。在全面分析可信编译研究现状的基础上,从编译器自身可信性和确保编译对象可信性两个方面,对可信编译器设计和实现的相关理论和方法进行了分类和总结。最后,讨论了可信编译有待解决的问题和未来的研究方向。     

研究生编译课程教学探讨

随着计算机技术的不断发展,尤其是计算机体系结构的发展,编译器面临极大的挑战。这要求我们进一步加强和发展编译教学,在研究生阶段开设编译高阶课程。本文介绍国防科学技术大学研究生高级编译技术课程,包括课程内容、安排和实践,给出了国际其他大学开设研究生阶段编译课程的情况介绍。     

Righting software

What tools do we use to develop and debug software? Most of us rely on a full-screen editor to write code, a compiler to translate it, a source-level debugger to correct it, and a source-code control system to archive and share it. These tools originated in the 1970s, when the change from batch to interactive programming stimulated the development of innovative languages, tools, environments, and other utilities we take for granted. Microsoft Research has developed two generations of tools, some of which Microsoft developers already use to find and correct bugs. These correctness tools can improve software development by systematically detecting programming errors.     

编译技术可扩展式课程设计改革研究

本文探讨了我院编译技术可扩展式课程设计改革中的编译技术与工程的关系、可扩展式课程设计改革指导思想与内容、实施方案和评价体系。