Search Sciweavers | Sciweavers

1821 search results - page 30 / 365

» Security-Aware Program Transformations

click to vote

LOPSTR
2000
Springer

104views Automated Reasoning» more LOPSTR 2000»

Higher-order transformation of logic programs

14 years 12 days ago

Download www.cs.nott.ac.uk

Silvija Seres, J. Michael Spivey

claim paper

Read More »

click to vote

TACAS
2000
Springer

106views Algorithms» more TACAS 2000»

Verification of Parameterized Systems Using Logic Program Transformations

14 years 12 days ago

Download www.cs.sunysb.edu

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...

claim paper

Read More »

click to vote

AAAI
2007

75views Intelligent Agents» more AAAI 2007»

A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints

13 years 11 months ago

Download www.aaai.org

Yi-Dong Shen, Jia-Huai You

claim paper

Read More »

click to vote

IJCAI
1989

102views Artificial Intelligence» more IJCAI 1989»

Call-Graph Caching: Transforming Programs into Networks

13 years 10 months ago

Download dli.iiit.ac.in

Mark Perlin

claim paper

Read More »

click to vote

CL
2010
Springer

99views Automated Reasoning» more CL 2010»

Program transformations for information personalization

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers