Learn More
Most software component technologies fail to account for lightweight components (those for which a function call is too ineecient or semantically inappropriate) or generative components (those in which the component embodies a method of constructing code rather than actual code). Macro-based systems such as the C++ Standard Template Library are exceptions.(More)
Programmers frequently write program generators using the simple model of programs as text. The essence of this approach is its lack of structure. For this reason, it gets no respect from academic researchers. But the flip side of lacking structure is freedom from restrictions. We argue that the latter is important, and perhaps essential, in finding a(More)
This note is a contribution to the discussion of " algebraic data typ e specification s " which was initiated in these pages by Mila Majster[M1]. It s purpose is to provide some definitions with which Majste r ' s results and other s may be stated and some subtleties may be made more apparent. The idea of algebraic specifications is to give " equation s "(More)
We describe a major extension of the SLICE framework, called SLICE 2.0. This new framework allows developers to program an application once and deploy the app natively on all major PC platforms (Windows, Mac, and Linux), tablet PCs, and Android based cell phones and tablets. The framework specifically provides functionality to create penand touchenabled(More)
The Supreme Court’s 2012 decisions in Lafler v. Cooper and Missouri v. Frye lay the groundwork for a new approach to judicial oversight of guilty pleas that considers outcomes. These cases confirm that courts possess robust authority to protect defendants’ Sixth Amendment right to the effective assistance of counsel and that plea outcomes are particularly(More)
Most software component technologies fail to account for lightweight components (those for which a function call is too ineecient or semantically inappropriate) or generative components (those in which the component embodies a method of constructing code rather than actual code). Macro-based systems such as the C++ Standard Template Library are exceptions.(More)
Networked tablet PCs have great potential in classroom settings, including use in small group in-class problem-solving activities. It is possible to obtain substantial amounts of data about student activity during a lesson: what they referred to, notes taken and erased, bursts and lulls of activity. The raw data is necessarily very low level: time-stamped(More)