Search Sciweavers | Sciweavers

540 search results - page 10 / 108

» Logical Semantics of Types for Concurrency

click to vote

LMCS
2006

119views more LMCS 2006»

Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages

13 years 7 months ago

Download www.itu.dk

We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps ...

Lars Birkedal, Noah Torp-Smith, Hongseok Yang

claim paper

Read More »

click to vote

PPDP
2005
Springer

116views Programming Languages» more PPDP 2005»

Isolation-only transactions by typing and versioning

14 years 27 days ago

Download www.cs.put.poznan.pl

In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...

Pawel T. Wojciechowski

claim paper

Read More »

click to vote

DAGSTUHL
2008

66views Software Engineering» more DAGSTUHL 2008»

08061 Executive Summary -- Types, Logics and Semantics for State

13 years 8 months ago

Download drops.dagstuhl.de

From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 State" Conference and Research Center (IBFI), Schloss Dagstuhl. 45 researchers, with interests and expertise in ...

Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morr...

claim paper

Read More »

click to vote

WAIM
2007
Springer

132views Information Technology» more WAIM 2007»

Towards a Type-2 Fuzzy Description Logic for Semantic Search Engine

14 years 1 months ago