Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Review "Executable formal semantics for the POSIX shell" #62

Open
nixpulvis opened this issue Aug 15, 2021 · 0 comments
Open

Review "Executable formal semantics for the POSIX shell" #62

nixpulvis opened this issue Aug 15, 2021 · 0 comments
Labels
L: design Designs, ideas and questions with tangible goals T: semantics Topic: Program evaluation issues or features
Milestone
POSIX

Comments

@nixpulvis
Copy link
Owner

Greenberg and Blatt's Executable formal semantics for the POSIX shell should be closely read before we're done with the T-semantics and POSIX milestone.

Hopefully we'll find at least a few bugs in our code, if not whole features.
@nixpulvis nixpulvis added the T: semantics Topic: Program evaluation issues or features label Aug 15, 2021
@nixpulvis nixpulvis added this to the POSIX milestone Aug 15, 2021
@nixpulvis nixpulvis added the L: design Designs, ideas and questions with tangible goals label Apr 22, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
L: design Designs, ideas and questions with tangible goals T: semantics Topic: Program evaluation issues or features
Projects
None yet
Milestone
POSIX
Development

No branches or pull requests
1 participant
@nixpulvis