Sciweavers

414 search results - page 55 / 83
» Integration of Existing Programs into CORBA
Sort
View
PLDI
2009
ACM
14 years 8 months ago
Sharing classes between families
Class sharing is a new language mechanism for building extensible software systems. Recent work has separately explored two different kinds of extensibility: first, family inherit...
Xin Qi, Andrew C. Myers
POPL
2004
ACM
14 years 7 months ago
A type system for well-founded recursion
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
Derek Dreyer
SIGCSE
2010
ACM
182views Education» more  SIGCSE 2010»
14 years 2 months ago
Frances: a tool for understanding code generation
Compiler and programming language implementation courses are integral parts of many computer science curricula. However, the range of topics necessary to teach in such a course ar...
Tyler Sondag, Kian L. Pokorny, Hridesh Rajan
SEKE
2007
Springer
14 years 1 months ago
Improving Separation of Concerns in the Development of Scientific Applications
High performance computing (HPC) is gaining popularity in solving scientific applications. Using the current programming standards, however, it takes an HPC expert to efficiently ...
Seyed Masoud Sadjadi, J. Martínez, T. Soldo...
ASPLOS
2006
ACM
14 years 1 months ago
SecCMP: a secure chip-multiprocessor architecture
Security has been considered as an important issue in processor design. Most of the existing mechanisms address security and integrity issues caused by untrusted main memory in si...
Li Yang, Lu Peng