Search Sciweavers | Sciweavers

546 search results - page 27 / 110

» Parametric Program Slicing

click to vote

POPL
1997
ACM

100views Programming Languages» more POPL 1997»

Relational Parametricity and Units of Measure

13 years 11 months ago

Download research.microsoft.com

Andrew Kennedy

claim paper

Read More »

click to vote

APLAS
2010
ACM

106views Programming Languages» more APLAS 2010»

Relational Parametricity for a Polymorphic Linear Lambda Calculus

13 years 7 months ago

Download www.cis.upenn.edu

Jianzhou Zhao, Qi Zhang, Steve Zdancewic

claim paper

Read More »

click to vote

PADL
2004
Springer

163views Programming Languages» more PADL 2004»

Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions

14 years 3 days ago

Download web.engr.oregonstate.edu

We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...

Martin Erwig, Zhe Fu

claim paper

Read More »

click to vote

DRM
2007
Springer

121views Artificial Intelligence» more DRM 2007»

Slicing obfuscations: design, correctness, and evaluation

14 years 28 days ago

Download profs.sci.univr.it

The goal of obfuscation is to transform a program, without aﬀecting its functionality, such that some secret information within the program can be hidden for as long as possible...

Anirban Majumdar, Stephen Drape, Clark D. Thombors...

claim paper

Read More »

click to vote

VMCAI
2005
Springer

80views Software Engineering» more VMCAI 2005»

Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming

14 years 7 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers