Sciweavers

7124 search results - page 199 / 1425
» Programming Languages and Operating Systems
Sort
View
AC
2008
Springer
15 years 6 months ago
DARPA's HPCS Program- History, Models, Tools, Languages
The historical context surrounding the birth of the DARPA High Productivity Computing Systems (HPCS) program is important for understanding why federal government agencies launche...
Jack Dongarra, Robert Graybill, William Harrod, Ro...
APLAS
2007
ACM
15 years 10 months ago
More Typed Assembly Languages for Confidentiality
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
Dachuan Yu
JCSS
2002
114views more  JCSS 2002»
15 years 6 months ago
Polymorphic Type Inference for the Relational Algebra
A database programming language is a programming language extended with database operations. In this paper we extend a core functional language with explicitly labeled tuples and ...
Jan Van den Bussche, Emmanuel Waller
AOSD
2010
ACM
16 years 1 months ago
A theory of distributed aspects
Over the last five years, several systems have been proposed to take distribution into account in Aspect-Oriented Programming. While they appeared to be fruitful to develop or im...
Nicolas Tabareau
VL
2006
IEEE
153views Visual Languages» more  VL 2006»
16 years 16 days ago
Lessons Learned from Designing a Programming System to Support Middle School Girls Creating Animated Stories
Traditional approaches to teaching computer science are often unsuccessful in attracting girls into the discipline. Our hypothesis is that presenting computer programming as a mea...
Caitlin Kelleher, Randy Pausch