registrieren | anmelden | FAQ

[?]

CiteULike is a free online bibliography manager. Register and you can start organising your references online.

Recent | Unread | Search | Authors | Tags | Export

An axiomatic basis for computer programming

by: CAR Hoare

Commun. ACM, Vol. 12, No. 10. (October 1969), pp. 576-580.

View FullText article

ACM, DOI

Reviews [Write a review of this article]

There are no reviews of this article

Find related articles from these CiteULike users

zuleger, bfraser, _Anne_, rwtodd, dsilva, jff, jbrown, rgb, calvins, flavian_vasile, Crypto (group), GraphTheory (group), pileWorks (group), Foundations-of-Programming (group), TMC (group)

Find related articles with these CiteULike tags

algorithms, classic, computer, contracts, correctness, deductive_methods, foundation, foundations, general-bib, geometry, hoare, language, logical, mathematics, no-tag, programming, semantic, semantics, techniques, theory

BibTeX record

RIS record

bfraser's tags

All tags in bfraser's library

Filter:

ab abduction abductive abstraction actor adt advice ai algorithms alloy amt analysis answer_set antipattern aop aosd apl architecture aspect aspect_interference aspectj aspects assembly assertion assume_guarantee automatic bandera bayesian bdd bmc bogor book bounded_mc bugs c caml category_theory cbr chaff checking circumscription citations cityscape classic clp cognate collaborative_filtering common_sense compiler complexity component concept concern concerns concurrency constraint continuation corba co-training cprogramming cps csp cvs dart database datalog data_structure db dbc deadlock decidability decompile decompiler deduction default_reasoning defect demeter dependecy dependency_injection design dfc diagrams distance distributed dp dpll dsl dymac dynamic early_aspects eclipse edit edit-distance efficient embedded_languages engineering erlang escape_analysis event exception_handling fca feature feature_interaction floating_point fop formal formalmethods fp frame framework fsm functional galois garbage_collection generic graph graph_drawing graphplan haskell heuristic http hyperj ifds ilp incremental induction industry instruction_scheduling integration integrity intent ir java jboss jetty jikes jit jlint jml jni join_points journal jvm knowledge language late-binding lattice learning legacy_code levenshtein library linear_logic lisp list logic logic_programming lp lsa ltl machine_learning magic_sets mcmc mda metaml methods metric metrics middleware mining minisat mismatch mixin ml mobile mock modal model model_checking modular modularity monad mozilla multithreaded mylar neural_net nlp nonmonotonic numerical obfuscator object oop open_modules open_source ordering oriented os pagerank parallel pattern patterns pca pcc persistence physical pi-calculus planning plugin pointcut polymorphism portability practice pregancy prism process process_algebra program program_analysis program_comp programming project prolog proof property-testing prose pulse query queue rabbit race_detector reasoning refactoring reference reliability rengineering repository requirements research_papers rest retrieval reuse robotics rough_set runtime sat sat_encoding scheme scientific scl security semantics separation server slicing snippet snippets soa social_bookmarking social_tagging software software_development software_evolution software_product_line sokoban sourceforge specification speech spidering spl spring ssa static static_analysis strips structure subclassing subject survey symbolic_execution telecom temporal_logic testing theorem_proving theory thought threads tms tool topoi trace_monitoring traces traits transaction translation tree type type_inference type_theory ui uml uncertainty understanding unit_testing verification vm web workflow