2 Matching Results

Search Results

Advanced search parameters have been applied.

Higher-order transformation and the distributed data problem.

Description: The distributed data problem, is characterized by the desire to bring together semantically related data from syntactically unrelated portions of a term. Two strategic combinators, dynamic and transient, are introduced in the context of a classical strategic programming framework. The impact of the resulting system on instances of the distributed data problem is then explored.
Date: December 1, 2003
Creator: Winter, Victor Lono (University of Nebraska at Omaha, Omaha, NE) & Subramaniam, Mahadevan (University of Nebraska at Omaha, Omaha, NE)
Partner: UNT Libraries Government Documents Department

An abstract class loader for the SSP and its implementation in TL.

Description: The SSP is a hardware implementation of a subset of the JVM for use in high consequence embedded applications. In this context, a majority of the activities belonging to class loading, as it is defined in the specification of the JVM, can be performed statically. Static class loading has the net result of dramatically simplifying the design of the SSP as well as increasing its performance. Due to the high consequence nature of its applications, strong evidence must be provided that all aspects of the SSP have been implemented correctly. This includes the class loader. This article explores the possibility of formally verifying a class loader for the SSP implemented in the strategic programming language TL. Specifically, an implementation of the core activities of an abstract class loader is presented and its verification in ACL2 is considered.
Date: August 1, 2004
Creator: Wickstrom, Gregory Lloyd; Winter, Victor Lono (University of Nebraska at Omaha, Omaha, NE); Fraij, Fares (University of Texas at El Paso, El Paso, TX); Roach, Steve (University of Texas at El Paso, El Paso, TX) & Beranek, Jason (University of Nebraska at Omaha, Omaha, NE)
Partner: UNT Libraries Government Documents Department