718 search results - page 110 / 144 » Extraction of Structured Programs from Specification Proofs |
ECOOP
2006
Springer
14 years 11 days ago
2006
Springer
Abstract. Our research group has analyzed many industrial, frameworkbased applications. In these applications, simple functionality often requires excessive runtime activity. It is...
SE
2010
13 years 10 months ago
2010
: In this paper I explain the benefits of projectional language workbenches for product line engineering. The ability to extend programming languages with domain specific concepts,...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
We propose a series of methods to represent the evolution of a field of science at different levels: namely micro, meso and macro levels. We use a previously introduced asymmetric...
DEBU
2000
13 years 8 months ago
2000
In a traditional information retrieval system, it is assumed that queries can be posed about any topic. In reality, a large fraction of web queries are posed about a relatively sm...
BIRTHDAY
2009
Springer
14 years 3 months ago
2009
Springer
We propose a naive version of action semantics that begins with a selection of “transient” and “persistent” facets, each characterized as a partial monoid. Yielders are de...