Sciweavers

10899 search results - page 175 / 2180
» The GP Programming System
Sort
View
114
Voted
ICSM
1996
IEEE
15 years 6 months ago
Using Informal and Formal Techniques for the Reverse Engineering of C Programs
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng
113
Voted
HYBRID
2005
Springer
15 years 8 months ago
Learning Multi-modal Control Programs
Abstract. Multi-modal control is a commonly used design tool for breaking up complex control tasks into sequences of simpler tasks. In this paper, we show that by viewing the contr...
Tejas R. Mehta, Magnus Egerstedt
HIPS
1998
IEEE
15 years 6 months ago
Parallel and Distributed Programming with Pthreads and Rthreads
This paper describes Rthreads (Remote threads), a software distributed shared memory system that supports sharing of global variables on clusters of computers with physically dist...
Bernd Dreier, Markus Zahn, Theo Ungerer
ICFP
2003
ACM
16 years 2 months ago
An effective theory of type refinements
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
Yitzhak Mandelbaum, David Walker, Robert Harper
POPL
1997
ACM
15 years 6 months ago
Call by Need Computations to Root-Stable Form
The following theorem of Huet and L
Aart Middeldorp