Search Sciweavers | Sciweavers

15754 search results - page 358 / 3151

» Programs are Knowledge Bases

149

click to vote

ERSHOV
1999
Springer

73views Theoretical Computer Science» more ERSHOV 1999»

On Semantics and Correctness of Reactive Rule-Based Programs

15 years 11 months ago

Download www.ida.liu.se

Man Lin, Jacek Malec, Simin Nadjm-Tehrani

claim paper

Read More »

150

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

Download laser.cs.umass.edu

A. T. Chamillard, Lori A. Clarke

claim paper

Read More »

149

click to vote

IPPS
1993
IEEE

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

Explicit Parallel Structuring for Rule-Based Programming

15 years 11 months ago

Download www.csie.ndhu.edu.tw

Shiow-yang Wu, James C. Browne

claim paper

Read More »

152

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

Download www.cs.utexas.edu

Michael F. Kleyn, James C. Browne

claim paper

Read More »

129

click to vote

ICSE
1992
IEEE-ACM

82views Software Engineering» more ICSE 1992»

Seeking Concurrency in Rule-Based Programming

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers