Sciweavers

3573 search results - page 59 / 715

» Reasoning about Codata

155

ICNP
1998
IEEE

81views Computer Networks» more ICNP 1998»

Reasoning About Active Network Protocols

15 years 10 months ago

Reasoning About Active Network Protocols

Download www.cc.gatech.edu

Samrat Bhattacharjee, Kenneth L. Calvert, Ellen W....

claim paper

Read More »

120

AIIA
1995
Springer

94views Artificial Intelligence» more AIIA 1995»

PDL-based framework for reasoning about actions

15 years 10 months ago

PDL-based framework for reasoning about actions

Download www.dis.uniroma1.it

Giuseppe De Giacomo, Maurizio Lenzerini

claim paper

Read More »

157

SAIG
2000
Springer

100views Programming Languages» more SAIG 2000»

Reasoning about Staged Computation

15 years 10 months ago

Reasoning about Staged Computation

Download www.cs.cmu.edu

Frank Pfenning

claim paper

Read More »

110

CHARME
1995
Springer

66views Hardware» more CHARME 1995»

Reasoning about VHDL using operational and observational semantics

15 years 10 months ago

Reasoning about VHDL using operational and observational semantics

Download homepages.inf.ed.ac.uk

Kees G. W. Goossens

claim paper

Read More »

192

WFLP
2000
Springer

124views Algorithms» more WFLP 2000»

A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation

15 years 10 months ago

A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation

Download web.cecs.pdx.edu

We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...

Elvira Albert, Sergio Antoy, Germán Vidal

claim paper

Read More »

« Prev « First page 59 / 715 Last » Next »