| 词汇 | example_english_machine-code |
| 释义 | Examples of machine codeThese 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. 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. By introducing random changes in the machinecode (mutations) and limiting the supply of raw materials, one would simulate dynamics of selective pressures. In a compiler, dynamic semantics determines the machinecode to be generated. To make programs run fast, many implementations compile the reduction rules into machinecode, even though this may produce a lot of code. The main thing to notice is that the semantics follows precisely a conservative subset of the programmer-level idea of the "real" semantics of x86 machinecode. Then polymorphism will work: at run time, polymorphic variables will be passed from one place to another by machinecode that is oblivious of its actual type. The abstract machine is given an operational semantics using a state transition system, and compilation rules are given for converting a functional program into abstract machinecode. For these regions, a static compiler produces machinecode templates with holes for run-time constant values; the rest of the program is just compiled in the usual way. He then used increasingly more machinecode in an effort to produce magazine games of equal quality to commercial titles. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. The steps of this proof are recorded and attached to the machinecode which is given to the kernel. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Techniques include static program analysis and dynamic program analysis of both source code and machinecode. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. This involves passing instructions from the application software, through the system software, to the hardware which ultimately receives the instruction as machinecode. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. This allowed them to implement a larger game completely in machinecode. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Different micro-architectures typically require different machinecode to hit their maximum power. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. The machinecode can be optimized using the equational form of a theory of computation. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Some implementations employ abstract interpretation to derive type and mode information of predicates at compile time, or compile to real machinecode for high performance. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Code is interpreted or is just-in-time compiled into machinecode for the target architecture. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. A programming language, it used a compiler to automatically convert the language into machinecode. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. This works on any computer program but can take quite some time, especially for someone not used to machinecode. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. For this reason, second generation programming languages provide one abstraction level on top of the machinecode. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. A machinecode instruction set may have all instructions of the same length, or it may have variable-length instructions. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Machinecode is generally stored as bytes in strings. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. On the other hand, the shell may compile interactively typed commands into machinecode before running them. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Compilers sometimes produce assembly code as an intermediate step when translating a high level program into machinecode. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Being a university machine it was patronised by a large number of the student population, who had access to a protected machinecode development environment. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Aimed at smart card applications, the algorithm is extremely simple and compact; it can be implemented in just 29 bytes of 8051 machinecode. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. It can be programmed in machinecode (usually decimal) or assembly. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. It is therefore so construed as to include machinecode, very high level languages and executable graphical representations of systems. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. He also appears capable of speaking binary; giving verbal commands in machinecode that can deactivate electronic devices. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. These are usually removed from the assembled machinecode by the assembler. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Compilers and assemblers are used to convert high-level language and assembler language codes into a compact machinecode for storage in the microcontroller's memory. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. The algorithm typically corresponds to three machinecode instructions. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. However, the program had to be translated into machinecode every time it ran, making the process much slower than running the equivalent machinecode. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Another was the principle of one word of text - one word of machinecode. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. A system of hardware gates set and checked at machinecode level were used to control the degree of synchronous operation. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. This made it incompatible with some programs, particularly games, which use that space for machinecode. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. The code may be processed by an interpreter, or may simply be a sequence of machinecode call instructions. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Compilers are used to translate source code from a programming language into either object code or machinecode. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Memory barriers are typically used when implementing low-level machinecode that operates on memory shared by multiple devices. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. It was designed to make programming programs for solving mathematical problems easier than writing machinecode, and reportedly did so. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. But only one font can be used at a time without machinecode display list interrupts to change the font midway down the screen. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. This distinction between explicit and implicit operands is important in machinecode generators, especially in the register allocation and live range tracking parts. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. It is also possible to skip the generation of machinecode by actually implementing the virtual machine in machinecode. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. But soon, magazines were printing long lists of checksummed hexadecimal digits with machinecode games or tools. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. The trace is then optimized and compiled to machinecode (trace). From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. The computer on which the cross assembler is run must have some means of transporting the resulting machinecode to the target system. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. The source code is often transformed by a compiler program into low-level machinecode understood by the computer. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Bytecode is not the machinecode for any particular computer, and may be portable among computer architectures. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Symbolic languages, assemblers, and compilers were developed for programmers to translate symbolic program-code into machinecode that previously would have been hand-encoded. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. The middle end is usually designed to perform optimizations on a form other than the source code or machinecode. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. The kernel can then rapidly validate the proof, allowing it to thereafter run the machinecode without any additional checks. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. A theorem prover or certifying compiler is used to show that the machinecode satisfies this policy. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. This was the normal machinecode means of copying a constant of up to five digits. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. When a piece of computer hardware can interpret a programming language directly, that language is called "machinecode". From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. This data hazard can be detected quite easily when the program's machinecode is written by the compiler. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. The instructions are expressed in different media including natural language, machinecode, computer simulations, and static images. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. For programmers, the most familiar form of encoding is the compilation of a programming language into machinecode or byte-code. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. The unit processed by machinecode instructions is called a word (as of 2011, typically 32 or 64 bits). From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Machinecode compilers which generate directly executable, platform-specific machinecode, are an exception. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Executable statements are eventually translated into machinecode to cause run-time actions, while declaration and compiler directive statements affect compilers actions. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Relocating machinecode may involve re-targeting of absolute jumps, loads and stores. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. That being said, the parameters for many of these commands were cryptic, and essentially little better than machinecode. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. This machinecode has to be very short as there are not many clock cycles available during each horizontal blank. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Programs written in machinecode could be input to the system from the console. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Programs were generally written to always expect to find their machinecode at the same memory location every time. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. This type of encoding was created by hackers to hide working machinecode inside what appears to be text. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. The graphical code is translated into executable machinecode by interpreting the syntax and by compilation. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. This is achieved by pre-loading machinecode from memory into a "prefetch input queue". From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. All programming was done in machinecode (assemblers and compilers were never developed). From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Even after full-featured assemblers became readily available, a machinecode monitor was indispensable for debugging programs. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. It also supported machinecode (both inline and subroutine calls). From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. With a greater number of registers, instructions and operands, the machinecode format was expanded. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. It is unacceptable for the only uses of source language input to be editing, viewing and translation to machinecode. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. This is most effectively done as a machinecode optimization, when all the code is present. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. The court further rejected the argument that the machinecode fell under the merger doctrine, holding that the programs were a form of expression. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. 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条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。