Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Frank C. Belz"'
Autor:
Ira M. Green, Frank C. Belz
This report contains a formal specification of the JOVIAL (J3) programming language. The formal specification is written in TRW's SEMANOL(76) metalanguage, and so is a specification given in operational (i.e., interpretive) terms. The specification i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fe66f4ad0d310c7c57a90ac1148304de
https://doi.org/10.21236/ada049474
https://doi.org/10.21236/ada049474
This report discusses the overall design of a software tool for the automation of validation of compilers for conformance to the specification of the high-order programming language they process. Such compiler validation is currently tedious, time-co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::09b5d52366872b1bc0dbb61db3091903
https://doi.org/10.21236/ada052726
https://doi.org/10.21236/ada052726
Autor:
Richard W. Selby, Jack C. Wileden, David A. Fischer, Frank C. Belz, Lori A. Clarke, Richard N. Taylor, Barry Boehm, Alexander L. Wolf, Leon J. Osterweil, Deborah A Baker
Author(s): Taylor, Richard N.; Baker, Deborah A.; Belz, Frank C.; Boehm, Barry W.; Clarke, Lori A.; Fisher, David A.; Osterweil, Leon; Selby, Richard W.; Wileden, Jack C.; Wolf, Alexander L.; Young, Michal | Abstract: The past decade has seen a burge
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::96b5524828b196183d8007e5d7de5255
https://doi.org/10.21236/ada462122
https://doi.org/10.21236/ada462122
This report contains a listing of the SEMANOL (76) metalanguage specification of the Minimal BASIC programming language. The specification is complete and has been extensively computer tested. The SEMANOL (76) metalanguage used here is a formal one t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e5d999f41ce2a886be7736c128c5834e
https://doi.org/10.21236/ada040990
https://doi.org/10.21236/ada040990
Publikováno v:
Mathematical Studies of Information Processing ISBN: 9783540095415
Mathematical Studies of Information Processing
Mathematical Studies of Information Processing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aa94dc4448d19ba52712b516fc886a1c
https://doi.org/10.1007/3-540-09541-1_35
https://doi.org/10.1007/3-540-09541-1_35
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.