ERSHOV 2009 - PDF Preprint Papers

ERSHOV 2009 International Sympoisum on Theoretical Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ERSHOV-2009 Paper

click to vote

ERSHOV
2009
Springer

189views Theoretical Computer Science» more ERSHOV 2009»

Anti-unification Algorithms and Their Applications in Program Analysis

14 years 4 months ago

Download lvk.cs.msu.su

A term t is called a template of terms t1 and t2 iff t1 = t1 and t2 = t2, for some substitutions 1 and 2. A template t of t1 and t2 is called the most specific iff for any template...

Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Z...

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	189	Anti-unification Algorithms and Their Applications in Program Analysis	claim
2	174	On the Containment Problem for Queries in Conjunctive Form with Negation	claim
3	174	A Complete Invariant Generation Approach for P-solvable Loops	claim
4	167	From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research	claim
5	162	Indexing Dense Nested Metric Spaces for Efficient Similarity Search	claim
6	160	Symbolic Bounded Conformance Checking of Model Programs	claim
7	159	SVM Paradoxes	claim
8	157	Planet Map Generation by Tetrahedral Subdivision	claim
9	153	Invariants, Modularity, and Rights	claim
10	152	Applicability of the BLAST Model Checker: An Industrial Case Study	claim
11	151	Multi-level Virtual Machine Debugging Using the Java Platform Debugger Architecture	claim
12	136	Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+	claim
13	134	Privacy Preserving Modules for Ontologies	claim
14	125	Towards a Scalable, Pragmatic Knowledge Representation Language for the Web	claim
15	123	A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols	claim
16	121	A Query Language for Logic Architectures	claim
17	115	Standardization and Testing of Mathematical Functions	claim
18	102	Proving the Equivalence of Higher-Order Terms by Means of Supercompilation

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers