1073 search results - page 1 / 215 » Formal Program Development with Approximations |
ZUM
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
TOOLS
1999
IEEE
13 years 9 months ago
1999
IEEE
WWW
2005
ACM
14 years 6 months ago
2005
ACM
Server-side programming is one of the key technologies that support today's WWW environment. It makes it possible to generate Web pages dynamically according to a user's...
PLDI
2012
ACM
11 years 7 months ago
2012
ACM
Approximate program transformations such as skipping tasks [29, 30], loop perforation [21, 22, 35], reduction sampling [38], multiple selectable implementations [3, 4, 16, 38], dy...
FM
1994
Springer
13 years 9 months ago
1994
Springer
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.