Search Sciweavers | Sciweavers

9626 search results - page 243 / 1926

» Invariant Based Programming

142

click to vote

ERSHOV
1999
Springer

73views Theoretical Computer Science» more ERSHOV 1999»

On Semantics and Correctness of Reactive Rule-Based Programs

15 years 10 months ago

Download www.ida.liu.se

Man Lin, Jacek Malec, Simin Nadjm-Tehrani

claim paper

Read More »

123

click to vote

TARK
1998
Springer

81views Automated Reasoning» more TARK 1998»

Using Counterfactuals in Knowledge-Based Programming

15 years 10 months ago

Download www.cs.math.ist.utl.pt

Joseph Y. Halpern, Yoram Moses

claim paper

Read More »

142

click to vote

ISSTA
1996
ACM

92views Software Engineering» more ISSTA 1996»

Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs

15 years 10 months ago

Download laser.cs.umass.edu

A. T. Chamillard, Lori A. Clarke

claim paper

Read More »

139

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 »

143

click to vote

ICSE
1993
IEEE-ACM

85views Software Engineering» more ICSE 1993»

A High Level Language for Specifying Graph Based Languages and Their Programming Environments

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers