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
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
1023
search results - page 15 / 205
»
A Formal Method for Program Slicing
Sort
relevance
views
votes
recent
update
View
thumb
title
22
click to vote
CSUR
1999
137
views
more
CSUR 1999
»
Algebraic Methods for Specification and Formal Development of Programs
13 years 8 months ago
Download
homepages.inf.ed.ac.uk
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
Donald Sannella, Andrzej Tarlecki
claim paper
Read More »
16
click to vote
ICCI
1991
88
views
Information Technology
»
more
ICCI 1991
»
What's Wrong With Formal Programming Methods?
14 years 3 days ago
Download
www.cs.toronto.edu
Eric C. R. Hehner
claim paper
Read More »
26
click to vote
SFM
2010
Springer
231
views
Formal Methods
»
more
SFM 2010
»
Probabilistic Semantics and Program Analysis
14 years 1 months ago
Download
www.sti.uniurb.it
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
claim paper
Read More »
25
click to vote
FMICS
2008
Springer
91
views
Formal Methods
»
more
FMICS 2008
»
Using Datalog and Boolean Equation Systems for Program Analysis
13 years 10 months ago
Download
users.dsic.upv.es
María Alpuente, Marco A. Feliú, Chri...
claim paper
Read More »
20
click to vote
SAS
2010
Springer
140
views
Formal Methods
»
more
SAS 2010
»
Automatic Verification of Determinism for Structured Parallel Programs
13 years 7 months ago
Download
www.cs.rice.edu
Martin T. Vechev, Eran Yahav, Raghavan Raman, Vive...
claim paper
Read More »
« Prev
« First
page 15 / 205
Last »
Next »