Search Sciweavers | Sciweavers

3319 search results - page 68 / 664

» Subshifts, Languages and Logic

188

click to vote

PLDI
2011
ACM

224views Programming Languages» more PLDI 2011»

Evaluating value-graph translation validation for LLVM

14 years 9 months ago

Download people.seas.harvard.edu

Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...

Jean-Baptiste Tristan, Paul Govereau, Greg Morrise...

claim paper

Read More »

250

click to vote

ICLP
2009
Springer

100views Automated Reasoning» more ICLP 2009»

Logic-Statistic Models with Constraints for Biological Sequence Analysis

16 years 6 months ago

Download akira.ruc.dk

Christian Theil Have

claim paper

Read More »

118

click to vote

ICALP
2007
Springer

88views Programming Languages» more ICALP 2007»

Ready Simulation for Concurrency: It's Logical!

16 years 9 days ago

Download www-users.cs.york.ac.uk

Gerald Lüttgen, Walter Vogler

claim paper

Read More »

click to vote

ICLP
2007
Springer

61views Automated Reasoning» more ICLP 2007»

Ontology Based Information Integration Using Logic Programming

16 years 9 days ago

Download sunsite.informatik.rwth-aachen.de

Gergely Lukácsy, Péter Szeredi

claim paper

Read More »

136

click to vote

ICLP
2007
Springer

90views Automated Reasoning» more ICLP 2007»

Visual Logic Programming Method Based on Structural Analysis and Design Technique

16 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers