Abstract Models are considered an essential step in capturing different system behaviours
and simplifying the analysis required to check or improve the quality of software. Verification …

Hop is a new higher-order language designed for programming interactive web applications
such as web agendas, web galleries, music players, etc. It exposes a programming model …

This paper focuses on the realizability problem of a framework for modeling and specifying
the global behaviors of reactive electronic services (e-services). In this framework, Web …

An analysis-by-synthesis framework for face recognition with variant pose, illumination and
expression (PIE) is proposed in this paper. First, an efficient 2D-to-3D integrated face …

We study data-driven Web applications provided by Web sites interacting with users or
applications. The Web site can access an underlying database, as well as state information …

Hop. js is a multitier programming environment for JavaScript. It allows a single JavaScript
program to describe the client-side and the server-side components of a web application. Its …

Dynamic binding and delimited control are useful together in many settings, including Web
applications, database cursors, and mobile code. We examine this pair of language features …

As a value flows across the boundary between interoperating languages, it must be checked
and converted to fit the types and representations of the target language. For simple forms of …

This paper focuses on the realizability problem of a framework for modeling and specifying
the global behavior of reactive electronic services (e-services). In this framework, Web …

We present a continuation-passing-style (CPS) transformation for some dynamic delimited-
control operators, including Felleisen's \verb|control| and \verb|prompt|, that extends a …