Tagged Questions
4
votes
2answers
75 views
Getting started with Program Analysis
I'm looking for resources on getting started with program analysis.
The only book I've found on the topic is the Nielson & Nielson book.
Other than that, it seems like there are only "compiler" ...
0
votes
3answers
92 views
Top Turing machine simulators on the web? [closed]
There are many Turing machine simulators on the web of varying degrees of sophistication and can be highly useful for pedagogical purposes for students of widely varying ages, and they also have ...
0
votes
1answer
96 views
What are current approaches to auto-parallelisation?
I am looking for answers which provide short overview of models and current state of research for auto-parallelisation of sequential code.
3
votes
0answers
152 views
is there a compiler from high level language to Turing machine? [closed]
For many years I have looked for a compiler that converts an arbitrary program written in a high-level/human-readable programming language (binary variables, arrays, strings, subroutines, loops, ...
