Sciweavers

11022 search results - page 411 / 2205
» Programming Systems for Autonomy
Sort
View
AFP
2008
Springer
236views Formal Methods» more  AFP 2008»
16 years 1 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
IWPC
2006
IEEE
16 years 1 months ago
Programs are Knowledge Bases
Gaining an overview of the concepts represented in large programs is very demanding as multiple dimensions of knowledge appear at different abstraction levels throughout the sourc...
Daniel Ratiu, Florian Deissenboeck
160
Voted
GPCE
2004
Springer
16 years 27 days ago
Splice: Aspects That Analyze Programs
This paper describes Splice, a system for writing aspects that perform static program analyses to direct program modifications. The power of an inter-procedural data-flow analys...
Sean McDirmid, Wilson C. Hsieh
ECOOP
1999
Springer
15 years 11 months ago
Providing Fine-grained Access Control for Java Programs
There is considerable interest in programs that can migrate from one host to another and execute. Mobile programs are appealing because they support efficient utilization of networ...
Raju Pandey, Brant Hashii
246
Voted
VL
1996
IEEE
125views Visual Languages» more  VL 1996»
15 years 11 months ago
Teaching Binary Tree Algorithms through Visual Programming
In this paper, we show how visual programming can be used to teach binary tree algorithms. In our approach, the student implements a binary tree algorithm by manipulating tree fra...
Amir Michail