7661 search results - page 402 / 1533 » Languages and the Computing Profession |
260
click to vote
EIS
2011
15 years 1 months ago
2011
Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and real...
191
click to vote
SAC
2006
ACM
16 years 24 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...
214
click to vote
ICFP
2010
ACM
15 years 8 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 ...
159
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
1 Two tutorials are presented introducing the basic syntax and semantics of Awk and Perl. The languages are taught by example, and the same example EDA applications are developed i...
159
Voted
HOA
1993
15 years 11 months ago
1993
Abstract. The Spectrum project concentrates on the process of developing well-structured, precise system speci cations. Spectrum is a speci cation language, with a deduction calcul...