Sciweavers

3738 search results - page 51 / 748

» Parametrized Logic Programming

70

POPL
2009
ACM

113views Programming Languages» more POPL 2009»

Classical BI: a logic for reasoning about dualising resources

14 years 8 months ago

Classical BI: a logic for reasoning about dualising resources

Download www.doc.ic.ac.uk

James Brotherston, Cristiano Calcagno

claim paper

Read More »

21

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

14 years 2 months ago

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

19

POPL
2000
ACM

126views Programming Languages» more POPL 2000»

Anytime, Anywhere: Modal Logics for Mobile Ambients

14 years 8 days ago

Anytime, Anywhere: Modal Logics for Mobile Ambients

Download research.microsoft.com

Luca Cardelli, Andrew D. Gordon

claim paper

Read More »

25

IFIP
1994
Springer

106views Programming Languages» more IFIP 1994»

Deriving Partial Correctness Logics From Evolving Algebras

13 years 12 months ago

Deriving Partial Correctness Logics From Evolving Algebras

Download www.eecs.umich.edu

Arnd Poetzsch-Heffter

claim paper

Read More »

24

ECOOP
2007
Springer

119views Programming Languages» more ECOOP 2007»

Code Analyses for Refactoring by Source Code Patterns and Logical Queries

13 years 11 months ago

Code Analyses for Refactoring by Source Code Patterns and Logical Queries

Download roots.iai.uni-bonn.de

Daniel Speicher, Malte Appeltauer, Günter Kni...

claim paper

Read More »

« Prev « First page 51 / 748 Last » Next »