Conscientious programming using PMA
APL '90 Conference proceedings on APL 90: for the future
The evolution of the programming languages course
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
A visual execution model for Ada tasking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Teaching parameter passing by example using thunks in C and C++
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
Self-Assessment Procedure XXIII: programming languages
Communications of the ACM
Software components in a data structure precompiler
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Implementation parallelized queueing network simulations using FORTRAN and data abstraction
WSC '88 Proceedings of the 20th conference on Winter simulation
Algorithm 803: a simpler macro processor
ACM Transactions on Mathematical Software (TOMS) - Special issue in honor of John Rice's 65th birthday
Parameter-Induced Aliasing in Ada
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Computational science, mathematics and software
Using mathematics to improve ada compiled code, part 2: the proof
Proceedings of the 2007 ACM international conference on SIGAda annual international conference
| Hi-index | 0.02 |