Search Sciweavers | Sciweavers

8232 search results - page 285 / 1647

» Dynamic Logic Programming

204

click to vote

INFSOF
2002

126views more INFSOF 2002»

Detection of dynamic execution errors in IBM system automation's rule-based expert system

15 years 6 months ago

Download www-sr.informatik.uni-tuebingen.de

We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert ...

Carsten Sinz, Thomas Lumpp, Jürgen M. Schneid...

claim paper

Read More »

144

click to vote

ASPLOS
2004
ACM

130views Programming Languages» more ASPLOS 2004»

Dynamic tracking of page miss ratio curve for memory management

16 years 2 days ago

Download www.cs.toronto.edu

Pin Zhou, Vivek Pandey, Jagadeesan Sundaresan, Ana...

claim paper

Read More »

136

click to vote

PLDI
2004
ACM

88views Programming Languages» more PLDI 2004»

Dynamic path-based software watermarking

16 years 2 days ago

Download www.cs.arizona.edu

Christian S. Collberg, Edward Carter, Saumya K. De...

claim paper

Read More »

159

click to vote

ECOOP
2007
Springer

97views Programming Languages» more ECOOP 2007»

Refactoring in Erlang, a Dynamic Functional Language

15 years 10 months ago

Download plc.inf.elte.hu

László Lövei, Zoltán Hor...

claim paper

Read More »

288

click to vote

ICFP
2009
ACM

180views Programming Languages» more ICFP 2009»

Biorthogonality, step-indexing and compiler correctness

16 years 7 months ago

Download www.cl.cam.ac.uk

We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...

Nick Benton, Chung-Kil Hur

claim paper

Read More »

« Prev « First page 285 / 1647 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers