Thomas Nordin

Learn More
Of late it has become very common for research compilers to emit C as their target code, relying on a C compiler to generate machine code. In eeect, C is being used as a portable compiler target language. It ooers a simple and eeective way of avoiding the need to re-implement eeective register allocation, instruction selection, and instruction scheduling,(More)
We describe a uniied, lazy, declarative framework for solving constraint satisfaction problems , an important subclass of combinatorial search problems. These problems are both practically signiicant and computationally hard. Finding solutions involves combining good general-purpose search algorithms with problem-speciic heuristics. Conventional imperative(More)
Acknowledgements Cryptol has been under development for over a decade with many people contributing to its design and implementation. Those people include (but are not limited to) This documentation is furnished for informational use only and is subject to change without notice. Galois, Inc. assumes no responsibility or liability for any errors or(More)
This paper discusses a new approach to interactive modeling, visualization and analysis of complex industrial processes. A theoretical framework based on signal flow graphs for modeling and visualization is presented. Using this framework a software tool is designed, called ProMoVis, which can be used to model a process, to visualize the models together(More)
We describe a uniied, lazy, declarative framework for solving constraint satisfaction problems , an important subclass of combinatorial search problems. These problems are both practically signiicant and computationally hard. Finding solutions involves combining good general-purpose search algorithms with problem-speciic heuristics. Conventional imperative(More)
  • 1