Sharma, Onkar P. Syntax optimization for and parsing of patterns. (English) Zbl 0362.68118 Comput. Lang. 1, 233-253 (1975). MSC: 68T10 68W99 68Q45 68N01 PDF BibTeX XML Cite \textit{O. P. Sharma}, Comput. Lang. 1, 233--253 (1975; Zbl 0362.68118) Full Text: DOI
Demers, A. J. Elimination of single productions and merging nonterminal symbols of LR(1) grammars. (English) Zbl 0362.68102 Comput. Lang. 1, 105-119 (1975). MSC: 68Q45 PDF BibTeX XML Cite \textit{A. J. Demers}, Comput. Lang. 1, 105--119 (1975; Zbl 0362.68102) Full Text: DOI
Hoare, C. A. R. Parallel programming: An axiomatic approach. (English) Zbl 0362.68045 Comput. Lang. 1, 151-160 (1975). MSC: 68N01 68Q45 PDF BibTeX XML Cite \textit{C. A. R. Hoare}, Comput. Lang. 1, 151--160 (1975; Zbl 0362.68045) Full Text: DOI
Chandra, A. K.; Manna, Z. On the power of programming features. (English) Zbl 0362.68041 Comput. Lang. 1, 219-232 (1975). MSC: 68N01 PDF BibTeX XML Cite \textit{A. K. Chandra} and \textit{Z. Manna}, Comput. Lang. 1, 219--232 (1975; Zbl 0362.68041) Full Text: DOI
Earley, Jay High level iterators and a method for automatically designing data structure representation. (English) Zbl 0362.68011 Comput. Lang. 1, 321-342 (1975). MSC: 68N01 PDF BibTeX XML Cite \textit{J. Earley}, Comput. Lang. 1, 321--342 (1975; Zbl 0362.68011) Full Text: DOI
Basili, V. R. A structured approach to language design. (English) Zbl 0362.68010 Comput. Lang. 1, 255-273 (1975). MSC: 68N01 PDF BibTeX XML Cite \textit{V. R. Basili}, Comput. Lang. 1, 255--273 (1975; Zbl 0362.68010) Full Text: DOI
Schwartz, J. T. Optimization of very high level languages. II: Deducing relationships of inclusion and membership. (English) Zbl 0361.68049 Comput. Lang. 1, 197-218 (1975). MSC: 68N01 PDF BibTeX XML Cite \textit{J. T. Schwartz}, Comput. Lang. 1, 197--218 (1975; Zbl 0361.68049) Full Text: DOI
Schwartz, J. T. Optimization of very high level languages. I: Value transmission and its corollaries. (English) Zbl 0361.68048 Comput. Lang. 1, 161-194 (1975). MSC: 68N01 PDF BibTeX XML Cite \textit{J. T. Schwartz}, Comput. Lang. 1, 161--194 (1975; Zbl 0361.68048) Full Text: DOI
Kampen, G.; Baer, J. L. The formal definition of semantics by stringautomata. (English) Zbl 0357.68074 Comput. Lang. 1, 121-138 (1975). MSC: 68Q45 68N01 PDF BibTeX XML Cite \textit{G. Kampen} and \textit{J. L. Baer}, Comput. Lang. 1, 121--138 (1975; Zbl 0357.68074) Full Text: DOI
Knobe, Bruce; Yuval, Gideon Some steps towards a better PASCAL. (English) Zbl 0356.68043 Comput. Lang. 1, 277-286 (1975). MSC: 68N01 PDF BibTeX XML Cite \textit{B. Knobe} and \textit{G. Yuval}, Comput. Lang. 1, 277--286 (1975; Zbl 0356.68043) Full Text: DOI
Abdali, S. Kamal A lambda-calculus model of programming languages. II: Jumps and procedures. (English) Zbl 0356.68042 Comput. Lang. 1, 303-320 (1975). MSC: 68N01 03B40 PDF BibTeX XML Cite \textit{S. K. Abdali}, Comput. Lang. 1, 303--320 (1975; Zbl 0356.68042) Full Text: DOI
Abdali, Kamal S. A lambda-calculus model of programming languages. I: Simple constructs. (English) Zbl 0356.68041 Comput. Lang. 1, 287-301 (1975). MSC: 68N01 03B40 PDF BibTeX XML Cite \textit{K. S. Abdali}, Comput. Lang. 1, 287--301 (1975; Zbl 0356.68041) Full Text: DOI
Sullivan, Joseph E. Extending PL/I for structured programming. (English) Zbl 0342.68006 Comput. Lang. 1, 29-43 (1975). MSC: 68N01 PDF BibTeX XML Cite \textit{J. E. Sullivan}, Comput. Lang. 1, 29--43 (1975; Zbl 0342.68006) Full Text: DOI
Stewart, S. L. STAPLE, an experimental structured programming language. (English) Zbl 0342.68005 Comput. Lang. 1, 61-71 (1975). MSC: 68N01 PDF BibTeX XML Cite \textit{S. L. Stewart}, Comput. Lang. 1, 61--71 (1975; Zbl 0342.68005) Full Text: DOI
Tucker, Allen Very high-level language design: A viewpoint. (English) Zbl 0342.68004 Comput. Lang. 1, 3-16 (1975). MSC: 68N01 PDF BibTeX XML Cite \textit{A. Tucker}, Comput. Lang. 1, 3--16 (1975; Zbl 0342.68004) Full Text: DOI
Ledley, Robert S.; Wilson, James B. The precise handling of qualitative relationships. (English) Zbl 0339.68017 Comput. Lang. 1, 83-99 (1975). MSC: 68N01 68P20 PDF BibTeX XML Cite \textit{R. S. Ledley} and \textit{J. B. Wilson}, Comput. Lang. 1, 83--99 (1975; Zbl 0339.68017) Full Text: DOI
Merwin, Richard E.; Broca, Francois Robert Direct microprogrammed execution of the intermediate text from a high- level language compiler. (English) Zbl 0336.68012 Comput. Lang. 1, 17-28 (1975). MSC: 68N01 PDF BibTeX XML Cite \textit{R. E. Merwin} and \textit{F. R. Broca}, Comput. Lang. 1, 17--28 (1975; Zbl 0336.68012) Full Text: DOI