Sciweavers

3 search results - page 1 / 1

» agp 1996

115

Voted

AGP
1996
IEEE

84views Artificial Intelligence» more AGP 1996»

On Termination of Constraint Logic Programs

15 years 10 months ago

On Termination of Constraint Logic Programs

Download www.w3.org

Salvatore Ruggieri

claim paper

Read More »

118

AGP
1996
IEEE

97views Artificial Intelligence» more AGP 1996»

Reasoning about Concurrent Actions and Observations

15 years 10 months ago

Reasoning about Concurrent Actions and Observations

Download centria.di.fct.unl.pt

Renwei Li, Luís Moniz Pereira

claim paper

Read More »

181

AGP
1996
IEEE

105views Artificial Intelligence» more AGP 1996»

Modular Analysis of Suspension Free cc Programs

15 years 10 months ago

Modular Analysis of Suspension Free cc Programs

Download www.cs.unipr.it

Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...

Enea Zaffanella

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »