Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
8132
search results - page 23 / 1627
»
Dependability, Abstraction, and Programming
Sort
relevance
views
votes
recent
update
View
thumb
title
128
click to vote
ICFP
2008
ACM
114
views
Programming Languages
»
more
ICFP 2008
»
Parametric higher-order abstract syntax for mechanized semantics
16 years 5 months ago
Download
adam.chlipala.net
Adam J. Chlipala
claim paper
Read More »
142
click to vote
ICFP
2003
ACM
120
views
Programming Languages
»
more
ICFP 2003
»
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism
16 years 5 months ago
Download
www.cis.upenn.edu
Geoffrey Washburn, Stephanie Weirich
claim paper
Read More »
142
click to vote
ESOP
2010
Springer
169
views
Programming Languages
»
more
ESOP 2010
»
Propositional Interpolation and Abstract Interpretation
16 years 23 days ago
Download
www.comlab.ox.ac.uk
Vijay D'Silva
claim paper
Read More »
143
click to vote
ICFP
2009
ACM
140
views
Programming Languages
»
more
ICFP 2009
»
Control-flow analysis of function calls and returns by abstract interpretation
16 years 22 days ago
Download
www.irisa.fr
Jan Midtgaard, Thomas P. Jensen
claim paper
Read More »
103
click to vote
ESOP
2009
Springer
105
views
Programming Languages
»
more
ESOP 2009
»
Abstract Processes in Orchestration Languages
16 years 22 days ago
Download
rap.dsi.unifi.it
Maria Grazia Buscemi, Hernán C. Melgratti
claim paper
Read More »
« Prev
« First
page 23 / 1627
Last »
Next »
