2008 23rd Annual IEEE Symposium on Logic in Computer Science
Latest Publications

TOTAL DOCUMENTS

53

(FIVE YEARS 0)

H-INDEX

12

(FIVE YEARS 0)

Published By IEEE

9780769531830

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs

2008 23rd Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2008.37 ◽

2008 ◽

Author(s):

Vineet Kahlon

Keyword(s):

Concurrent Programs ◽

Dataflow Analysis

Download Full-text

[Cover art]

2008 23rd Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2008.53 ◽

2008 ◽

Keyword(s):

Download Full-text

General Structural Operational Semantics through Categorical Logic

2008 23rd Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2008.43 ◽

2008 ◽

Author(s):

Sam Staton

Keyword(s):

Operational Semantics ◽

Categorical Logic ◽

Structural Operational Semantics

Download Full-text

A Logic for Algebraic Effects

2008 23rd Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2008.45 ◽

2008 ◽

Author(s):

Gordon Plotkin ◽

Matija Pretnar

Download Full-text

On the Axiomatizability of Impossible Futures: Preorder versus Equivalence

2008 23rd Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2008.13 ◽

2008 ◽

Author(s):

Taolue Chen ◽

Wan Fokkink

Download Full-text

Definable Tree Decompositions

2008 23rd Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2008.10 ◽

2008 ◽

Author(s):

Martin Grohe

Keyword(s):

Tree Decompositions

Download Full-text

Piecewise Testable Tree Languages

2008 23rd Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2008.46 ◽

2008 ◽

Author(s):

Mikolaj Bojanczyk ◽

Luc Segoufin ◽

Howard Straubing

Keyword(s):

Download Full-text

Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule

2008 23rd Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2008.16 ◽

2008 ◽

Author(s):

Francois Pottier

Keyword(s):

Higher Order ◽

Download Full-text

Typed Normal Form Bisimulation for Parametric Polymorphism

2008 23rd Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2008.26 ◽

2008 ◽

Author(s):

Soren B. Lassen ◽

Paul Blain Levy

Keyword(s):

Normal Form ◽

Parametric Polymorphism

Download Full-text

Quantified Constraints and Containment Problems

2008 23rd Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2008.15 ◽

2008 ◽

Author(s):

Hubie Chen ◽

Florent Madelaine ◽

Barnaby Martin

Download Full-text