3713 search results - page 442 / 743 » Constructing a Calculus of Programs |
125
click to vote
WCRE
2000
IEEE
15 years 8 months ago
2000
IEEE
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...
138
click to vote
CSMR
1999
IEEE
15 years 8 months ago
1999
IEEE
Maintenance activities are made more difficult when pointers are heavily used in source code: the programmer needs to build a mental model of memory locations and of the way they ...
103
click to vote
SIGADA
1998
Springer
15 years 8 months ago
1998
Springer
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...
128
click to vote
ECOOP
1994
Springer
15 years 8 months ago
1994
Springer
Real-time programs are, in general, difficult to design and verify. The inheritance mechanism can be useful in reusing well-defined and verified real-time programs. In application...
127
click to vote
DLS
2008
15 years 6 months ago
2008
Parsing Expression Grammar (PEG) is a recognition-based foundation for describing syntax that renewed interest in top-down parsing approaches. Generally, the implementation of PEG...