APLAS 2007 - PDF Preprint Papers

APLAS 2007 Asian Symposium on Programming Languages and Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed APLAS-2007 Paper

click to vote

APLAS
2007
ACM

166views Programming Languages» more APLAS 2007»

The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer

13 years 9 months ago

Download www.diku.dk

We rationally reconstruct the core of the Coccinelle system, used for automating and documenting collateral evolutions in Linux device drivers. A denotational semantics of the syst...

Neil D. Jones, René Rydhof Hansen

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	166	The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer	claim
2	154	Local Reasoning for Storable Locks and Threads	claim
3	149	Finally Tagless, Partially Evaluated	claim
4	147	More Typed Assembly Languages for Confidentiality	claim
5	137	A Systematic Approach to Probabilistic Pointer Analysis	claim
6	134	A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract	claim
7	129	A Probabilistic Applied Pi-Calculus	claim
8	125	Mixed Inductive/Coinductive Types and Strong Normalization	claim
9	122	Call-by-Name and Call-by-Value in Normal Modal Logic	claim
10	120	Translation Correctness for First-Order Object-Oriented Pattern Matching	claim
11	117	Timed, Distributed, Probabilistic, Typed Processes	claim
12	116	Adjunct Elimination in Context Logic for Trees	claim
13	113	Monadic, Prompt Lazy Assertions in Haskell	claim
14	112	On a Tighter Integration of Functional and Logic Programming	claim
15	108	Scalable Simulation of Cellular Signaling Networks	claim
16	102	Type-Based Verification of Correspondence Assertions for Communication Protocols	claim
17	101	Deriving Compilers and Virtual Machines for a Multi-level Language	claim
18	97	Complete Lattices and Up-To Techniques	claim
19	95	Polymorphic Delimited Continuations	claim
20	88	CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence	claim
21	83	The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers