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

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

[Cover art]

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

10.1109/lics.2008.53 ◽

2008 ◽

Keyword(s):

Cover Art

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

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

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

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

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

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

Types for Hereditary Permutators

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

10.1109/lics.2008.18 ◽

2008 ◽

Author(s):

Makoto Tatsuta

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