BIOS接口分析与探讨

所谓BIOS即基本输入输出系统，它包括：健盘输入管理、屏幕和打印机输出管理、磁盘操作管理等功能。没有BIOS，对IBM及其兼容机的应用和开发将是不可想象的。BIOS是一般8086／8088机器语言代码，调用BIOS是利用中断调用，只有汇编语言才能直接调用。由于操作系统提供了许多内部命令和外部命令，供用户对系统的调用，所以我们平常很少关心BIOS。在高级语言里，是以语句形式调用BIOS的，由于任何一种高级语言都只能使用一小部份BIOS的功能，因此，了解和学会应用BIOS是大有裨益的。本文介绍的是汇编语言和BIOS的接口分析，并介绍高级语言同汇编语言的接口。     

TURBO C语言与汇编语言的接口及应用

TURBO C语言在编程中调用汇编语言以提高程序质量。本文提出了TURBO C和汇编语言的接口原则和方法，并给出实用的接口实例。     

汇编语言如何调用高级语言

介绍了汇编语言调用高级语语言的规则和方法。     

IBM—PC高级语言图形库的开发

本文描述在IBM-PC机上由FORTRAN语言调用汇编语言子程序的原理,介绍用汇编语言开发FORTRAN语言图形库的方法,并提供了有关的程序实例,为在IBM-PC机上运行高级语言提供有效的作图方法和途径。     

单片机C51与汇编语言混合调用的实现

在编写单片机程序时,汇编语言具有速度快的优点,而C51则具有高级语言的优势。文章介绍了C51函数的内部转换规则和C51函数的参数传递规则。文章通过实例详细给出了实现C51与汇编语言混合调用的方法,包括C51内嵌汇编语言、C51调用汇编语言以及汇编语言调用C51。     

Turbo BASIC与汇编语言的接口方法和应用实例

结构化的Turbo BASIC提供了多种与汇编语言的接口方法，本文全面介绍了其中常用的几种方法，并着重指出其与解释BASIC中接口方法的不同之处，最后给出一个Turbo BASIC调用8088汇编语言程序的应用实例，说明该语言解决同类问题具有的简单方例和可靠等优点。     

混合语言编程及其接口

本文介绍了Pascal、Basic等高级语言编程中如何调用汇编语言子程序的具体方法。     

一种进行屏幕图形打印的C函数原理与实现

C语言具有很强的功能,但没有支持图形打印的库函数。本文阐述如何使用汇编语言编制可被高级C语言调用的函数的原理和方法,以实现屏幕任一区域内的图形打印。所述原理和方法可推广应用于其它高级语言。     

汇编语言调用C语言子程序的简化格式

本文给出一种汇编语言调用Ｃ语言子程序的简化格式。这是在一般文献所给出的格式基础上，通过上机调试得出。它既满足两处语言的接口要求，又符合汇编语言程序员的编程习惯。     

基于ARM的汇编语言与C语言混合编程的方法研究

针对ARM的汇编语言与C语言混合编程的编程问题,具体研究了C语言中内嵌汇编指令、汇编语言和C语言程序变量的相互调用、汇编语言和C语言程序的相互调用和C编译器的特定关键字问题,并给出了实例。     

汇编程序移植的四级映射法

文章介绍一种把MCS-51汇编语言软件转换成Keil C51语言软件的方法,通过四级映射把原汇编语言系统的数据、模块、函数及语句转换成对应高级语言实现。实际应用表明,用四级映射法转换后的C51软件结构清晰、代码可重用性好,可以较好地解决遗留汇编程序到高级语言C51的转换问题。     

基于分层思想的变量类型提取方法

提出了一种基于分层思想的，并且无需构造具体语法树的变量类型提取方法。目的是为高级语言的类型信息的提取提供一般方法，从而降低类型系统实现的难度以及产生程序错误的可能性，并且简化高级语言的中间表示，便于后端的代码生成和优化。     

用汇编语言实现不同数制的显示问题

在使用汇编语言编程时,常常需要将数据按不同的数制形式显示出来.不同于其它高级语言的数据输出格式命令,汇编语言需要采用字符调用的方式逐位显示数据,这无疑提高了数据显示的复杂程度.对不同数制在汇编环境下的转换以及把数据按照二进制、十进制和十六进制等形式显示出来的问题进行了探讨.     

教学软件 VACAI 及其生成工具的设计与实现

本文介绍了在ＶＡＸ／ＶＭＳ环境下开发的ＶＡＸ宏汇编语言辅助教学软件ＶＡＣＡＩ的数据组织、设计思想和实现方法。叙述了能够快速有效制作课件内容的工具。     

一种全CTC的数据采集接口

针对海洋大面积测温航空遥测技术,研制了一块数据采集与MDR-Z80计算机的接口.其中设计了电原理图和相应的软件.该接口电路由于全采用Z80-CTC芯片,对采集时间、计算延时等参数极为灵活,大部份自动采集均靠硬件实现,因而使CPU占用时间极少,这对于一般的芯片组成多通道的采集极为有用.软件用高级语言和汇编语言结合编程,使采集与输出易于实现,同时也是一种实用的测试接口.     

新型Action泛型机制在PAR平台中的实现和应用研究

在软件开发过程中,开发语言中的泛型机制能够显著提高软件开发的效率和软件可靠性,但现有高级语言中一般只有类型和子程序(如过程、函数和方法等)作参数,限制了泛型机制的应用.该文对新型泛型机制进行深入探索,着重研究以action作为参数的泛型机制.在Apla→Java程序自动生成系统中实现了将Web服务作为Apla语言中的action参数的泛型机制,完善了Apla语言中的泛型安全的约束机制,成功地将新型泛型机制应用于PAR平台中.     

Assembly language and assembler for deep learning accelerators

Deep learning accelerators(DLAs) have been proved to be efficient computational devices for processing deep learning algorithms. Various DLA architectures are proposed and applied to different applications and tasks. However, for most DLAs, their programming interfaces are either difficult to use or not efficient enough. Most DLAs require programmers to directly write instructions, which is time-consuming and error-prone. Another prevailing programming interface for DLAs is high-performance libraries and deep learning frameworks, which are easy to be used and very friendly to users, but their high abstraction level limits their control capacity over the hardware resources thus compromises the efficiency of the accelerator. A design of the programming interface is for DLAs. First various existing DLAs and their programming methods are analyzed and a methodology for designing programming interface for DLAs is proposed, which is a high-level assembly language(called DLA-AL), assembler and runtime for DLAs. DLA-AL is composed of a low-level assembly language and a set of high-level blocks. It allows experienced experts to fully exploit the potential of DLAs and achieve near-optimal performance. Meanwhile, by using DLA-AL, end-users who have little knowledge of the hardware are able to develop deep learning algorithms on DLAs spending minimal programming efforts.     

AutoCAD系统在清绘地质图方面的开发与应用

应用AutoCAD系统在微机上开发出了清绘地质图件的CAD系统.该系统由图形输入、图形数据处理、图形编辑和图形输出四个部分组成.其中.图形输入和图形数据处理由高级语言编制而成.图形编辑和图形输出由AutoCAD完成.具有完整的高级语言与AutoCAD的接口程序.该系统的突出特点是功能齐全、精度高、速度快、使用方便.清绘出来的图件.线条平滑、流畅.精度高.能够反映油田地层,沉积、构造、储层、流体和油藏等各方面的复杂地质问题,符合地质制图规范.反映地质人员思想.能满足生产和科研的需要.     

Verification of Concurrent Assembly Programs with a Petri Net Based Safety Policy

Concurrent programs written in a machine level language are being used in many areas but verifi- cation of such programs brings new challenges to the programming language community. Most of the stud- ies in the literature on verifying the safety properties of concurrent programs are for high-level languages, specifications, or calculi. Therefore, more studies are needed on concurrency verification for machine level language programs. This paper describes a framework of a Petri net based safety policy for the verification of concurrent assembly programs, to exploit the capability of Petri nets in concurrency modeling. The con- currency safety properties can be considered separately using the net structure and by mixing Hoare logic and computational tree logic. Therefore, more useful higher-level safety properties can be specified and verified.