5096 search results - page 306 / 1020 » Associations as a Language Construct |
187
click to vote
SAC
2006
ACM
16 years 21 days ago
2006
ACM
Transforming models is a critical activity in Model Driven Engineering (MDE). With the expected adoption of the OMG QVT standard for model transformation language it is anticipate...
210
Voted
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Several recent security-typed programming languages, such as Aura, PCML5, and Fine, allow programmers to express and enforce access control and information flow policies. Most of ...
220
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
148
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The increased importance of XML as a universal data representation format has led to several proposals for enabling the development of applications that operate on XML data. These...
294
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...