词汇 | machine-code |
释义 | machine code noun[ U ] computing specializeduk /məˈʃiːn ˌkəʊd/ us /məˈʃiːn ˌkoʊd/ a set of numbers that gives instructions to a computer机器(代)码,计算机语言 Computer programming & software abandonware ad blocker ad blocking adware analytics clipboard escape character escape sequence F2P facial recognition facial recognition software infected malware programmer setup wizard sideload sideloading sim social game word processor machine code | Business Englishmachine code noun[ C or U ] ITukus(alsomachine language) the basic language used to give instructions to a computer, consisting only of numbers: The program has been written in machine code. Z-80 machine code is fairly easy to write. Examples of machine codemachine code The composition of these functors will give a method of transforming a high-level type-system description into a machinecode analyzer. It has the flavour of machinecode, with combinators playing the role of program addresses and parameterization the role of register transfer. Consequently, the final machinecode will also be more efficient. More generally, we could imagine generating some form of abstract machinecode as programs are parsed. It also leaves several options open for compilation to target machinecode. The verifier is able to prove memory safety of x86 machinecode programs compiled from code that uses algebraic datatypes. The display representation would then be one or more bitmaps augmented by custom-generated machinecode. The abstract machinecode is optimized in compile-time by referring to the result of dataflow analysis with abstract interpretation. Next, we describe a particular completed application of that library, a memory safety verifier for machinecode programs that use algebraic datatypes. The switches are not (usually) conceived of as such but as sequences of ones and zeros, as machinecode, or even as high-level programming code. In particular, we have developed a framework for coding certified program verifiers for x86 machinecode programs. Since no compiled machinecode is involved, unloading such abstract machines is easier than unloading an abstract machine based on compiled code. We cannot improve on this without direct access to machinecode. The generated (high-level) code corresponds closely to machinecode, and should compile into a light-weight subroutine. Finally, the abstract machinecode is translated to binary code for a specific target. See all examples of machine code These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
随便看 |
|
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。