FunTAL: Reasonably Mixing a Functional Language with Assembly

We present FunTAL, the first multi-language system to formalize safe interoperability between a high-level functional language and low-level assembly code while supporting compositional reasoning about the mix. A central challenge in developing such a multi-language is bridging the gap between assembly, which is staged into jumps to continuations, and high-level code, where subterms return a result. We present a compositional stack-based typed assembly language that supports components, comprised of one or more basic blocks, that may be embedded in high-level contexts. We also present a logical relation for FunTAL that supports reasoning about equivalence of high-level components and their assembly replacements, mixed-language programs with callbacks between languages, and assembly components comprised of different numbers of basic blocks.Comment: 15 pages; implementation at https://dbp.io/artifacts/funtal/; published in PLDI '17, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, June 18 - 23, 2017, Barcelona, Spai

Software module for the calculation of RVR in Avra Mk II

This document describes the software module used for the computation of Runway Visual Range (RVR) in the AVRA MkII. The algorithm used is the Newton-Raphson iteration procedure. The software is written in 8086 assembly language. The numeric processor 8087 is invoked to do accurate floating point calculations. The look up tables for extinction values is thus completely avoided. The module can be called from another assembly language module. With some modifications it can also be called from a high level language

Assembly processor program converts symbolic programming language to machine language

Assembly processor program converts symbolic programming language to machine language. This program translates symbolic codes into computer understandable instructions, assigns locations in storage for successive instructions, and computer locations from symbolic addresses

High-speed assembly language (80386/80387) programming for laser spectra scan control and data acquisition providing improved resolution water vapor spectroscopy

An assembly language program using the Intel 80386 CPU and 80387 math co-processor chips was written to increase the speed of data gathering and processing, and provide control of a scanning CW ring dye laser system. This laser system is used in high resolution (better than 0.001 cm-1) water vapor spectroscopy experiments. Laser beam power is sensed at the input and output of white cells and the output of a Fabry-Perot. The assembly language subroutine is called from Basic, acquires the data and performs various calculations at rates greater than 150 faster than could be performed by the higher level language. The width of output control pulses generated in assembly language are 3 to 4 microsecs as compared to 2 to 3.7 millisecs for those generated in Basic (about 500 to 1000 times faster). Included are a block diagram and brief description of the spectroscopy experiment, a flow diagram of the Basic and assembly language programs, listing of the programs, scope photographs of the computer generated 5-volt pulses used for control and timing analysis, and representative water spectrum curves obtained using these programs

Quantum Computers and Quantum Computer Languages: Quantum Assembly Language and Quantum C

We show a representation of Quantum Computers defines Quantum Turing Machines with associated Quantum Grammars. We then create examples of Quantum Grammars. Lastly we develop an algebraic approach to high level Quantum Languages using Quantum Assembly language and Quantum C language as examples

Assembly Language

“Assembly Language” is a culmination of an exploration, through the medium of ceramics, in understanding complexity that arises through the interactions between simple components. In the realm of computer science, the term “Assembly Language” refers to a low-level programming language for any programmable digital device. It is typically just one step above writing in the raw ones and zeros of binary. Every program at some point needs to be translated into assembly language so that it can be understood by the device, and every program that has ever been written for a digital device is essentially composed of a series of these simple assembly language instructions. In this body of work, I use the metaphor of the role of assembly language in computer science to explore a similar process of breaking down complex systems into simple components and then using those simple components to construct new complex systems. The starting point for this investigation is the design of a root component that would have common physical interface points with other instances of that component. My choice of a root component is a five-degree tapered column with a height that is four times the length of one of the sides of its largest hexagonal end. I created a synthetic phylogeny of the components used in the creation of works for this show. A component’s ancestor within this phylogeny is the one with the most influence on the revisions to create the new component. All works created for this exploration are comprised solely of components that are ceramic instances of the components shown in the phylogeny. Each grouping highlights a novel interface between individual components joining together to form something more complex. Each work showcases a particular instance of this interfacing between instances of components to form a unique sculpture

Combining scripting and commercial simulation software to simulate in-plant logistics

In this paper we describe the use of a commercial discrete event simulation package (Siemens 2008) combined with a custom program, written in the programming language Python (Martelli 2006). Combining these two makes it possible to automatically generate a model for assembly line logistics simulation. The different stations of the assembly line, their connections and the storage near the assembly line were generated within seconds. A huge amount of time was saved compared with manual generation

Sustainable development in government : Wales 2009

English language version of 'Cynaliadwyedd llywodraeth cynulliad : Cymru 2009'.The first assessment of the Welsh Assembly government's performance against its Green Dragon targets.Publisher PD