Semantic processing by macro processors

[1]  David A. Padua,et al.  Automatic Program Restructuring for Parallel Computing and the Polaris Fortran Translator , 1995, PPSC.

[2]  Burt M. Leavenworth,et al.  Syntax macros and extended translation , 1966, CACM.

[3]  Ron Cytron,et al.  An Overview of the PTRAN Analysis System for Multiprocessing , 1988, J. Parallel Distributed Comput..

[4]  David J. Kuck,et al.  HIGH-SPEED MULTIPROCESSORS AND THEIR COMPILERS. , 1979 .

[5]  E. Clarke,et al.  Real-time symbolic model checking for discrete time models , 1994 .

[6]  Edmund M. Clarke,et al.  Characterizing Correctness Properties of Parallel Programs Using Fixpoints , 1980, ICALP.

[7]  Maurice V. Wilkes,et al.  An Experiment with a Self-compiling Compiler for a Simple List-processing Language , 1964 .

[8]  S. Lane.  Categories for the Working Mathematician , 1971 .

[9]  John J. Donovan,et al.  Systems programming , 1973, CSC '73.

[10]  Murray Hill,et al.  Yacc: Yet Another Compiler-Compiler , 1978 .

[11]  Teodor Rus,et al.  Algebraic Processing of Programming Languages , 1998, Theor. Comput. Sci..

[12]  Martin Wirsing,et al.  Algebraic Specification , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[13]  Robert D. Tennent,et al.  The denotational semantics of programming languages , 1976, CACM.

[14]  Michael Huth,et al.  Quantitative analysis and model checking , 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.

[15]  Kenneth Slonneger,et al.  Formal syntax and semantics of programming languages , 1994 .

[16]  Joe D. Warren,et al.  The program dependence graph and its use in optimization , 1984, TOPL.

[17]  Barbara M. Chapman,et al.  Supercompilers for parallel and vector computers , 1990, ACM Press frontier series.

[18]  Mark Elson,et al.  Code-Generation Technique for Large-Language Compilers , 1970, IBM Syst. J..

[19]  Teodor Rus,et al.  CONTEXT-FREE ALGEBRAS , 1976 .

[20]  Michael Wolfe,et al.  High performance compilers for parallel computing , 1995 .

[21]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[22]  Tony Mason,et al.  Lex & Yacc , 1992 .

[23]  Teodor Rus,et al.  Algebraic Tools for Language Processing , 1994, Comput. Lang..

[24]  Martin Campbell-Kelly.  An introduction to macros , 1973 .

[25]  Saul A. Kripke,et al.  Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .

[26]  P. J. Higgins.  Algebras with a Scheme of Operators , 1963 .

[27]  Peter Lee.  Realistic compiler generation , 1989, Foundations of Computing Series.

[28]  Eric Van Wyk,et al.  Model Checking Tools for Parallelizing Compilers , 1997 .

[29]  Peter J. Landin,et al.  PROGRAMS AND THEIR PROOFS: AN ALGEBRAIC APPROACH, , 1968 .

[30]  John Knaack.  An algebraic approach to language translation , 1995 .

[31]  Eric Van Wyk,et al.  A Formal Approach to Parallelizing Compilers , 1997, PPSC.

[32]  Utpal Banerjee,et al.  Dependence analysis for supercomputing , 1988, The Kluwer international series in engineering and computer science.

[33]  Eric Van Wyk,et al.  Using Model Checking in a Parallelizing Compiler , 1998, Parallel Process. Lett..

[34]  Seif Haridi,et al.  EURO-PAR '95 Parallel Processing , 1995, Lecture Notes in Computer Science.

[35]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[36]  Michael J. C. Gordon,et al.  Programming language theory and its implementation , 1988 .

[37]  Farn Wang,et al.  Symbolic model checking for event-driven real-time systems , 1997, TOPL.

[38]  Jørn Lind-Nielsen,et al.  BuDDy : A binary decision diagram package. , 1999 .

[39]  William Maddox.  Semantically-Sensitive Macroprocessing , 1989 .

[40]  Edmund M. Clarke,et al.  Verification Tools for Finite-State Concurrent Systems , 1993, REX School/Symposium.

[41]  Peter J. Brown,et al.  A survey of macro processors , 1969 .

[42]  Teodor Rus.  Algebraic construction of compilers , 1991 .

[43]  G. Winskel.  The formal semantics of programming languages , 1993 .

[44]  W. R. Campbell.  A Compiler Definition Facility Based on the Syntactic Macro , 1978, Comput. J..

[45]  Eric Van Wyk,et al.  Integrating Temporal Logics and Model Checking Algorithms , 1997, ARTS.

[46]  Amir Pnueli,et al.  Explicit clock temporal logic , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

[47]  Leo F. Boron,et al.  Algorithms and recursive functions , 1970 .

[48]  Joseph Y. Halpern,et al.  Decision procedures and expressiveness in the temporal logic of branching time , 1982, STOC '82.

[49]  Edmund M. Clarke,et al.  Symbolic model checking for sequential circuit verification , 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[50]  Vivek Sarkar,et al.  Experiences using control dependence in PTRAN , 1990 .

[51]  Wilson C. Hsieh,et al.  Automatic generation of DAG parallelism , 1989, PLDI '89.

[52]  H. Enderton.  Elements of Set Theory , 1977 .

[53]  Constantine D. Polychronopoulos,et al.  Parallel programming and compilers , 1988 .

[54]  Teodor Rus,et al.  Language specification by multi-axiom grammars , 1988, Proceedings. 1988 International Conference on Computer Languages.

[55]  Henry G. Dietz,et al.  PCCTS reference manual: version 1.00 , 1992, SIGP.

[56]  Peter J. Brown.  Using a macro processor to aid software implementation , 1969, Comput. J..

[57]  Jai Srinivasan,et al.  Branching time temporal logic , 1988, REX Workshop.

[58]  E. Emerson,et al.  Modalities for model checking (extended abstract): branching time strikes back , 1985, ACM-SIGACT Symposium on Principles of Programming Languages.

[59]  William Kent.  Assembler-Language Macroprogramming: A Tutorial Oriented Toward the IBM 360 , 1969, CSUR.

[60]  Leslie Lamport,et al.  Latex : A Document Preparation System , 1985 .

[61]  Joe Stoy,et al.  Denotational Semantics , 1977 .

[62]  James Scott Jones.  Multi-layered pipeline parsing of phrases from multi-axiom grammars , 1997 .

[63]  William M. Waite,et al.  Building a Mobile Programming System , 1970, Computer/law journal.

[64]  Teodor Rus.  Context-Free Algebra: A Mathematical Device for Compiler Specifications , 1976, MFCS.

[65]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[66]  Sergios Theodoridis,et al.  PARLE'94 Parallel Architectures and Languages Europe , 1994, Lecture Notes in Computer Science.

[67]  Andrew S. Tanenbaum,et al.  A General-Purpose Macro Processor as a Poor Man's Compiler-Compiler , 1976, IEEE Transactions on Software Engineering.