139
Voted
ICCL
1992
IEEE
15 years 4 months ago
1992
IEEE
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
71
Voted
ICCL
1992
IEEE
15 years 4 months ago
1992
IEEE
87
Voted
ICCL
1992
IEEE
15 years 4 months ago
1992
IEEE
Multiparadigm programming is a term used to describe a style of software development that makes use of facilities originally designed in support of a number of di erent programmin...
74
Voted
ICCL
1992
IEEE
15 years 4 months ago
1992
IEEE
rogram. Our abstract interpretation algorithm may then be used to perform static type analysis. The analysis has applications in detecting probable errors in the PostScript code or...
60
Voted
SIGADA
1993
Springer
15 years 4 months ago
1993
Springer
79
Voted
SIGADA
1993
Springer
15 years 4 months ago
1993
Springer
SIGADA
1993
Springer
15 years 4 months ago
1993
Springer
The Navy’s Next Generation Computer Resources (NGCR) program set up a Project Support Environment Standards Working Group (PSESWG) to help in the task of establishing interface ...
SIEMENS
1993
15 years 4 months ago
1993
SIEMENS
1993
15 years 4 months ago
1993