Soliciting for C programs or snippets to test alias analysis
Dear folk,I'm working on a standalone pointer/alias analyzer for ANSI C(C99), and have a plan to release the analyzer as open source project.To ensure the correctness of the analysis, identify the cause ofimprecision, and explore the method to improve precision, I need somereal uses of poin...
3 answers | 1764 bytes |
AMPC 1.3.4 released (C to JVM compiler suite)
This message is to inform you about the release of version '1.3.4'of AMPC (Axiomatic Multi-Platform C) C to JVM compiler suite.Detailed info can be found at:http://www.axiomsol.comThe changes in this release are as follows:The latest AMPC allows pointer to struct variables beaccessed u...
0 answers | 1322 bytes |
WANTED: One good retargettable compiler back end
We are attempting to retarget the sdcc ( http://sdcc.sourceforge.net/)open source compiler to a new processor. (Freescale 68HC9S12X)We looked at gcc, but think it is much better suited to generalpurpose processors rather than 8/16 bit processors with limitedregisters, Harvard memory maps, etc.Sd...
4 answers | 1770 bytes |
Assembler using Lex/Yacc
Hi there,I was working on an assembler for X64 architecture. I was wonderingwhat are the tradeoffs in designing an assembler using lex or re2c andyacc? Why is that handwritten assemblers are more popular than thosedeveloped using lex/yacc? Developing a grammar is the toughest part,but once you h...
1 answers | 1307 bytes |
lex question
I am writing a parser with lex. I have some problems:In the definition section I define a whole bunch of stuff and I alsoused them to define other things.So I haveX [something]and I want Y to be anything but X so when I define it like:Y [^{X}] it only exclude the characters '{' , '...
2 answers | 645 bytes |
Coco/R for Java
Hello,I am new to using Coco/R, does anyone know a good, simple tutorial and howto install Coco?Thanks in advance!Regards,Dennis...
0 answers | 175 bytes |
comp.compilers monthly message and Frequently Asked Questions
Archive-name: compilers/faqLast-modified: $Date: 2005/09/26 04:38:00 $This is the comp.compilers monthly message. Changes since last month areindicated by the usual marks in the right margin.Contents:-- What is comp.compilers?-- How do I receive it?-- How do I submit a message?-- What happens to...
0 answers | 41591 bytes |
Catalog of compilers, interpreters, and other language tools
Archive-name: compilers/free/part1Last-modified: 2000/02/08Version: 10.3 - pointerThe Catalog of Free Compilers and Interpreters lists freely availablesoftware for language tools, which includes the following: compilers,compiler generators, interpreters, translators, important libraries,assemble...
0 answers | 1162 bytes |
from lambda to language and grammar
It can now be shown that the rule system of the language machineeffectively contains the lambda calculus. Here are links to asingle-page summary of this finding and its implications, to the lambdaimplementation itself, and also to a surprising discovery:The language machine is an efficient and d...
0 answers | 552 bytes |
ABNF Parser Generator
ang-usenet@gmail.com (Aaron Gray) (2005-06-26) wrote:>APG is not meta and does not seem to have its own bootstrap supplied.>Its actions are event like which is fine for protocol recognition but it is>not really geared up for normal gramatical and syntatic recognition of>languages.>...
0 answers | 2616 bytes |
Flowcharts with graphviz? Preprocessors/m4?
Hello,want to create flowcharts.Want to use graphviz, but it lacks some symbolsand typing is a littlebid more verbose than I want.Someone who knows a specialized preprocessor orhas some m4-macros for that purpose?(If I had more time I would write a tool for myself,but it's urgent.)TIA,...
2 answers | 358 bytes |
Compiler positions available for week ending November 27
This is a digest of ``help wanted'' and ``position available'' messagesreceived at comp.compilers during the preceding week. Messages mustadvertise a position having something to do with compilers and must alsoconform to the guidelines periodically posted in misc.jobs.offered...
0 answers | 1488 bytes |
Coordination 2006: Second call for papers (Bologna IT, Jun 06)
Second Call for PapersCRDINATIN 20068th International Conference on Coordination Models and Languagesas part ofDisCoTec'06 - Distributed Computing Techniquesco-located with DAIS'06 & FMDS'06Bologna, Italy14-16 June 2006IMPRTANT DATES* Submission of abstract: 10 January 2006* Submi...
0 answers | 5274 bytes |
Announcing TextTransformer 1.0.0 : parser generator / c++ interpreter IDE
The TextTransformer is a visual development environment for building,debugging and executing of parsers and translators. TheTextTransformer is made both for end-users and for developers. The IDEruns on Windows, the created code can be compiled on any system thathas an ANSI/IS C++ Compiler.IDE- T...
0 answers | 2709 bytes |
array bounds checking
HiI am wondering if anybody knew how array bounds checks worked whenthey are references through multiple indirections of pointers. Eg: p =A ; q= &p; q+100=0; So q is referencing A. And hence I would likea check inserted there.Do array bounds checking handle these cases, because thisalso would ne...
4 answers | 606 bytes |
- Algorithm for finding dominators in a control flow graph
- Pointers to global and stack variables
- CFP: COCV 2006, Vienna, Austria, April 2, 2006
- bigloo2.7a
- Compiler positions available for week ending November 20
- Disassembler for ARM CPU's in PDAs ?
- Alias analysis
- detecting constants at runtime
- tips for writing regular expression interpreter/compiler?
- Global versus Stack variables
- Threaded Interpreter
- Parsing newbie -- recursion question (probably simple)
- Survey of intermediate program representations?
- Implementing classes
- Parsing Expression Grammar
- Declaration, Definition & Reference listers for C
- Home- About Us- Contact- Privacy Statement- Link Exchange- Bookmark- Map.XML- Rss.Xml
- Copyright 2001-2009 by DEV.THATSCRIPTS.COM Information Technology Co.,Ltd All rights reserved
- 0.375