Description:
Compiler construction, theory, etc. (Moderated)
|
|
|
Auto vectorizing compiler ?
|
| |
I've just started working on programming models for many-core machines, and was wondering what the state of the art in terms of parallelization of serial code is. I'm most interested in SIMD vectorization right now... does anyone have a point to articles, websites, research etc on this topic? Thanks!... more »
|
|
|
Writing a parser for C++ - Ada hybrid
|
| |
Hi all, I'm currently trying to write a grammar for a C++/ADA hybrid language. I have built my grammar file, and everything went smoothly. But since I added the possibility of writing : <expression_evaluating_to_a_cl ass_type>.<some_member> I have been having reduce/reduce problems. Here is the bison output, with grammar and states. I don't know how I can... more »
|
|
|
Stackless compilers?
|
| |
Hi, Could you recommend me some papers on constructing a stackless compilers? I can only find lots of links about Stackless Python, but I am more interested in combination of PI calculus and lambda calculus. I know about CubeVM, but that's just pure PI calculus, and it directly evaluates AST. I would like to read something about compiler design... more »
|
|
|
Incremental compilation and type checking
|
| |
Hi, I'm going to start writing a compiler for a typed OO language (similar to Java or JS 2.0). This is my first real compiler and I'd like to ask you some questions hoping u can help me out in designing the compiler correctly. What I want to do is to support incremental and multithreaded compilation, so I can compile each class file separately in an object... more »
|
|
|
VMCAI 2009: Call for Papers (Georgia USA, Jan 09)
|
| |
============================== ============================== =================== ------------------- CALL FOR PAPERS ------------------- VMCAI 2009 The Tenth International Conference on Verification, Model Checking, and Abstract Interpretation Savannah, GA, USA, January 18-20, 2009... more »
|
|
|
New ICI for MILEPOST GCC (machine learning based research compiler)
|
| |
Dear all, Just a short note that we have released the new Interactive Compilation Interface ([link]) with several optimization plugins for MILEPOST GCC - machine learning based adaptive research compiler. We continue research to reuse optimization knowledge among different programs and architectures based on statistical and machine learning... more »
|
|
|
predictive parsing and non-recursive predictive parsing
|
| |
Hi, I have one question regarding the difference between those two: I can use recursive predictive parsing, which is very straightforward. So what's the advantage of non-recursive predictive parsing. To perform non-recursive parsing, I need to construct FIRST, FOLLOW sets and use explicit stack. On the other hand, recursive predictive... more »
|
|
|
First And Follow
|
| |
Can a first and follow set be derived from a tree? As many texts as I've read on the subject I've been unable to create first and follow sets. I unfortunately don't understand the math (though I got an A in discrete mathematics) or maybe I just cant understand all the symbols or think abstractly enough. In either case... more »
|
|
|
Seed7 Release 2008-06-22
|
| |
Hello, I have released a new version of Seed7: seed7_05_20080622.tgz In the Seed7 programming language new statements and operators can be declared easily. Types are first class objects and therefore templates/generics need no special syntax. Object orientation is used when it brings advantages and not in places when other... more »
|
|
|
