Search Sciweavers | Sciweavers

30 search results - page 1 / 6

» lpar 2005

click to vote

LPAR
2005
Springer

97views Automated Reasoning» more LPAR 2005»

Characterizing Provability in

13 years 10 months ago

Download www.loria.fr

Didier Galmiche, Daniel Méry

claim paper

Read More »

click to vote

LPAR
2005
Springer

97views Automated Reasoning» more LPAR 2005»

Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages

13 years 10 months ago

Download www-users.cs.umn.edu

Gopalan Nadathur, Xiaochu Qi

claim paper

Read More »

click to vote

LPAR
2005
Springer

93views Automated Reasoning» more LPAR 2005»

Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics

13 years 10 months ago

Download formal.cs.uiuc.edu

Wolfgang Ahrendt, Andreas Roth, Ralf Sasse

claim paper

Read More »

click to vote

LPAR
2005
Springer

94views Automated Reasoning» more LPAR 2005»

Zap: Automated Theorem Proving for Software Analysis

13 years 10 months ago

Download research.microsoft.com

Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvath...

claim paper

Read More »

click to vote

LPAR
2005
Springer

105views Automated Reasoning» more LPAR 2005»

Monotone AC-Tree Automata

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers