Re: Number of compiler passes

> Out of pure curiosity: what kind of language are you trying to develop?
> What are you planning to do with it? That would interest me.


I have already answered you by mail, but I'll repeat it for the group
(minus the question about your own language):


It's a language I'm designing and implementing with a colleague for
our Masters degree in Computer Science. On the surface it's just an
imperative language with some nice tricks (like the nested
functions). But we're using it primarily for research on automatic
correctness proving.


The language has a special syntax for function preconditions,
postconditions and invariants. The hope is that most of these
assertions can be proved at compile time. This framework would also
clear the way for a lot of new compiler optimizations. It also has
other benefits.


That's its most important feature. As a part of my research I hope to
add new paradigms (OOP, functional) to the language one by one as long
as they can still be supported by this framework.


By the way, I'm still not sure what to name the language. Any ideas?


--
Michiel Helvensteijn

Return to the comp.compilers page.
Search the comp.compilers archives again.