Steven S. Muchnick

According to our database1, Steven S. Muchnick authored at least 23 papers between 1972 and 1997.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1997
Advanced Compiler Design and Implementation
Morgan Kaufmann, ISBN: 1-55860-320-4, 1997

1988
Optimizing Compilers for the SPARC Architecture: An Overview.
Proceedings of the COMPCON'88, Digest of Papers, Thirty-Third IEEE Computer Society International Conference, San Francisco, California, USA, February 29, 1988

The Scalable Processor Architecture (SPARC).
Proceedings of the COMPCON'88, Digest of Papers, Thirty-Third IEEE Computer Society International Conference, San Francisco, California, USA, February 29, 1988

1986
Dbxtool: A Window-Based Symbolic Debugger for Sun Workstations.
Softw. Pract. Exp., 1986

Efficient instruction scheduling for a pipelined architecture.
Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, 1986

Efficient instruction scheduling for a pipelined architecture (with retrospective)
Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1986

SunPro: Engineering a Pratical Program Development Environment.
Proceedings of the Advanced Programming Environments, 1986

1982
A Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data Structures.
Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982

A Fixed-Program Machine for Combinator Expression Evaluation.
Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, 1982

1981
Program flow analysis - theory and applications.
Prentice Hall software series, Prentice Hall, ISBN: 978-0-13-729681-1, 1981

1980
A Semantic Comparison of LISP and Scheme.
Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., 1980

Complexity of Flow Analysis, Inductive Assertion Synthesis and a Language Due to Dijkstra
Proceedings of the 21st Annual Symposium on Foundations of Computer Science, 1980

1979
Flow Analysis and Optimization of Lisp-Like Structures.
Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979

1978
The Complexity of Finite Memory Programs with Recursion.
J. ACM, 1978

TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages
Lecture Notes in Computer Science 66, Springer, ISBN: 3-540-09085-1, 1978

1977
Even Simple Programs Are Hard To Analyze.
J. ACM, 1977

1976
Computational Complexity of Multiple Recursive Schemata.
SIAM J. Comput., 1976

The Vectorized Grzegorczyk Hierarchy.
Math. Log. Q., 1976

Binding Time Optimization in Programming Languages: Some Thoughts Toward the Design of an Ideal Language.
Proceedings of the Conference Record of the Third ACM Symposium on Principles of Programming Languages, 1976

The command interpreter and command language design of the com-share COMMANDER II system.
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

Sigops(Paper Session).
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

1974
Structure and Complexity in Subrecursive Computation.
PhD thesis, 1974

1972
Subrecursive Program Schemata I & II: I. Undecidable Equivalence problems; II. Decidable Equivalence Problems.
J. Comput. Syst. Sci., 1972


  Loading...