Formalizing the Expertise of the Assembly Language Programmer by Duffey, Roger DuWayne II

“…The research is a first step towards formalizing the expertise of the assembly language programmer. The ultimate goal is to formalize code generation and implementation techniques in the same way that parsing and code generation techniques have been formalized. …”
Get full text

Design and implementation of an IBM assembly language assembler by Ong, Hong Kien.

Subjects: Get full text

Interactive assembly language editor for the parallel processor of the TMS320C8x by Sadowski, Mark R. (Mark Richard)

Get full text

Software tools for experimenting with cellular automata by Choi, Inwhan

Subjects: Get full text

An Introductory Low-level Programming Course for Students with a Python Background by Quaratiello, Grace

“…The study of C and assembly language can provide valuable insight about the innate nature of computing systems and higher level programming languages. …”
Get full text

A Portable Compiler for the Language C by Snyder, Alan

“…The compiler has been designed to be able to be capable of producing assembly-language code for most register-oriented machines with only minor recoding.…”
Get full text

Programming Semantics for Multiprogrammed Computations by Dennis, Jack B., Van Jhorn, Earl C.

“…The language sophistication contemplated is midway between an assembly language and an advanced algebraic language.…”
Get full text

BRAND X Manual by Szolovits, Peter, Martin, William A.

“…BRAND X is intended as an "assembly language" for representation languages, attempting to provide facilities generally found useful in the simplest manner, without any strong commitment to specific representational conventions.…”
Get full text

An Enciphering Module for Multics by Benedict, G. Gordon

“…A special hand-coded (assembly language) version of Lucifer is described whose goal is to attain performance as close as possible to that of the hardward device. …”
Get full text

Operational Semantics of a Data Flow Language by Brock, Jarvis D.

“…Data flow graphs are specified by use of a graph assembly language, and the semantics of these graphs are derived by use of Kahn's fixpoint theory of communciating processes.…”
Get full text

Type system for resource bounds with type-preserving compilation by Wang, Peng,Ph. D.Massachusetts Institute of Technology.

Get full text

Multipass communication systems for tiled processor architectures by Shnidman, Nathan R. (Nathan Robert)

Get full text

Out-of-kilter flow (OKF) : user's guide by Levin, Amos, Ford, L. R.

Get full text

A Concurrent Smalltalk Compiler for the Message-Driven Processor by Horwat, Waldemar

“…Optimist compiles Concurrent Smalltalk to the assembly language of the Message-Driven Processor (MDP). …”
Get full text

Constructive synthesis of optimized cryptographic primitives by Sloan, Robert M., Jr

Get full text

The bedrock structured programming system by Chlipala, A

“…It is based on a cross-platform core combining characteristics of assembly languages and compiler intermediate languages. …”
Get full text

Compilation using correct-by-construction program synthesis by Pit-Claudel, Clément

Get full text

The bedrock structured programming system by Chlipala, Adam

“…It is based on a cross-platform core combining characteristics of assembly languages and compiler intermediate languages. …”
Get full text

A general-purpose pulse sequencer for quantum computing by Phạm, Paul Tân Thế

Get full text

The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier by Chlipala, Adam

“…It is based on a cross-platform core combining characteristics of assembly languages and compiler intermediate languages. …”
Get full text
Get full text