-
1
Formalizing the Expertise of the Assembly Language Programmer
Published 2008“…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
Working Paper -
2
A Concurrent Smalltalk Compiler for the Message-Driven Processor
Published 2004“…Optimist compiles Concurrent Smalltalk to the assembly language of the Message-Driven Processor (MDP). …”
Get full text
-
3
The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier
Published 2014“…It is based on a cross-platform core combining characteristics of assembly languages and compiler intermediate languages. …”
Get full text
Get full text
Article -
4
LLOGO: An Implementation of LOGO in LISP
Published 2004“…Design decisions in the LISP implementation of LOGO are contrasted with those of two other implementations: CLOGO for the PDP-10 and 11LOGO for the PDP-11, both written in assembler language. LLOGO's special facilities for character-oriented display terminals, graphic display 'turtles', and music generation are also described.…”
Get full text
-
5
LLOGO: An Implementation of LOGO in LISP
Published 2004“…Design decisions in the LISP implementation of LOGO are contrasted with those of two other implementations: CLOGO for the PDP-10 and 11LOGO for the PDP-11, both written in assembler language. LLOGO's special facilities for character-oriented display terminals, graphic display 'turtles', and music generation are also described.…”
Get full text
-
6
The Design of a Mechanical Assembly System
Published 2004“…This system allows the initial description of the assembly to be in terms of the desired effects on the parts being assembled. Languages such as WAVE [Bolles & Paul] and MINI [Silver] fail to meet this goal by requiring the assembly operation to be described in terms of manipulator motions. …”
Get full text