Search Sciweavers | Sciweavers

3708 search results - page 116 / 742

» Programming with C Exceptions

140

click to vote

CSL
2001
Springer

135views Automated Reasoning» more CSL 2001»

Local Reasoning about Programs that Alter Data Structures

15 years 10 months ago

Download www.cse.ohio-state.edu

Peter W. O'Hearn, John C. Reynolds, Hongseok Yang

claim paper

Read More »

132

click to vote

PODC
1998
ACM

92views Distributed and Parallel Com...» more PODC 1998»

Synthesis of Fault-Tolerant Concurrent Programs

15 years 10 months ago

Download ceti.cse.ohio-state.edu

Anish Arora, Paul C. Attie, E. Allen Emerson

claim paper

Read More »

133

click to vote

IPPS
1993
IEEE

70views Distributed And Parallel Com...» more IPPS 1993»

Explicit Parallel Structuring for Rule-Based Programming

15 years 10 months ago

Download www.csie.ndhu.edu.tw

Shiow-yang Wu, James C. Browne

claim paper

Read More »

118

click to vote

DBPL
1989
Springer

65views Database» more DBPL 1989»

Napier88 - A Database Programming Language?

15 years 10 months ago

Download www.cs.st-andrews.ac.uk

Alan Dearle, Richard C. H. Connor, Fred Brown, Ron...

claim paper

Read More »

121

click to vote

ACSC
2004
IEEE

74views Theoretical Computer Science» more ACSC 2004»

Using Generative Programming to Visualise Hypercode in Complex and Dynamic Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers