Search Sciweavers | Sciweavers

13271 search results - page 255 / 2655

» Computers, Programming, and People

122

click to vote

ERSHOV
2001
Springer

132views Theoretical Computer Science» more ERSHOV 2001»

A Theoretical Foundation of Program Synthesis by Equivalent Transformation

15 years 11 months ago

Download assam.cims.hokudai.ac.jp

Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi

claim paper

Read More »

137

click to vote

ERSHOV
2001
Springer

59views Theoretical Computer Science» more ERSHOV 2001»

On Expressive and Model Checking Power of Propositional Program Logics

15 years 11 months ago

Download www.iis.nsk.su

Nikolay V. Shilov, Kwang Yi

claim paper

Read More »

133

click to vote

RTA
2001
Springer

103views Theoretical Computer Science» more RTA 2001»

Relating Accumulative and Non-accumulative Functional Programs

15 years 11 months ago

Download repository.readscheme.org

Armin Kühnemann, Robert Glück, Kazuhiko ...

claim paper

Read More »

137

click to vote

IPPS
2000
IEEE

114views Distributed And Parallel Com...» more IPPS 2000»

Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification

15 years 11 months ago

Download ipdps.cc.gatech.edu

Dominique Cansell, Dominique Méry, Christop...

claim paper

Read More »

121

click to vote

IPPS
2000
IEEE

97views Distributed And Parallel Com...» more IPPS 2000»

Clix - A Hybrid Programming Environment for Distributed Objects and Distributed Shared Memory

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers