2343 search results - page 111 / 469 » Structure and Interpretation of Computer Programs |
149
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Program slicing is a technique to identify statements that may influence the computations at other statements. Precise slicing has been shown to be undecidable for concurrent prog...
150
click to vote
LPAR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
164
click to vote
IEEEPACT
1999
IEEE
15 years 9 months ago
1999
IEEE
Automatic parallelization of general-purpose programs is still not possible in general in the presence of irregular data structures and complex control-flows. One promising strate...
128
click to vote
ENTCS
2008
15 years 4 months ago
2008
Abstract Machine Greg Manning1 Detlef Plump2 Department of Computer Science The University of York, UK duce the York Abstract Machine (YAM) for implementing the graph programming ...
126
Voted
APAL
2005
15 years 4 months ago
2005
Systems of explicit mathematics provide an axiomatic framework to represent programs and to prove properties of them. We introduce such a system with a new form of power types usi...