Systems which employ a microprocessor together with an application speci c FPGA based coprocessor are common today. These applications can reduce power consumption and system costs by incorporating the microprocessor in the FPGA. For such applications, a microprocessor which has good performance, occupies a minimal amount of FPGA resources, has a good high level language software development en...

Web services enable applications to exchange data using an extension to HTTP. Implementing web services requires extensions to an HTTP server, parsing and generating XML and then interfacing to other applications. This paper discusses what was needed to extend MPE’s PowerNet to handle web services, and how we took advantage of Forth itself to simplify the solution. Introduction Web services are...

Given a class of structures K and n ∈ ω, we study the dichotomy between there being countably many n-back-and-forth equivalence classes and there being continuum many. In the latter case we show that, relative to some oracle, every set can be weakly coded in the (n− 1)st jump of some structure in K. In the former case we show that there is a countable set of infinitary Πn relations that capture...

Here we are interested in the semantics of Forth from the point of view of using Forth as a target language for a formally verified compiler for Ruth-R, a reversible sequential programming language we are currently developing. We limit out attention to those Forth operations and constructs which will be targetted by the Ruth-R compiler. To facilitate the comparison of meanings of source and tar...

Complex industrial automation systems and processes, such as chemical manufacturing systems, wireless network power energy smart grids so forth, have greatly contributed to our daily life [...]