Sciweavers

SIGSOFT
2010
ACM
13 years 2 months ago
Program fields for continuous software
We propose program fields, a formal representation for groups of related programs, as a new abstraction to support future software engineering research in several areas. We will d...
Martin Erwig, Eric Walkingshaw