1088 search results - page 97 / 218 » Tools for support of automata-based programming |
134
click to vote
MSE
2000
IEEE
15 years 8 months ago
2000
IEEE
With continuous acceptance of World Wide Web (WWW) as a de facto standard for human-computer interaction and human-human communication, it is desirable to develop net-centric, mul...
118
click to vote
ICSM
2007
IEEE
15 years 10 months ago
2007
IEEE
The quality of identifiers, the coding style and formatting are important aspects that influence program understandings and maintenance. This is confirmed by the presence of se...
136
click to vote
CADE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
199
click to vote
VEE
2012
ACM
13 years 12 months ago
2012
ACM
Process virtualization provides a virtual execution environment within which an unmodified application can be monitored and controlled while it executes. The provided layer of co...
259
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Massive amounts of useful data are stored and processed in ad hoc formats for which common tools like parsers, printers, query engines and format converters are not readily availa...