Search Sciweavers | Sciweavers

8132 search results - page 56 / 1627

» Dependability, Abstraction, and Programming

129

click to vote

CSL
2007
Springer

212views Automated Reasoning» more CSL 2007»

Proofs, Programs and Abstract Complexity

15 years 4 months ago

Download math.ipm.ac.ir

Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being �...

Arnold Beckmann

claim paper

Read More »

click to vote

CACM
1999

113views more CACM 1999»

Object-oriented Abstractions for Distributed Programming

14 years 9 months ago

Download www.engr.sjsu.edu

ion suffices ("decide which type you want and provide a full set of operations for each type"). If the application domain is, say, the administration of a university, the...

Rachid Guerraoui, Mohamed Fayad

claim paper

Read More »

click to vote

FGCS
2000

105views more FGCS 2000»

Abstract machines for programming language implementation

14 years 9 months ago

Download www.inf.ed.ac.uk

machines for programming language implementation Stephan Diehla, , Pieter Hartelb , Peter Sestoftc a FB-14 Informatik, Universit

Stephan Diehl, Pieter H. Hartel, Peter Sestoft

claim paper

Read More »

106

click to vote

MPC
2010
Springer

246views Mathematics» more MPC 2010»

Abstraction of Object Graphs in Program Verification

14 years 12 months ago

Download sei.pku.edu.cn

ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...

Yifeng Chen, Jeff W. Sanders

claim paper

Read More »

click to vote

IEEEPACT
2005
IEEE

104views Distributed And Parallel Com...» more IEEEPACT 2005»

Parallel Programming and Parallel Abstractions in Fortress

15 years 3 months ago