10072 search results - page 276 / 2015 » Composition of Model Programs |
234
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...
152
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
An appropriate translation of the data model is central to any language migration effort. Finding a mapping between original and target data models may be challenging for legacy l...
162
click to vote
CSL
1998
Springer
15 years 11 months ago
1998
Springer
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justi ed revision based on a revisi...
184
click to vote
AOSD
2009
ACM
15 years 10 months ago
2009
ACM
Aspect-oriented programming (AOP) eases the development of profilers, debuggers, and reverse engineering tools. Such tools frequently rely on calling context information. However,...
181
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...