Search Sciweavers | Sciweavers

5482 search results - page 53 / 1097

» Logic Programming and Databases

211

click to vote

LOPSTR
2009
Springer

229views Automated Reasoning» more LOPSTR 2009»

Deciding Full Branching Time Logic by Program Transformation

16 years 1 months ago

Download www.iasi.cnr.it

Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of ﬁnite state reactive systems. The ﬁnite state ...

Alberto Pettorossi, Maurizio Proietti, Valerio Sen...

claim paper

Read More »

271

Voted

POPL
2002
ACM

123views Programming Languages» more POPL 2002»

Analyzing security protocols with secrecy types and logic programs

16 years 7 months ago

Download users.soe.ucsc.edu

Bruno Blanchet, Martín Abadi

claim paper

Read More »

152

click to vote

PADL
2007
Springer

131views Programming Languages» more PADL 2007»

Inductive Logic Programming by Instance Patterns

16 years 1 months ago

Download www.cs.nmsu.edu

Chongbing Liu, Enrico Pontelli

claim paper

Read More »

135

click to vote

PPDP
2001
Springer

79views Programming Languages» more PPDP 2001»

Termination of Well-Typed Logic Programs

15 years 11 months ago

Download www.dsi.unive.it

Annalisa Bossi, Nicoletta Cocco, Sabina Rossi

claim paper

Read More »

159

click to vote

ESOP
1999
Springer

96views Programming Languages» more ESOP 1999»

A Programming Logic for Sequential Java

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers