default search action

combined dblp search
author search
venue search
publication search

ask others

Computer Languages, Volume 5

> Home > Journals > Computer Languages

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 5, Number 1, 1980

- view
  authority control:
- export record
  dblp key:
  - journals/cl/Rich80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/Rich80
Robert P. Rich:
Mechanical Proof Testing. 1-28
- view
  authority control:
- export record
  dblp key:
  - journals/cl/CrawfordJ80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/CrawfordJ80
John H. Crawford, Mehdi Jazayeri:
A New Approach to Code Motion and its Application to Hoisting. 29-36
- view
  authority control:
- export record
  dblp key:
  - journals/cl/Williams80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/Williams80
M. Howard Williams:
A Formal Notation for Specifying Static Semantic Rules. 37-55

Volume 5, Number 2, 1980

- view
  authority control:
- export record
  dblp key:
  - journals/cl/Nagata80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/Nagata80
Hiroyasu Nagata:
Formal: A Language with a Macro-Oriented Extension Facility. 65-76
- view
  authority control:
- export record
  dblp key:
  - journals/cl/BerryKSY80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/BerryKSY80
Daniel M. Berry, Richard A. Kemmerer, Arndt von Staa, Shaula Yemini:
Toward Modular Verifiable Exception Handling. 77-101
- view
  authority control:
- export record
  dblp key:
  - journals/cl/CelentanoVG80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/CelentanoVG80
Augusto Celentano, Pierluigi Della Vigna, Carlo Ghezzi:
SIMPLE: A Program Development System. 103-114
- view
  authority control:
- export record
  dblp key:
  - journals/cl/Wadia80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/Wadia80
Aspi B. Wadia:
Generation of Node Lists Using Segment Analysis. 115-129

Volume 5, Number 3, 1980

- view
  authority control:
- export record
  dblp key:
  - journals/cl/FischerM80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/FischerM80
Charles N. Fischer, Jon Mauney:
On the Role of Error Productions in Syntactic Error Correction. 131-139
- view
  authority control:
- export record
  dblp key:
  - journals/cl/Sharir80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/Sharir80
Micha Sharir:
Structural Analysis: A New Approch to Flow Analysis in Optimizing Compilers. 141-153
- view
  authority control:
- export record
  dblp key:
  - journals/cl/Gehani80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/Gehani80
Narain H. Gehani:
Generic Procedures: An Implementation and an Undecidability Result. 155-161
- view
  authority control:
- export record
  dblp key:
  - journals/cl/SalterBF80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/SalterBF80
Richard M. Salter, Terence J. Brennan, Daniel P. Friedman:
Concur: A Language for Continuous, Concurrent Processes. 163-189

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.