FAC 2010 - PDF Preprint Papers

FAC 2010

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed FAC-2010 Paper

click to vote

FAC
2010

259views more FAC 2010»

An algebraic approach to the design of compilers for object-oriented languages

13 years 10 months ago

Download www.natalnet.br

Here we describe an algebraic approach to constructing a provably correct compiler for an object-oriented language called ROOL. We tackle the problem of compiler correctness by red...

Adolfo Duran, Ana Cavalcanti, Augusto Sampaio

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	259	An algebraic approach to the design of compilers for object-oriented languages	claim
2	148	Automating the transformation-based analysis of visual languages	claim
3	140	From a domain analysis to the specification and detection of code and design smells	claim
4	121	Blaming the client: on data refinement in the presence of pointers	claim
5	107	Algebra and logic for access control	claim
6	107	Atomic actions, and their refinements to isolated protocols	claim
7	106	Automatic verification of Java programs with dynamic frames	claim
8	105	A formalization of geometric constraint systems and their decomposition	claim
9	93	Verification and falsification of programs with loops using predicate abstraction	claim
10	93	Inter-process buffers in separation logic with rely-guarantee	claim
11	68	A lazy approach to symmetry reduction	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers