7 found
Sort by:
Disambiguations:
J. S. Moore [3]J. Strother Moore [3]J. Steven Moore [1]
  1. Robert S. Boyer & J. Strother Moore, Program Verification.
    How are the properties of computer programs proved? We discuss three approaches in this article: inductive invariants, functional semantics, and explicit semantics. Because the first approach has received by far the most attention, it has produced the most impressive results to date. However, the field is now moving away from the inductive invariant approach.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. J. S. Moore, R. S. Boyer & R. E. Shostak, Primitive Recursive Program Transformation.
    arbitrary flowchart programs by introducing a new recursive function for each tag point. In the above example, one obtains: int(x) = int1(x,0), p(n,¤| ,... .ur. ¢.vH(¤.¤,.~¤,) ..... 1 h(n.c¤| ..... ¤r)), w(n.y2l(n.¤l ,.... ul,) ...., y2r(n,a|,_,,¤l_))_..
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. J. Steven Moore (2011). Play It From the Heart: What You Learn From Music About Success in Life. Rowman & Littlefield Education.
    Former students often thank their music teachers for what they were taught about music and about life. Play it from the Heart uses stories and concepts from music education as models for success.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Robert S. Boyer & J. Strother Moore (1990). A Computational Logic. Journal of Symbolic Logic 55 (3):1302-1304.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Robert S. Boyer & J. Strother Moore (1988). A Computational Logic Handbook.
     
    My bibliography  
     
    Export citation  
  6. J. S. Moore (1928). Rifts in the Universe. A Study of the Historic Dichotomies and Modalities of Being. Journal of Philosophy 25 (24):665-668.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. J. S. Moore (1910). The System of Values. Journal of Philosophy, Psychology and Scientific Methods 7 (11):282-291.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation