Semantics, Logics, and Calculi - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319278094, 9783319278100
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Replicating Data for Better Performances in X10

2015 ◽  
pp. 236-251
Author(s):  
Marina Andrić ◽  
Rocco De Nicola ◽  
Alberto Lluch Lafuente

scholarly journals Abstract Interpretation of PEPA Models

2015 ◽  
pp. 140-158
Author(s):  
Stephen Gilmore ◽  
Jane Hillston ◽  
Natalia Zoń
Keyword(s):  
Abstract Interpretation

Modal Intersection Types, Two-Level Languages, and Staged Synthesis

2015 ◽  
pp. 289-312
Author(s):  
Fritz Henglein ◽  
Jakob Rehof
Keyword(s):  
Intersection Types

scholarly journals Static Analysis of Parity Games: Alternating Reachability Under Parity

2015 ◽  
pp. 159-177 ◽  
Author(s):  
Michael Huth ◽  
Jim Huan-Pu Kuo ◽  
Nir Piterman
Keyword(s):  
Static Analysis ◽  
Parity Games

Enhancing Top-Down Solving with Widening and Narrowing

2015 ◽  
pp. 272-288 ◽  
Author(s):  
Kalmer Apinis ◽  
Helmut Seidl ◽  
Vesal Vojdani
Keyword(s):  
Top Down

scholarly journals Schedulers are no Prophets

2015 ◽  
pp. 214-235 ◽  
Author(s):  
Arnd Hartmanns ◽  
Holger Hermanns ◽  
Jan Krčál

An Automata-Based Approach to Trace Partitioned Abstract Interpretation

2015 ◽  
pp. 88-110
Author(s):  
Mads Christian Olesen ◽  
René Rydhof Hansen ◽  
Kim Guldstrand Larsen
Keyword(s):  
Abstract Interpretation

Playing with Abstraction and Representation

2015 ◽  
pp. 191-213 ◽  
Author(s):  
Bernhard Steffen ◽  
Malte Isberner ◽  
Marc Jasper

scholarly journals Effect Systems Revisited—Control-Flow Algebra and Semantics

2015 ◽  
pp. 1-32 ◽  
Author(s):  
Alan Mycroft ◽  
Dominic Orchard ◽  
Tomas Petricek
Keyword(s):  
Control Flow
Load More ...
Sign in / Sign up

Export Citation Format

Share Document