|
3
|
Modelling Communication in Ada with Shared Data Abstractions
– Dennis Freidel, Chris Marlin, Michael Oudshoorn
- 1998
|
|
2
|
Generating an Implementation of a Parallel Programming Language from a Formal Semantic Definition
– Oudshoorn Ransom, M. J. Oudshoorn, K. J. Ransom, C. D. Marlin
- 1992
|
|
6
|
A Model of Communication in Ada using Shared Data Abstractions
– Chris Marlin, Michael Oudshoorn, Dennis Freidel
- 1990
|
|
|
Preface
– John D. Gannon, James M. Purtilo, Marvin V. Zelkowitz
- 2001
|
|
14
|
Software Specification: A Comparison of Formal Methods
– John D. Gannon, James M. Purtilo, Marvin V. Zelkowitz
- 2001
|
|
1
|
Implementation of Procedures in a Database Programming Language
– Rebecca Lui
- 1996
|
|
3
|
CSDL: Reusable Computing System Descriptions for Retargetable System Software
– Mark W. Bailey, John Knight, Ronald Williams
- 2000
|
|
66
|
Code selection through object code optimization
– Jack W. Davidson, Christopher W. Fraser
- 1984
|
|
10
|
Destination-driven code generation
– R. Kent Dybvig, Robert Hieb, Tom Butler
- 1990
|
|
2
|
Towards Optimizing Code Generation by Domain-Sensitive Macro Expansion
– Eero Lassila, Eero Lassila
- 1997
|
|
32
|
Efficient retargetable code generation using bottom-up tree pattern matching
– A. Balachandran, D. M. Dhamdheret, S. Biswas
- 1990
|
|
10
|
Global Code Selection for Directed Acyclic Graphs
– Andreas Fauth, Günter Hommel, Alois Knoll, Carsten Müller
- 1994
|
|
5
|
Designing Configuration Management Tools for Dynamically Composed Systems
– Bradley Robert Schmerl, B. Sc. (hons
- 1998
|
|
6
|
Larch/Smalltalk: A Specification Language for Smalltalk
– Yoonsik Cheon
- 1991
|
|
129
|
The ASTOOT approach to testing object-oriented programs
– Phyllis G. Frankl
- 1994
|
|
|
Solver- User's Manual
– Eupdf An, Eulerian-based Monte Carlo, M. S. Raju, Price Code A, Available From, Price Code A, Eupdf- Eulerian-based, Monte Carlo, M. S. Raju
- 1998
|
|
|
A Hybrid Control Architecture for Mobile Manipulation
– Petersson Egerstedt And, L. Petersson, M. Egerstedt, H. I. Christensen
- 1999
|
|
|
Design, Implementation, Use, and Evaluation of Ox: An Attribute-Grammar Compiling System based on Yacc, Lex, and C
– Kurt M. Bischoff, C Fl Kurt M. Bischoff
- 1992
|
|
|
Ox: An Attribute-Grammar Compiling System based on Yacc, Lex, and C: User Reference Manual
– C Fl, Kurt M. Bischoff, Kurt M. Bischoff
- 1993
|
