Each member of the Larch family of formal specification languages has a component derived from a programming language and another component common to all programming languages. We call the former interface languages, and the latter the Larch Shared Language. This paper presents version 1.1 of the Larch Shared Language. It has two major sections. The first part starts with a brief introduction t...

I.1. Physical motivation. From [St]: consider a function T (x) as representing the value of a physical variable at a particular point x in space. Is this a realistic thing to do? What can you measure? Suppose T (x) represents temperature at a point x in a room. You can measure the temperature with a thermometer, placing the bulb at the point x. Unlike the point, the bulb has nonzero size, so wh...

the implicit rhetorical features of academic writing which has so far eluded a comprehensive systematic characterization have made teaching it a challenging task for a large group of practitioners in academic setting. one such feature of academic writing susceptible to cultural mentalities is metadiscourse marking, which is supposed to be one of the important rhetorical aspects in the writing p...

Abstract This article makes the case that our digital devices create illusions of agency. There are times when users feel as if they in control fact merely responding to stimuli on screen predictable ways. After introduction, second section offers examples agency do not involve human–computer interaction order show such possible and terribly uncommon. The third fourth sections cover relevant wo...