-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
Browse the repository at this point in the history
Capture materials and work items related to the development of grammar and interpretation for ob-exp and beyond.
- Loading branch information
Dennis Hamilton
committed
Jan 31, 2018
1 parent
054b6a8
commit 119bfa2
Showing
4 changed files
with
79 additions
and
5 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,71 @@ | ||
Syntactics.txt 0.0.0 UTF-8 dh:2018-01-31 | ||
|
||
The Miser Project Code | ||
====================== | ||
|
||
<https://github.com/orcmid/blob/master/models/Syntactics/Syntactics.txt> | ||
|
||
DEPICTION, ENGINEERING, AND VERIFICATION OF COMPUTATION | ||
|
||
GRAMMAR AND INTERPRETATION SPECIFICATIONS | ||
----------------------------------------- | ||
|
||
Synopsis TBD | ||
|
||
|
||
|
||
BIBLIOGRAPHY | ||
|
||
References TBD | ||
|
||
MANIFEST | ||
|
||
Syntactics.txt | ||
this synopsis, manifest and job-jar file | ||
|
||
ob-exp-0.0.1-2018-01-28-1526-BNF.png | ||
character-set-preserving capture of the summary grammar for oFrugal | ||
ob-exp expression of ob computations, developed and presented at | ||
<https://github.com/orcmid/miser/blob/master/oMiser/ob-exp.txt> and | ||
<https://github.com/orcmid/miser/issues/8#issuecomment-361106826> | ||
|
||
ob-exp-0.0.2-2018-01-29-2134-BNF.png | ||
0.0.2 ob-exp.txt correction of typos detected by Roman Susi (@rnd0101) | ||
at <https://github.com/orcmid/miser/issues/14#issuecomment-361385492>. | ||
|
||
|
||
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - | ||
|
||
Copyright 2018 Dennis E. Hamilton | ||
|
||
Licensed under the Apache License, Version 2.0 (the "License"); | ||
you may not use this file except in compliance with the License. | ||
You may obtain a copy of the License at | ||
|
||
http://www.apache.org/licenses/LICENSE-2.0 | ||
|
||
Unless required by applicable law or agreed to in writing, software | ||
distributed under the License is distributed on an "AS IS" BASIS, | ||
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | ||
See the License for the specific language governing permissions and | ||
limitations under the License. | ||
|
||
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - | ||
|
||
TODO | ||
|
||
* Find good reference on BNF and its ALGOL-memorializtion. | ||
|
||
* Include the Interpretation formalism and its connection with attribute | ||
grammars. | ||
|
||
* Tie in with diagnostics and the idea of not producing the result until | ||
the syntax of an input has been verified. This might spin out into | ||
an engineering topic. | ||
|
||
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - | ||
|
||
0.0.0 2018-01-31-09:33 Placeholder with initial capture of syntactics materials | ||
that summarize the ob-exp grammar. | ||
|
||
***** end of Syntactics.txt ***** |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters