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
10871
search results - page 45 / 2175
»
A stable programming language
Sort
relevance
views
votes
recent
update
View
thumb
title
132
click to vote
PLPV
2009
ACM
87
views
Programming Languages
»
more
PLPV 2009
»
Pragmatic equivalence and safety checking in Cryptol
16 years 23 days ago
Download
www.galois.com
Levent Erkök, John Matthews
claim paper
Read More »
111
click to vote
ESOP
2009
Springer
75
views
Programming Languages
»
more
ESOP 2009
»
A Theory of Non-monotone Memory (Or: Contexts for free)
16 years 23 days ago
Download
www.kb.ecei.tohoku.ac.jp
Eijiro Sumii
claim paper
Read More »
133
click to vote
TOOLS
2009
IEEE
149
views
Programming Languages
»
more
TOOLS 2009
»
CIF: A Framework for Managing Integrity in Aspect-Oriented Composition
16 years 21 days ago
Download
www.comp.lancs.ac.uk
Andrew Camilleri, Geoffrey Coulson, Lynne Blair
claim paper
Read More »
152
click to vote
TOOLS
2009
IEEE
232
views
Programming Languages
»
more
TOOLS 2009
»
Flow-Centric, Back-in-Time Debugging
16 years 21 days ago
Download
scg.unibe.ch
Adrian Lienhard, Julien Fierz, Oscar Nierstrasz
claim paper
Read More »
123
click to vote
PPDP
2009
Springer
80
views
Programming Languages
»
more
PPDP 2009
»
Making induction manifest in modular ACL2
16 years 16 days ago
Download
www.ccs.neu.edu
Carl Eastlund, Matthias Felleisen
claim paper
Read More »
« Prev
« First
page 45 / 2175
Last »
Next »
