Search Sciweavers | Sciweavers

1821 search results - page 30 / 365

» Security-Aware Program Transformations

120

click to vote

LOPSTR
2000
Springer

104views Automated Reasoning» more LOPSTR 2000»

Higher-order transformation of logic programs

15 years 10 months ago

Download www.cs.nott.ac.uk

Silvija Seres, J. Michael Spivey

claim paper

Read More »

129

click to vote

TACAS
2000
Springer

106views Algorithms» more TACAS 2000»

Verification of Parameterized Systems Using Logic Program Transformations

15 years 10 months 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

15 years 8 months ago

Download www.aaai.org

Yi-Dong Shen, Jia-Huai You

claim paper

Read More »

117

click to vote

IJCAI
1989

102views Artificial Intelligence» more IJCAI 1989»

Call-Graph Caching: Transforming Programs into Networks

15 years 7 months ago

Download dli.iiit.ac.in

Mark Perlin

claim paper

Read More »

137

Voted

CL
2010
Springer

99views Automated Reasoning» more CL 2010»

Program transformations for information personalization

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers