4151 search results - page 431 / 831 » Language Driven System Design |
202
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
210
click to vote
PPOPP
2006
ACM
16 years 7 days ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...
170
click to vote
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
Nearly ten years after its first presentation and five years after its first application to operating systems, the suitability of AspectOriented Programming (AOP) for the devel...
172
click to vote
APLAS
2005
ACM
15 years 12 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
176
click to vote
JCS
2008
15 years 6 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...