Received (received date) Revised (revised date) Communicated by Editor's name ABSTRACT Two-Stage Programming (2sp) is an experimental programming language, the rst implementation of the Speciication-Consistent Coordination Model (SCCM). The SCCM proposes a new, mixed-paradigm (functional/imperative) approach to developing reliable programs based on complete run-time checking of computations wit...

This paper presents a new, coprocess-based service for servlet-enabled web servers that allows for establishing online client sessions with an interactive program on the server computer. This service, implemented by an HTTP Java servlet, is designed for experimenting online with prototypical implementations of the interactive program. It provides an enhanced support for research interactions vi...

Two-Stage Programming (2sp) is an experimental programming language, the rst implementation of the Speciication-Consistent Coordination Model (SCCM). The SCCM proposes a new, mixed-paradigm (functional/imperative) approach to developing reliable programs based on complete run-time checking of computations with respect to a given speciication. A 2sp program consists of a functional speciication ...

Given a set of rectangles and a rectangular container with a fixed width, called a strip, the twodimensional strip packing problem (2SP) requires all the given rectangles to be placed orthogonally without overlap within the strip so as to minimize the height of the strip. 2SP and its variants have many applications in steel and textile industries, and it has indirect application in scheduling p...

We present a general theory for the intermediate temperature (T ) properties of Heisenberg antiferromagnets of spin-S ions on p-leg ladders, valid for 2Sp even or odd. Following an earlier proposal for 2Sp even (Damle and Sachdev, Phys. Rev. B 57, 8307), we argue that an integrable, classical, continuum model of a fixed-length, 3-vector applies over an intermediate temperature range; this range...

This paper presents the client-servlet-coprocess interaction model, a new form of the client-server model. The client-servlet-coprocess model uses an HTTP Java servlet to specialize a servlet-enabled Web server to provide on-line client sessions with an interactive program run as a coprocess for the servlet. This model is designed for experimenting online with prototypical implementations of th...

Two-Stage Programming (2SP) is an experimental mixed-paradigm (functional/imperative) programming language with strong support for fault prevention and removal [3] through automatic verification of computation results with respect to a given specification. 2SP combines ideas of program verification, run-time checking, and result-checking [4]. The 2SP approach is to coordinate a functional speci...

We present a general theory for the intermediate temperature (T ) properties of Heisenberg antiferromagnets of spin-S ions on p-leg ladders, valid for 2Sp even or odd. Following an earlier proposal for 2Sp even (Damle and Sachdev, Phys. Rev. B 57, 8307), we argue that an integrable, classical, continuum model of a fixed-length, 3-vector applies over an intermediate temperature range; this range...

We propose exact algorithms for the 2-dimensional strip packing problem (2SP) with and without 90 degrees rotations. We first focus on the perfect packing problem (PP), which is a special case of 2SP, wherein all given rectangles are required to be packed without wasted space, and design branch-and-bound algorithms introducing several branching rules and bounding operations. A combination of th...

We present a general theory for the intermediate temperature (T ) properties of Heisenberg antiferromagnets of spin-S ions on p-leg ladders, valid for 2Sp even or odd. Following an earlier proposal for 2Sp even (Damle and Sachdev, Phys. Rev. B 57, 8307), we argue that an integrable, classical, continuum model of a fixed-length, 3-vector applies over an intermediate temperature range; this range...