383 search results - page 14 / 77 » Abstracting Complex Languages through Transformation and Com... |
117
click to vote
SAS
1995
Springer
15 years 3 months ago
1995
Springer
ntation in Abstract Interpretation AGOSTINO CORTESI Universit`a di Venezia GILBERTO FIL´E Universit`a di Padova ROBERTO GIACOBAZZI Universit`a di Pisa CATUSCIA PALAMIDESSI Univers...
100
click to vote
CLEIEJ
2010
14 years 9 months ago
2010
Global Model Management (GMM) is a model-based approach for managing large sets of interrelated heterogeneous and complex MDE artifacts. Such artifacts are usually represented as ...
105
click to vote
INFORMATICALT
2007
14 years 11 months ago
2007
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
APWEB
2006
Springer
15 years 3 months ago
2006
Springer
Reactivity, the ability to detect events and respond to them automatically through reactive programs, is a key requirement in many present-day information systems. Work on Web Serv...
101
click to vote
ACL
2010
14 years 9 months ago
2010
Weighted tree transducers have been proposed as useful formal models for representing syntactic natural language processing applications, but there has been little description of ...