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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9780769531830

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

General Structural Operational Semantics through Categorical Logic

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

10.1109/lics.2008.43 ◽

2008 ◽

Cited By ~ 12

Author(s):

Sam Staton

Keyword(s):

Operational Semantics ◽

Categorical Logic ◽

Structural Operational Semantics

Download Full-text

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 ◽

Cited By ~ 6

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):

Cover Art

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 ◽

Cited By ~ 2

Author(s):

Taolue Chen ◽

Wan Fokkink

Download Full-text

A Logic for Algebraic Effects

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

10.1109/lics.2008.45 ◽

2008 ◽

Cited By ~ 17

Author(s):

Gordon Plotkin ◽

Matija Pretnar

Download Full-text

Definable Tree Decompositions

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

10.1109/lics.2008.10 ◽

2008 ◽

Cited By ~ 7

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 ◽

Cited By ~ 10

Author(s):

Mikolaj Bojanczyk ◽

Luc Segoufin ◽

Howard Straubing

Keyword(s):

Tree Languages

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 ◽

Cited By ~ 27

Author(s):

Francois Pottier

Keyword(s):

Higher Order ◽

Local State

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 ◽

Cited By ~ 15

Author(s):

Soren B. Lassen ◽

Paul Blain Levy

Keyword(s):

Normal Form ◽

Parametric Polymorphism

Download Full-text

Types for Hereditary Permutators

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

10.1109/lics.2008.18 ◽

2008 ◽

Author(s):

Makoto Tatsuta

Download Full-text

2008 23rd Annual IEEE Symposium on Logic in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

General Structural Operational Semantics through Categorical Logic

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

[Cover art]

On the Axiomatizability of Impossible Futures: Preorder versus Equivalence

A Logic for Algebraic Effects

Definable Tree Decompositions

Piecewise Testable Tree Languages

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

Typed Normal Form Bisimulation for Parametric Polymorphism

Types for Hereditary Permutators

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