10575 search results - page 1754 / 2115 » Programming Languages |
195
click to vote
PPDP
2004
Springer
16 years 3 days ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
191
click to vote
UML
2004
Springer
16 years 2 days ago
2004
Springer
The need for querying software artifacts is a new emerging design issue in modern software development. Novel techniques such as Model-Driven Architecture or Aspect-Oriented Softwa...
216
click to vote
NDSS
2003
IEEE
16 years 16 hour ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
186
click to vote
APLAS
2003
ACM
16 years 5 hour ago
2003
ACM
This paper introduces a Standard ML realization of the scrap-yourboilerplate generic-programming mechanism (first introduced by Simon Peyton Jones and Ralf Lämmel), which gives ...
139
Voted
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
The size and complexity of current custom VLSI have forced the use of high-level programming languages to describe hardware, and compiler and synthesis technology bstract designs ...