Search Sciweavers | Sciweavers

2000 search results - page 44 / 400

» Program Transformation and Proof Transformation

119

click to vote

DLS
2008

213views Languages» more DLS 2008»

A parsing machine for PEGs

15 years 5 months ago

Download www.inf.puc-rio.br

Parsing Expression Grammar (PEG) is a recognition-based foundation for describing syntax that renewed interest in top-down parsing approaches. Generally, the implementation of PEG...

Sérgio Medeiros, Roberto Ierusalimschy

claim paper

Read More »

105

click to vote

PEPM
2007
ACM

86views Software Engineering» more PEPM 2007»

Transformation of structure-shy programs: applied to XPath queries and strategic functions

15 years 9 months ago

Download www3.di.uminho.pt

Alcino Cunha, Joost Visser

claim paper

Read More »

Voted

SCAM
2005
IEEE

59views Software Engineering» more SCAM 2005»

Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar

15 years 8 months ago

Download www.complang.tuwien.ac.at

Markus Schordan, Daniel J. Quinlan

claim paper

Read More »

117

click to vote

PASTE
2005
ACM

107views Software Engineering» more PASTE 2005»

Making distributed systems secure with program analysis and transformation

15 years 8 months ago

Download groups.csail.mit.edu

Andrew C. Myers

claim paper

Read More »

click to vote

AOSD
2004
ACM

85views Software Engineering» more AOSD 2004»

A technique for constructing aspect weavers using a program transformation engine

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers