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
6960
search results - page 174 / 1392
»
Continuity Analysis of Programs
Sort
relevance
views
votes
recent
update
View
thumb
title
56
Voted
CORR
2007
Springer
84
views
Education
»
more
CORR 2007
»
Collection analysis for Horn clause programs
15 years 3 months ago
Download
www.lix.polytechnique.fr
Dale Miller
claim paper
Read More »
68
click to vote
JOT
2008
57
views
more
JOT 2008
»
A Static Analysis to Detect Re-Entrancy in Object Oriented Programs
15 years 3 months ago
Download
www.jot.fm
Manuel Fähndrich, Diego Garbervetsky, Wolfram...
claim paper
Read More »
95
click to vote
DISOPT
2007
84
views
more
DISOPT 2007
»
Conflict analysis in mixed integer programming
15 years 3 months ago
Download
www.ima.umn.edu
Tobias Achterberg
claim paper
Read More »
89
Voted
SIGCSE
2008
ACM
111
views
Education
»
more
SIGCSE 2008
»
Pre-programming analysis tutors help students learn basic programming concepts
15 years 3 months ago
Download
faculty.shawu.edu
Wei Jin
claim paper
Read More »
85
Voted
SMR
2008
56
views
more
SMR 2008
»
Introduction to the special issue on program comprehension through dynamic analysis (PCODA)
15 years 3 months ago
Download
www.st.ewi.tudelft.nl
Andy Zaidman, Abdelwahab Hamou-Lhadj, Orla Greevy
claim paper
Read More »
« Prev
« First
page 174 / 1392
Last »
Next »