Search Sciweavers | Sciweavers

3738 search results - page 48 / 748

» Parametrized Logic Programming

click to vote

LOPSTR
2009
Springer

229views Automated Reasoning» more LOPSTR 2009»

Deciding Full Branching Time Logic by Program Transformation

14 years 2 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 »

click to vote

POPL
2002
ACM

123views Programming Languages» more POPL 2002»

Analyzing security protocols with secrecy types and logic programs

14 years 8 months ago

Download users.soe.ucsc.edu

Bruno Blanchet, Martín Abadi

claim paper

Read More »

click to vote

PADL
2007
Springer

131views Programming Languages» more PADL 2007»

Inductive Logic Programming by Instance Patterns

14 years 2 months ago

Download www.cs.nmsu.edu

Chongbing Liu, Enrico Pontelli

claim paper

Read More »

click to vote

PPDP
2001
Springer

79views Programming Languages» more PPDP 2001»

Termination of Well-Typed Logic Programs

14 years 9 days ago

Download www.dsi.unive.it

Annalisa Bossi, Nicoletta Cocco, Sabina Rossi

claim paper

Read More »

click to vote

ESOP
1999
Springer

96views Programming Languages» more ESOP 1999»

A Programming Logic for Sequential Java

14 years 5 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers