Sciweavers

4386 search results - page 329 / 878
» A Tamper-Resistant Programming Language System
Sort
View
119
Voted
WCRE
2000
IEEE
15 years 8 months ago
Exploring Legacy Systems using Types
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...
Arie van Deursen, Leon Moonen
242
Voted
LOGCOM
1998
126views more  LOGCOM 1998»
15 years 3 months ago
Engineering AgentSpeak(L): A Formal Computational Model
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...
Mark d'Inverno, Michael Luck
131
Voted
ITICSE
2004
ACM
15 years 9 months ago
Self-efficacy and mental models in learning to program
Learning to program is a unique experience for each student, and it is not fully understood why one person in an introductory programming course learns to program better and more ...
Vennila Ramalingam, Deborah LaBelle, Susan Wiedenb...
160
Voted
AFP
2008
Springer
236views Formal Methods» more  AFP 2008»
15 years 10 months ago
A Tutorial on Parallel and Concurrent Programming in Haskell
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
Simon L. Peyton Jones, Satnam Singh
APLAS
2008
ACM
15 years 5 months ago
Exception Handlers as Extensible Cases
Abstract. Exceptions are an indispensable part of modern programming languages. They are, however, handled poorly, especially by higherorder languages such as Standard ML and Haske...
Matthias Blume, Umut A. Acar, Wonseok Chae