Simone Forster

Learn More
Traffic authorities work hard to improve resource utilization in traffic. But these efforts do not consider that the valuations of waiting time can be different for each driver, e.g., a driver of a courier service delivering express mail typically has a higher valuation of reduced waiting time than other motorists. We propose that traffic-control mechanisms(More)
In theory, program result checking has been established as a well-suited method to construct formally correct compiler frontends but it has never proved its practicality for real-life compilers. Such a proof is necessary to establish result checking as the method of choice to implement compilers correctly. We show that the lexical analysis of the GNU C(More)
  • 1