Efficient Reducibility Between Programming Systems: Preliminary Report

  title={Efficient Reducibility Between Programming Systems: Preliminary Report},
  author={Nancy A. Lynch and Edward K. Blum},
Much of the research on semantic theories has concentrated on qualitative properties such as definability (of such programming concepts as recursive procedures), equivalence (of different language constructs), and verifiability (of the correctness, or consistency, of one expression relative to another). Current qualitative theories are in a tentative state and much remains to be done. However, there is also a quantitative side to semantics. Indeed, many of the questions which any semantic… CONTINUE READING

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-2 of 2 extracted citations

On Data Banks and Privacy Homomorphisms

L. Ronald, Rivest, Len Adleman, Loizos Michael, Dertouzos
View 5 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…