Sciweavers

5090 search results - page 200 / 1018
» Constructing Strategies for Programming
Sort
View
PLILP
1994
Springer
14 years 1 months ago
Hand-Writing Program Generator Generators
In this paper we argue that hand-writing a program generator generator has a number of advantages compared to generating a program generator generator by self-application of a part...
Lars Birkedal, Morten Welinder
SC
1992
ACM
14 years 1 months ago
Heterogeneous Parallel Programming in Jade
This paper presents Jade, a high-level parallel programming language for managing coarse-grain concurrency. Jade simplifies programming by providing the programmer with the abstra...
Martin C. Rinard, Daniel J. Scales, Monica S. Lam
SCAM
2003
IEEE
14 years 2 months ago
Design and Implementation of Bytecode-based Java Slicing System
Program slice is a set of statements that affect the value of variable v in a statement s. In order to calculate a program slice, we must know the dependence relations between sta...
Fumiaki Umemori, Kenji Konda, Reishi Yokomori, Kat...
EMSOFT
2006
Springer
14 years 1 months ago
Scheduling-independent threads and exceptions in SHIM
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
Olivier Tardieu, Stephen A. Edwards
WSC
2008
13 years 12 months ago
PLCStudio: Simulation based PLC code verification
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
Sang C. Park, Chang Mok Park, Gi-Nam Wang, Jonggeu...