Search Sciweavers | Sciweavers

3535 search results - page 35 / 707

» Logic Program Specialisation

145

click to vote

LOPSTR
2009
Springer

229views Automated Reasoning» more LOPSTR 2009»

Deciding Full Branching Time Logic by Program Transformation

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

204

click to vote

POPL
2002
ACM

123views Programming Languages» more POPL 2002»

Analyzing security protocols with secrecy types and logic programs

16 years 3 months ago

Download users.soe.ucsc.edu

Bruno Blanchet, Martín Abadi

claim paper

Read More »

105

Voted

PADL
2007
Springer

131views Programming Languages» more PADL 2007»

Inductive Logic Programming by Instance Patterns

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

15 years 7 months ago

Download www.dsi.unive.it

Annalisa Bossi, Nicoletta Cocco, Sabina Rossi

claim paper

Read More »

111

click to vote

ESOP
1999
Springer

96views Programming Languages» more ESOP 1999»

A Programming Logic for Sequential Java

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers