Sciweavers

352 search results - page 3 / 71

» The Structure of First-Order Causality

16

CADE
2005
Springer

117views Logical Reasoning» more CADE 2005»

Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures

14 years 5 months ago

Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures

Download www.cs.wisc.edu

Greta Yorsh, Neil Immerman, Shmuel Sagiv, Siddhart...

claim paper

Read More »

11

VMCAI
2007
Springer

89views Software Engineering» more VMCAI 2007»

Using First-Order Theorem Provers in the Jahob Data Structure Verification System

13 years 11 months ago

Using First-Order Theorem Provers in the Jahob Data Structure Verification System

Download www.mit.edu

Charles Bouillaguet, Viktor Kuncak, Thomas Wies, K...

claim paper

Read More »

5

IJFCS
2008

63views more IJFCS 2008»

A Normal Form for First-Order Logic over Doubly-Linked Data Structures

13 years 5 months ago

A Normal Form for First-Order Logic over Doubly-Linked Data Structures

Download www.newton.ac.uk

Steven Lindell

claim paper

Read More »

14

JISE
2007

64views more JISE 2007»

Virtual First-Order Structure

13 years 5 months ago

Virtual First-Order Structure

Download www.iis.sinica.edu.tw

Daniel Yuh Chao

claim paper

Read More »

16

PADL
2010
Springer

153views Programming Languages» more PADL 2010»

First-Order Interactive Programming

14 years 2 months ago

First-Order Interactive Programming

Download dynamicaspects.org

Abstract. Interactive programming is a method for implementing programming languages that supports an interactive, exploratory style of program development and debugging. The basic...

Roly Perera

claim paper

Read More »

« Prev « First page 3 / 71 Last » Next »