Re: [TYPES] Formal models of python-like languages

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

On 2017-12-06 14:40, Halley Young <[email protected]> writes:

> I have had trouble finding formal research regarding languages with all or
> most of the properties of core python.  Python has the following properties:
>
> 1. It is often used in a purely imperative style, and has side effects and
> pointers.
> 2. Functions are first class variables, and can be higher-order or
> anonymous.
> 3. One can define objects with subclasses and inheritance, but not
> everything is wrapped in a class.
> 4. There is dynamic "duck typing," and branches based on runtime checks of
> types.
>
> Even though obviously research on any one of these properties exist,
> research on languages combining them all, or even just programming with
> side-effects/pointers and higher order functions, seem to be much rarer.
> Do you know of any work that has been done formalizing languages with all
> or most of these features?

Would JavaScript count (it seems to only be missing pointers)? If so,
there are several formalizations of it.

http://cs.brown.edu/research/plt/dl/s5/
http://fsl.cs.illinois.edu/index.php/KJS:_A_Complete_Formal_Semantics_of_JavaScript
http://jscert.org/

Best,

Alan

-- 
OpenPGP Key ID : 040D0A3B4ED2E5C7
Monthly Athmospheric CO₂, Mauna Loa Obs. 2017-11: 405.14, 2016-11: 403.53