Sciweavers

3221 search results - page 21 / 645

» Termination of Linear Programs

22

CORR
2000
Springer

82views Education» more CORR 2000»

On Modular Termination Proofs of General Logic Programs

13 years 7 months ago

On Modular Termination Proofs of General Logic Programs

Download www.dsi.unive.it

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sa...

claim paper

Read More »

17

CORR
2000
Springer

63views Education» more CORR 2000»

Verifying Termination and Error-Freedom of Logic Programs with block Declarations

13 years 7 months ago

Verifying Termination and Error-Freedom of Logic Programs with block Declarations

Download eprints.whiterose.ac.uk

Jan-Georg Smaus, Patricia M. Hill, Andy King

claim paper

Read More »

16

CORR
2000
Springer

63views Education» more CORR 2000»

Termination analysis of logic programs using acceptability with general term orders

13 years 7 months ago

Termination analysis of logic programs using acceptability with general term orders

Download www.cs.kuleuven.ac.be

Alexander Serebrenik, Danny De Schreye

claim paper

Read More »

19

CORR
2002
Springer

77views Education» more CORR 2002»

A Dynamic Approach to Characterizing Termination of General Logic Programs

13 years 7 months ago

A Dynamic Approach to Characterizing Termination of General Logic Programs

Download www.cse.ust.hk

Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S....

claim paper

Read More »

64

POPL
2009
ACM

148views Programming Languages» more POPL 2009»

Verifying liveness for asynchronous programs

14 years 8 months ago

Verifying liveness for asynchronous programs

Download www.ulb.ac.be

Asynchronous or "event-driven" programming is a popular technique to efficiently and flexibly manage concurrent interactions. In these programs, the programmer can post ...

Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko

claim paper

Read More »

« Prev « First page 21 / 645 Last » Next »