Re: irregular expressions, syntax complexity *864-117-4973@kylheku.com (Kaz Kylheku)* (2023-02-23) |

Re: ireegular expressions, syntax complexity *anton@mips.complang.tuwien.ac.at* (2023-02-22) |

Re: irregular expressions, syntax complexity *arnold@freefriends.org* (2023-02-22) |

Re: syntax complexity *anton@mips.complang.tuwien.ac.at* (2023-02-21) |

Re: syntax complexity *nmh@t3x.org (Nils M Holm)* (2023-02-21) |

Call for Papers: PACT 2023 (Vienna, Oct 2023) *jcebrian@um.es (=?UTF-8?Q?Juan_Manuel_Cebri=C3=A1n_Gonz=C3=A1lez?=)* (2023-02-21) |

syntax complexity *christopher.f.clark@compiler-resources.com (Christopher F Clark)* (2023-02-21) |

Re: syntax complexity *anton@mips.complang.tuwien.ac.at* (2023-02-21) |

Re: syntax complexity *gneuner2@comcast.net (George Neuner)* (2023-02-20) |

Re: syntax complexity *gah4@u.washington.edu (gah4)* (2023-02-20) |

Re: syntax complexity *costello@mitre.org (Roger L Costello)* (2023-02-20) |

Re: syntax complexity *gah4@u.washington.edu (gah4)* (2023-02-16) |

Re: syntax complexity *gah4@u.washington.edu (gah4)* (2023-02-16) |

Re: syntax complexity *DrDiettrich1@netscape.net (Hans-Peter Diettrich)* (2023-02-16) |

Re: syntax complexity *tkoenig@netcologne.de (Thomas Koenig)* (2023-02-16) |

syntax complexity *gah4@u.washington.edu (gah4)* (2023-02-15) |

ChatGPT explains compilers *gah4@u.washington.edu (gah4)* (2023-02-15) |

Re: C arithmetic, was Software proofs, was Are there different *drb@ihatespam.msu.edu* (2023-02-12) |

Re: C arithmetic, was Software proofs, was Are there different *anton@mips.complang.tuwien.ac.at* (2023-02-11) |

Re: C arithmetic, was Software proofs, was Are there different *gah4@u.washington.edu (gah4)* (2023-02-11) |

Re: C arithmetic, was Software proofs, was Are there different *gah4@u.washington.edu (gah4)* (2023-02-10) |

Re: C arithmetic, was Software proofs, was Are there different *DrDiettrich1@netscape.net (Hans-Peter Diettrich)* (2023-02-10) |

Re: C arithmetic, was Software proofs, was Are there different *gah4@u.washington.edu (gah4)* (2023-02-09) |

Re: C arithmetic, was Software proofs, was Are there different *gah4@u.washington.edu (gah4)* (2023-02-09) |

Re: C arithmetic, was Software proofs, was Are there different *DrDiettrich1@netscape.net (Hans-Peter Diettrich)* (2023-02-08) |

Re: C arithmetic, was Software proofs, was Are there different *anton@mips.complang.tuwien.ac.at* (2023-02-08) |

Re: C arithmetic, was Software proofs, was Are there different *gah4@u.washington.edu (gah4)* (2023-02-08) |

Re: C arithmetic, was Software proofs, was Are there different *DrDiettrich1@netscape.net (Hans-Peter Diettrich)* (2023-02-07) |

Re: C arithmetic, was Software proofs, was Are there different *gah4@u.washington.edu (gah4)* (2023-02-06) |

Re: C arithmetic, was Software proofs, was Are there different *Keith.S.Thompson+u@gmail.com (Keith Thompson)* (2023-02-05) |

Tweets and toots *johnl@taugh.com (John R Levine)* (2023-02-03) |

Prove the correctness of a compiler front-end *costello@mitre.org (Roger L Costello)* (2023-02-03) |