LISP 2008 - PDF Preprint Papers

LISP 2008

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed LISP-2008 Paper

click to vote

LISP
2008

165views more LISP 2008»

Adapting functional programs to higher order logic

14 years 16 days ago

Download www.cs.utah.edu

Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...

Scott Owens, Konrad Slind

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	165	Adapting functional programs to higher order logic	claim
2	154	Types and trace effects for object orientation	claim
3	105	Proving operational termination of membership equational programs	claim
4	104	On the implementation of automatic differentiation tools	claim
5	104	Flattening tuples in an SSA intermediate representation	claim
6	101	Flow-sensitive type systems and the ambient calculus	claim
7	97	Efficient and flexible access control via Jones-optimal logic program specialisation	claim
8	96	Dynamic slicing of lazy functional programs based on redex trails	claim
9	72	Imperative-program transformation by instrumented-interpreter specialization	claim
10	70	Program transformations for light-weight CPU accounting and control in the Java virtual machine	claim
11	64	Nesting forward-mode AD in a functional framework	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers