RELMICS 2005 | Sciweavers

43

RELMICS
2005
Springer

114views Theoretical Computer Science» more RELMICS 2005»

Control-Flow Semantics for Assembly-Level Data-Flow Graphs

14 years 5 months ago

Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...

Wolfram Kahl, Christopher Kumar Anand, Jacques Car...

claim paper

Read More »

40

click to vote

RELMICS
2005
Springer

98views Theoretical Computer Science» more RELMICS 2005»

Relational Correspondences for Lattices with Operators

14 years 5 months ago

Download www.cs.utu.fi

In this paper we present some examples of relational correspondences for not necessarily distributive lattices with modal-like operators of possibility (normal and additive operato...

Jouni Järvinen, Ewa Orlowska

claim paper

Read More »

32

click to vote

RELMICS
2005
Springer

97views Theoretical Computer Science» more RELMICS 2005»

A Framework for Kleene Algebra with an Embedded Structure

14 years 5 months ago

Download unit.aist.go.jp

Hitoshi Furusawa

claim paper