Search Sciweavers | Sciweavers

3319 search results - page 68 / 664

» Subshifts, Languages and Logic

213

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 »

270

click to vote

ICLP
2009
Springer

100views Automated Reasoning» more ICLP 2009»

Logic-Statistic Models with Constraints for Biological Sequence Analysis

16 years 7 months ago

Download akira.ruc.dk

Christian Theil Have

claim paper

Read More »

131

click to vote

ICALP
2007
Springer

88views Programming Languages» more ICALP 2007»

Ready Simulation for Concurrency: It's Logical!

16 years 29 days ago

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

Gerald Lüttgen, Walter Vogler

claim paper

Read More »

108

click to vote

ICLP
2007
Springer

61views Automated Reasoning» more ICLP 2007»

Ontology Based Information Integration Using Logic Programming

16 years 28 days ago

Download sunsite.informatik.rwth-aachen.de

Gergely Lukácsy, Péter Szeredi

claim paper

Read More »

152

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 28 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers