Sciweavers

352 search results - page 3 / 71

» The Structure of First-Order Causality

111

CADE
2005
Springer

117views Logical Reasoning» more CADE 2005»

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

16 years 3 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 »

95

VMCAI
2007
Springer

89views Software Engineering» more VMCAI 2007»

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

15 years 9 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 »

84

IJFCS
2008

63views more IJFCS 2008»

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

15 years 3 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 »

90

JISE
2007

64views more JISE 2007»

Virtual First-Order Structure

15 years 3 months ago

Virtual First-Order Structure

Download www.iis.sinica.edu.tw

Daniel Yuh Chao

claim paper

Read More »

116

PADL
2010
Springer

153views Programming Languages» more PADL 2010»

First-Order Interactive Programming

16 years 3 days 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 »