Sciweavers

2977 search results - page 248 / 596
» Programming Environments for Novices
Sort
View
POPL
2001
ACM
16 years 7 months ago
A generic type system for the Pi-calculus
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...
Atsushi Igarashi, Naoki Kobayashi
VL
2007
IEEE
113views Visual Languages» more  VL 2007»
16 years 26 days ago
Explaining Debugging Strategies to End-User Programmers
There has been little research into how end-user programming environments can provide explanations that could fill a critical information gap for end-user debuggers – help with ...
Neeraja Subrahmaniyan, Cory Kissinger, Kyle Rector...
IPPS
2005
IEEE
16 years 6 days ago
Combining FT-MPI with H2O: Fault-Tolerant MPI Across Administrative Boundaries
We observe increasing interest in aggregating geographically distributed, heterogeneous resources to perform large scale computations. MPI remains the most popular programming par...
Dawid Kurzyniec, Vaidy S. Sunderam
CAISE
2005
Springer
16 years 4 days ago
Dynamic AOP with PROSE
Abstract. Dynamic Aspect-Oriented Programming (d-AOP) is an important tool to implement adaptation in a wide variety of applications. In particular, large distributed infrastructur...
Angela Nicoara, Gustavo Alonso
MHCI
2005
Springer
16 years 3 days ago
Dynamic generation of web migratory interfaces
In this paper, we present a solution for dynamic generation of Web user interfaces that can dynamically migrate among different platforms. The solution is based on a migration/pro...
Renata Bandelloni, Giulio Mori, Fabio Patern&ograv...