Search results for "program correctness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson	Studying program correctness in ProVIDE.	ITiCSE	2003	DBLP DOI BibTeX RDF
2	Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson	Studying program correctness by constructing contracts.	ITiCSE	2003	DBLP DOI BibTeX RDF	Java, design by contract, axiomatic semantics
2	Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan	Probabilistic Invariants for Probabilistic Machines.	ZB	2003	DBLP DOI BibTeX RDF	the B Method (B), Probability, probabilistic algorithms, weakest preconditions, program correctness, generalised substitutions
2	Carroll Morgan	The Generalised Substitution Language Extended to Probabilistic Programs.	B	1998	DBLP DOI BibTeX RDF	GSL, Probability, weakest preconditions, B, program correctness, generalised substitutions
2	Peter A. Ng, Sung Y. Bang	Another Approach for Proving Program Correctness.	MFCS	1977	DBLP DOI BibTeX RDF
2	Matthew M. Geller	Test Data as an Aid in Proving Program Correctness.	POPL	1976	DBLP DOI BibTeX RDF	Inductive assertions, Modular programming, Program verification, Program testing, Recursive programs
2	Barbara Liskov	Data types and program correctness.	AFIPS National Computer Conference	1975	DBLP DOI BibTeX RDF
1	Jaime Alejandro Bohórquez	An elementary and unified approach to program correctness.	Formal Asp. Comput.	2010	DBLP DOI BibTeX RDF
1	Peter Alvaro, Tyson Condie, Neil Conway, Khaled Elmeleegy, Joseph M. Hellerstein, Russell Sears	Boom analytics: exploring data-centric, declarative programming for the cloud.	EuroSys	2010	DBLP DOI BibTeX RDF	cloud computing, datalog, mapreduce
1	Florian Deissenboeck, Benjamin Hummel, Elmar Jürgens	Code clone detection in practice.	ICSE	2010	DBLP DOI BibTeX RDF	redundancy, clone detection
1	Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis	Complete and decidable type inference for GADTs.	ICFP	2009	DBLP DOI BibTeX RDF	Haskell, type inference, GADTs
1	Karen Zee, Viktor Kuncak, Martin C. Rinard	An integrated proof language for imperative programs.	PLDI	2009	DBLP DOI BibTeX RDF	verification, theorem prover, proof system
1	Elmar Jürgens, Florian Deissenboeck, Benjamin Hummel, Stefan Wagner	Do code clones matter?	ICSE	2009	DBLP DOI BibTeX RDF
1	Bernd Fischer 0002, Ando Saabas, Tarmo Uustalu	Program Repair as Sound Optimization of Broken Programs.	TASE	2009	DBLP DOI BibTeX RDF
1	Alex Shye, Joseph Blomstedt, Tipp Moseley, Vijay Janapa Reddi, Daniel A. Connors	PLR: A Software Approach to Transient Fault Tolerance for Multicore Architectures.	IEEE Trans. Dependable Sec. Comput.	2009	DBLP DOI BibTeX RDF
1	Martin C. Rinard	Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival.	CADE	2009	DBLP DOI BibTeX RDF
1	Dilian Gurov, Marieke Huisman	Reducing Behavioural to Structural Properties of Programs with Procedures.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Heidar Pirzadeh, Danny Dubé	Encoding the Program Correctness Proofs as Programs in PCC Technology.	PST	2008	DBLP DOI BibTeX RDF
1	Irene Polycarpou	Induction as a tool for conceptual coherence in computer science.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	undergraduate computer science curricula, computer science education, structural induction, proofs by induction
1	Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum	A (de)constructive approach to program checking.	STOC	2008	DBLP DOI BibTeX RDF	program testing, program correcting, program checking
1	Mojtaba Mehrara, Todd M. Austin	Exploiting selective placement for low-cost memory protection.	TACO	2008	DBLP DOI BibTeX RDF	Partial memory protection, selective placement, transient faults, fault-tolerant design, memory system design
1	Roopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen Emerson	Automatic Generation of Local Repairs for Boolean Programs.	FMCAD	2008	DBLP DOI BibTeX RDF
1	Joe Kutner, Louise A. Perkins, Sumanth Yenduri, Farnaz Zand, Joe Zhang	AOP Maintains an Independent Coordinate System.	ITNG	2008	DBLP DOI BibTeX RDF
1	Gilles Barthe, César Kunz	Certificate Translation in Abstract Interpretation.	ESOP	2008	DBLP DOI BibTeX RDF
1	Steve Counsell, Stephen Swift	An Empirical Study of Potential Vulnerability Faults in Java Open-Source Software.	Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education	2008	DBLP DOI BibTeX RDF
1	Kiyoshi Akama, Ekawit Nantajeewarawat	State-Transition Computation Models and Program Correctness Thereon.	JACIII	2007	DBLP BibTeX RDF
1	Christof Fetzer, Pascal Felber	Improving Program Correctness with Atomic Exception Handling.	J. UCS	2007	DBLP BibTeX RDF
1	Tony Hoare	The Ideal of Program Correctness: Third Computer Journal Lecture.	Comput. J.	2007	DBLP DOI BibTeX RDF
1		Discussion on The Ideal of Program Correctness: Responses from Tony Hoare.	Comput. J.	2007	DBLP DOI BibTeX RDF
1		Discussion on The Ideal of Program Correctness by Tony Hoare.	Comput. J.	2007	DBLP DOI BibTeX RDF
1	Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal	Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus.	SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	weakest precondition, program specification, deadlock freedom, program correctness
1	Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal	On the correctness issues in two-process mutual exclusion algorithms.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	parallel processing, weakest precondition, program specification, program correctness
1	Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal	Ordering of events in two-process concurrent system.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	parallel processing, weakest precondition, program specification, program correctness
1	Alex Shye, Tipp Moseley, Vijay Janapa Reddi, Joseph Blomstedt, Daniel A. Connors	Using Process-Level Redundancy to Exploit Multiple Cores for Transient Fault Tolerance.	DSN	2007	DBLP DOI BibTeX RDF
1	Zhiquan Zhou, Bernhard Scholz, Giovanni Denaro	Automated Software Testing and Analysis: Techniques, Practices and Tools.	HICSS	2007	DBLP DOI BibTeX RDF
1	Xuanhua Li, Donald Yeung	Application-Level Correctness and its Impact on Fault Tolerance.	HPCA	2007	DBLP DOI BibTeX RDF
1	José Luis Freire-Nistal, Enrique Freire Brañas, Antonio Blanco Ferro, David Cabrero Souto	On the Representation of Imperative Programs in a Logical Framework.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ananth Grama	Building Verifiable Sensing Applications Through Temporal Logic Specification.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF
1	Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia	Declarative Diagnosis of Temporal Concurrent Constraint Programs.	ICLP	2007	DBLP DOI BibTeX RDF	timed concurrent constraint programs, (modular) declarative debugging, denotational semantics, specification logic
1	Fredrik Degerlund, Kaisa Sere	A Framework for Incorporating Trust into Formal Systems Development.	ICTAC	2007	DBLP DOI BibTeX RDF
1	Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko	Invariant Synthesis for Combined Theories.	VMCAI	2007	DBLP DOI BibTeX RDF
1	Bart Jacobs, Sjaak Smetsers, Ronny Wichers Schreur	Code-carrying theories.	Formal Asp. Comput.	2007	DBLP DOI BibTeX RDF	Compression, Code generation, Functional languages, Unification, PVS, Proof assistants
1	Ondrej Rypacek, Roland Carl Backhouse, Henrik Nilsson	Type-theoretic design patterns.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	functional objects, language features, formal method, object-oriented programming, design patterns, functional programming, reasoning, dependent types, program correctness, visitor pattern
1	Robert Leithiser	A relational database model for representation of formal specifications.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	Zed, relational state, formal specification, formal methods, relational database management system, RDBMS, state transition
1	M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas	A classification of concurrency bugs in java benchmarks by developer intent.	PADTAD	2006	DBLP DOI BibTeX RDF	concurrency errors, verification, refinement, atomicity, race condition
1	Jonathan Chang, George A. Reis, David I. August	Automatic Instruction-Level Software-Only Recovery.	DSN	2006	DBLP DOI BibTeX RDF
1	Joseph Kiniry	Program Safety via Programmer Safety.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Steffen Knapp, Wolfgang J. Paul	Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
1	Tamás Kozsik	Proving Program Properties Specified with Subtype Marks.	IFL	2006	DBLP DOI BibTeX RDF
1	Artur Wilk, Wlodzimierz Drabent	A Prototype of a Descriptive Type System for Xcerpt.	PPSWR	2006	DBLP DOI BibTeX RDF
1	Timothy S. Gegg-Harrison	Constructing contracts: Making discrete mathematics relevant to beginning programmers.	ACM Journal of Educational Resources in Computing	2005	DBLP DOI BibTeX RDF	programming by contract, Formal methods, program verification, weakest preconditions, programming tools, loop invariants, axiomatic semantics
1	Mike Joy, Nathan Griffiths, Russell Boyatt	The boss online submission and assessment system.	ACM Journal of Educational Resources in Computing	2005	DBLP DOI BibTeX RDF	Online submission, programming languages, automated assessment
1	Atsushi Igarashi, Naoki Kobayashi	Resource usage analysis.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	type inference, Resource usage
1	Fernando Castro, Daniel Chaver, Luis Piñuel, Manuel Prieto, Francisco Tirado, Michael C. Huang	Load-Store Queue Management: an Energy-Efficient Design Based on a State-Filtering Mechanism..	ICCD	2005	DBLP DOI BibTeX RDF
1	George A. Reis, Jonathan Chang, Neil Vachharajani, Ram Rangan, David I. August, Shubhendu S. Mukherjee	Design and Evaluation of Hybrid Fault-Detection Systems.	ISCA	2005	DBLP DOI BibTeX RDF
1	Guillaume Dufay, Amy P. Felty, Stan Matwin	Privacy-Sensitive Information Flow with JML.	CADE	2005	DBLP DOI BibTeX RDF
1	Matthias Hauswirth, Trishul M. Chilimbi	Low-overhead memory leak detection using adaptive statistical profiling.	ASPLOS	2004	DBLP DOI BibTeX RDF	low-overhead monitoring, runtime analysis, memory leaks
1	S. N. I. Mount, Robert M. Newman, R. J. Low, A. Mycroft	Exstatic: a generic static checker applied to documentation systems.	SIGDOC	2004	DBLP DOI BibTeX RDF	docstrings, exstatic, standards, static checking, javadoc
1	Karl R. P. H. Leung, Joseph Kee-Yin Ng, Wing Lok Yeung	Embedded Program Testing in Untestable Mobile Environment: Embedded Program Testing in Untestable Mobile Environment.	APSEC	2004	DBLP DOI BibTeX RDF
1	Manoranjan Satpathy, Nils T. Siebel, Daniel Rodríguez	Assertions in Object Oriented Software Maintenance: Analysis and a Case Study.	ICSM	2004	DBLP DOI BibTeX RDF	Software Maintenance, Case Study, Assertions, Object Oriented Systems
1	Ram Rangan, Neil Vachharajani, Manish Vachharajani, David I. August	Decoupled Software Pipelining with the Synchronization Array.	IEEE PACT	2004	DBLP DOI BibTeX RDF
1	Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell	A Unifying Semantics for Sequential Function Charts.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Kung-Kiu Lau, Mario Ornaghi	Specifying Compositional Units for Correct Program Development in Computational Logic.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
1	Markus Müller-Olm, Helmut Seidl	A Generic Framework for Interprocedural Analyses of Numerical Properties.	LPAR	2004	DBLP DOI BibTeX RDF
1	K. Rustan M. Leino	A SAT Characterization of Boolean-Program Correctness.	SPIN	2003	DBLP DOI BibTeX RDF
1	Emil Sekerinski	Exploring Tabular Verification and Refinement.	Formal Asp. Comput.	2003	DBLP DOI BibTeX RDF	Program development, Program specification, Program correctness, Tabular expressions
1	Aaron Wilson, Margaret M. Burnett, Laura Beckwith, Orion Granatir, Ledah Casburn, Curtis R. Cook, Mike Durham, Gregg Rothermel	Harnessing curiosity to increase correctness in end-user programming.	CHI	2003	DBLP DOI BibTeX RDF	forms/3, surprise-explain-reward strategy, assertions, end-user software engineering, curiosity
1	Cormac Flanagan, Shaz Qadeer	A type and effect system for atomicity.	PLDI	2003	DBLP DOI BibTeX RDF	multithreading, atomicity, race conditions, static checking
1	Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira	Ownership types for object encapsulation.	POPL	2003	DBLP DOI BibTeX RDF	object encapsulation, ownership types, software upgrades
1	Paul A. Bailes, Colin J. M. Kemp	Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification.	COMPSAC	2003	DBLP DOI BibTeX RDF
1	Li-Ling Chen, Youfeng Wu	Aggressive Compiler Optimization and Parallelization with Thread-Level Speculation.	ICPP	2003	DBLP DOI BibTeX RDF	high-performance architecture and region formation, compiler optimizations, speculative execution, thread-level parallelism
1	Bernhard Beckert, Peter H. Schmitt	Program Verification Using Change Information.	SEFM	2003	DBLP DOI BibTeX RDF
1	Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao	Building Certified Libraries for PCC: Dynamic Storage Allocation.	ESOP	2003	DBLP DOI BibTeX RDF
1	Alexander Serebrenik, Danny De Schreye	Proving Termination with Adornments.	LOPSTR	2003	DBLP DOI BibTeX RDF
1	Marsha Chechik, Wei Ding	Lightweight Reasoning about Program Correctness.	Information Systems Frontiers	2002	DBLP DOI BibTeX RDF	model checking, program analysis, abstract interpretation, CTL
1	Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou	Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing.	ISSTA	2002	DBLP DOI BibTeX RDF	global symbolic evaluation, program proving, semi-proving, program testing, symbolic execution, metamorphic testing
1	Atsushi Igarashi, Naoki Kobayashi	Resource usage analysis.	POPL	2002	DBLP DOI BibTeX RDF
1	Ralph-Johan Back	SFI: A Refinement Based Layered Software Architecture.	ICFEM	2002	DBLP DOI BibTeX RDF
1	Orieta Celiku, Joakim von Wright	Theorem Prover Support for Precondition and Correctness Calculation.	ICFEM	2002	DBLP DOI BibTeX RDF
1	María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas	Abstract Diagnosis of Functional Programs.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	Marsha Chechik, Wei Ding	Lightweight reasoning about program correctness.	CASCON	2001	DBLP DOI BibTeX RDF
1	Peter Dybjer, Anton Setzer	Indexed Induction-Recursion.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF	Dependent type theory, Martin-Löf Type Theory, inductive-recursive definitions, inductive families, normalization proofs, generic programming, inductive definitions, initial algebras
1	James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby	Bandera: a source-level interface for model checking Java programs.	ICSE	2000	DBLP DOI BibTeX RDF	debugging and testing, Java, Java, model checking, program analysis
1	John M. Kewley, Radu Prodan	A Distributed Object-Oriented Framework for Tool Development.	TOOLS	2000	DBLP DOI BibTeX RDF	middleware, object-oriented, framework, CORBA, distributed, tools, extensibility
1	Philippe Collet, Greta Vignola	Towards a Consistent Viewpoint on Consistency for Persistent Applications.	Objects and Databases	2000	DBLP DOI BibTeX RDF
1	C. A. R. Hoare, Jifeng He	A Trace Model for Pointers and Objects.	ECOOP	1999	DBLP DOI BibTeX RDF
1	Guy Tremblay	An undergraduate course in formal methods: "description is our business".	SIGCSE	1998	DBLP DOI BibTeX RDF
1	David Abrahams	Exception-Safety in Generic Components.	Generic Programming	1998	DBLP DOI BibTeX RDF	exception-safety, C++, exceptions, STL
1	Wolfgang Goerigk, Ulrich Hoffmann	Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	David J. Kolson, Alexandru Nicolau, Nikil D. Dutt	Copy Elimination for Parallelizing Compilers.	LCPC	1998	DBLP DOI BibTeX RDF
1	Jonathan C. Martin, Andy King	Generating Efficient, Terminating Logic Programs.	TAPSOFT	1997	DBLP DOI BibTeX RDF
1	Doron Peled	Verification for Robust Specification.	TPHOLs	1997	DBLP DOI BibTeX RDF
1	Antonia Bertolino, Lorenzo Strigini	On the Use of Testability Measures for Dependability Assessment.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	ultra-high reliability, software testing, error, Bayesian inference, testability, failure, fault, test oracle, reliability assessment
1	Peter V. Homeier, David F. Martin	Mechanical Verification of Mutually Recursive Procedures.	CADE	1996	DBLP DOI BibTeX RDF
1	J. R. Jefferson Wadkins	Rigorous proofs of program correctness without formal logic.	SIGCSE	1995	DBLP DOI BibTeX RDF
1	Pam Binns, Steve Vestal	Architecture specifications for complex real-time dependable systems.	ICECCS	1995	DBLP DOI BibTeX RDF	complex real-time dependable systems, automated analytic modeling, automated system implementation, real-time systems, formal specification, program verification, specification languages, specification languages, formal models, program correctness, architecture specifications
1	Gopal Chillariga, Balkrishna Ramkumar	Performance prediction for portable parallel execution on MIMD architectures. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	portable parallel execution, parallel program development, simulation based approach, portable-parallel programs, Charm, message driven programming environment, program portability, MIMD parallel systems, single debugging environment, portable parallel software, parallel programming, parallel architectures, feedback, program verification, performance prediction, parallel systems, program debugging, software portability, program correctness, performance debugging, performance bottlenecks, MIMD architectures, program performance
1	Manuel Blum, Sampath Kannan	Designing Programs that Check Their Work.	J. ACM	1995	DBLP DOI BibTeX RDF	testing, program verification, probabilistic algorithms, interactive proofs, program checking
1	Martina Schollmeyer, Bruce M. McMillin	Checking Program Proofs Made Eas. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF	temporal subsumption, proof checking, assertion-based reasoning, formal methods, program verification
1	David Lorge Parnas, Jan Madey, Michal Iglewski	Precise Documentation of Well-Structured Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	precise documentation, well-structured programs, program fragments, reference document, functional approach, program documentation, tabular form, software engineering, formal specification, specification, software maintenance, software maintenance, program verification, program verification, displays, software inspection, index, structured programming, lexicon, system documentation, program correctness