Search Sciweavers | Sciweavers

1194 search results - page 33 / 239

» A Calculus for Predicative Programming

195

click to vote

ALC
1997

277views Programming Languages» more ALC 1997»

Predicative semantics of loops

15 years 3 months ago

Download www.engr.mun.ca

A predicative semantics is a mapping of programs to predicates. These predicates characterize sets of acceptable observations. The presence of time in the observations makes the o...

Theodore S. Norvell

claim paper

Read More »

Voted

ICFP
2002
ACM

76views Programming Languages» more ICFP 2002»

An interoperable calculus for external object access

16 years 2 months ago

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

Atsushi Ohori, Kiyoshi Yamatodani

claim paper

Read More »

click to vote

ESOP
2007
Springer

147views Programming Languages» more ESOP 2007»

A Concurrent Calculus with Atomic Transactions

15 years 8 months ago

Download www.irit.fr

Lucia Acciai, Michele Boreale, Silvano Dal-Zilio

claim paper

Read More »

111

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 6 months ago

Download satoss.uni.lu

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

claim paper

Read More »

128

click to vote

CTCS
1997
Springer

185views Programming Languages» more CTCS 1997»

Presheaf Models for the pi-Calculus

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers