Search Sciweavers | Sciweavers

2236 search results - page 8 / 448

» Language Independence and Language Tolerance in Logic Progra...

115

click to vote

ICALP
1991
Springer

99views Programming Languages» more ICALP 1991»

Logical and Computational Aspects of Programming with Sets/Bags/Lists

15 years 8 months ago

Download www.ircs.upenn.edu

Val Tannen, Ramesh Subrahmanyam

claim paper

Read More »

249

click to vote

POPL
2009
ACM

113views Programming Languages» more POPL 2009»

Classical BI: a logic for reasoning about dualising resources

16 years 5 months ago

Download www.doc.ic.ac.uk

James Brotherston, Cristiano Calcagno

claim paper

Read More »

117

click to vote

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

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

15 years 11 months ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

111

click to vote

POPL
2000
ACM

126views Programming Languages» more POPL 2000»

Anytime, Anywhere: Modal Logics for Mobile Ambients

15 years 9 months ago

Download research.microsoft.com

Luca Cardelli, Andrew D. Gordon

claim paper

Read More »

119

Voted

IFIP
1994
Springer

106views Programming Languages» more IFIP 1994»

Deriving Partial Correctness Logics From Evolving Algebras

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers