Search Sciweavers | Sciweavers

3713 search results - page 36 / 743

» Constructing a Calculus of Programs

143

click to vote

PPDP
2010
Springer

147views Programming Languages» more PPDP 2010»

Functional derivation of a virtual machine for delimited continuations

15 years 4 months ago

Download pllab.is.ocha.ac.jp

This paper connects the deﬁnitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...

Kenichi Asai, Arisa Kitani

claim paper

Read More »

126

click to vote

ICFP
2002
ACM

76views Programming Languages» more ICFP 2002»

An interoperable calculus for external object access

16 years 5 months ago

Download www.pllab.riec.tohoku.ac.jp

Atsushi Ohori, Kiyoshi Yamatodani

claim paper

Read More »

125

click to vote

ESOP
2007
Springer

147views Programming Languages» more ESOP 2007»

A Concurrent Calculus with Atomic Transactions

16 years 3 days ago

Download www.irit.fr

Lucia Acciai, Michele Boreale, Silvano Dal-Zilio

claim paper

Read More »

152

click to vote

TOOLS
1999
IEEE

84views Programming Languages» more TOOLS 1999»

A Formal Software Development Approach Based on COOZ and Refinement Calculus

15 years 10 months ago

Download satoss.uni.lu

Yunfeng Wang, Bixin Li, Jun Pang, Ming Zha, Guolia...

claim paper

Read More »

173

click to vote

CTCS
1997
Springer

185views Programming Languages» more CTCS 1997»

Presheaf Models for the pi-Calculus

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers