Sciweavers

10848 search results - page 251 / 2170
» Programming in Biomolecular Computation
Sort
View
ASWEC
2005
IEEE
15 years 11 months ago
A Formal Method for Program Slicing
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
Yingzhou Zhang, Baowen Xu, José Emilio Labr...
ALP
1994
Springer
15 years 10 months ago
Logic Programs as term Rewriting Systems
This paper studies the relationship between logic programs and term rewriting systems (TRSs). A compositional transform is de ned which given a logic program computes a TRS. For a...
Massimo Marchiori
SC
1992
ACM
15 years 10 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
ACMIDC
2009
15 years 9 months ago
Children's programming, reconsidered: settings, stuff, and surfaces
The subject of children's programming has long been a vexed and controversial one in the field of educational technology. Debates in this area have typically focused on issue...
Michael Eisenberg, Nwanua Elumeze, Michael MacFerr...
SIGITE
2004
ACM
15 years 11 months ago
Keeping family of computing related disciplines together
There are efforts underway to define each of several flavors of computing disciplines, including computer science, computer engineering, information science, information technolog...
Reza Kamali, Lillian N. Cassel, Richard J. LeBlanc