https://awesome-safety-critical.readthedocs.io/en/latest/ https://awesome-safety-critical.readthedocs.io/en/latest/#software-safety-standards
What is and is not constant time in Python could be added to structured data elements in (implementations') docstrings. ***** "The Python Language Reference" https://docs.python.org/3/reference/ https://docs.python.org/3/reference/lexical_analysis.html https://docs.python.org/3/reference/datamodel.html https://docs.python.org/3/reference/executionmodel.html [...] Python PEG Grammar: https://docs.python.org/3/reference/grammar.html https://github.com/python/cpython/blob/master/Grammar/python.gram https://github.com/python/cpython/blob/master/Lib/test/test_grammar.py "24. Changing CPython’s Grammar" https://devguide.python.org/grammar/ https://devguide.python.org/appendix/#language-development-in-depth : > Exploring CPython’s Internals > Changing CPython’s Grammar > Design of CPython’s Compiler > Design of CPython’s Garbage Collector > Adding to the Stdlib > Changing the Python Language > Porting Python to a new platform ***** Wikipedia: https://en.wikipedia.org/wiki/ECMAScript Homepage: https://www.ecma-international.org/ecma-262/ Src: https://github.com/tc39/ecma262#ecmascript Spec: https://www.ecma-international.org/ecma-262/ Spec: https://tc39.github.io/ecma262/ Spec: https://tc39.es/ecma262/ : ECMA262 Spec Table of Contents: ```quote Introduction 1 Scope 2 Conformance 3 Normative References 4 Overview 5 Notational Conventions 6 ECMAScript Data Types and Values 7 Abstract Operations 8 Syntax-Directed Operations 9 Executable Code and Execution Contexts 10 Ordinary and Exotic Objects Behaviours 11 ECMAScript Language: Source Code 12 ECMAScript Language: Lexical Grammar 13 ECMAScript Language: Expressions 14 ECMAScript Language: Statements and Declarations 15 ECMAScript Language: Functions and Classes 16 ECMAScript Language: Scripts and Modules 17 Error Handling and Language Extensions 18 ECMAScript Standard Built-in Objects 19 The Global Object 20 Fundamental Objects 21 Numbers and Dates 22 Text Processing 23 Indexed Collections 24 Keyed Collections 25 Structured Data 26 Managing Memory 27 Control Abstraction Objects 28 Reflection 29 Memory Model A Grammar Summary B Additional ECMAScript Features for Web Browsers C The Strict Mode of ECMAScript D Host Layering Points E Corrections and Clarifications in ECMAScript 2015 with Possible Compatibility Impact F Additions and Changes That Introduce Incompatibilities with Prior Editions G Colophon H Bibliography I Copyright & Software License ```quote ... https://en.wikipedia.org/wiki/List_of_ECMAScript_engines https://docs.python.org/3/reference/introduction.html#alternate-implementations On Sat, Feb 13, 2021 at 1:18 PM Stefano Borini <stefano.bor...@gmail.com> wrote: > Not sure about python, but throughout my career I had to work with > MISRA C standardisation for critical systems. > There is more and more that is handled by python that also needs to go > through validation. I wonder if there's value in that? > > > On Fri, 12 Feb 2021 at 18:40, Dan Stromberg <drsali...@gmail.com> wrote: > > > > > > What would it take to create an ANSI, ECMA and/or ISO standard for > Python? > > > > It seems to have really helped C. > > > > It looks like Java isn't standardized, and it's done OK, though perhaps > it was healthier in the past - before Oracle decided API's were ownable. > > > > I think standardizing Python might be really good for controlling its > growth and avoiding featuritis. > > > > _______________________________________________ > > Python-Dev mailing list -- python-dev@python.org > > To unsubscribe send an email to python-dev-le...@python.org > > https://mail.python.org/mailman3/lists/python-dev.python.org/ > > Message archived at > https://mail.python.org/archives/list/python-dev@python.org/message/JZYW4JOTANYIOLYDQ6YHRUP2TWO52OAE/ > > Code of Conduct: http://python.org/psf/codeofconduct/ > > > > -- > Kind regards, > > Stefano Borini > _______________________________________________ > Python-Dev mailing list -- python-dev@python.org > To unsubscribe send an email to python-dev-le...@python.org > https://mail.python.org/mailman3/lists/python-dev.python.org/ > Message archived at > https://mail.python.org/archives/list/python-dev@python.org/message/NR3UAEPEUJCWDBQVQW3QN4JYZWZNR2IU/ > Code of Conduct: http://python.org/psf/codeofconduct/ >
_______________________________________________ Python-Dev mailing list -- python-dev@python.org To unsubscribe send an email to python-dev-le...@python.org https://mail.python.org/mailman3/lists/python-dev.python.org/ Message archived at https://mail.python.org/archives/list/python-dev@python.org/message/WBDCMKUYRCBG5V3KFZMNOQ3X3S7SODJH/ Code of Conduct: http://python.org/psf/codeofconduct/
