michaelbanks's programming [34 articles] Export

Recent papers added to michaelbanks's library classified by the tag programming. You can also see everyone's programming.

Hide details

	Types and Programming Languages [My Copy] (01 February 2002) by Benjamin C. Pierce posted to type-system textbook programming object-oriented language lambda-calculus book 2002 by michaelbanks on 2009-10-25 12:46:20 as along with 21 people and 2 groups wain ama08r mperalta draganigajic eaubin greenrd sstrickl cedricboidin dsilva voigt msakai bonotake iga AndreasSchropp cogumbreiro beschmi robotact srccheck jimburton jasmithoffice shimomura SRG_at_UCD Lambda the Ultimate
	A Gentle Introduction to Haskell [My Copy] (October 1999) by Paul Hudak, John Peterson, Joseph Fasel posted to functional-programming programming introduction haskell 1999 by michaelbanks on 2009-10-15 09:48:30 as along with 2 people and 1 group draganigajic mcclurmc functional programming
	Retrospective: an axiomatic basis for computer programming [My Copy] Communications of the ACM, Vol. 52, No. 10. (2009), pp. 30-32. by C. A. R. Hoare posted to verification retrospective proof programming hoare-logic formal-methods axiomatic 2009 by michaelbanks on 2009-09-26 10:00:45 as along with 3 people onierstrasz leonardo ajholanda
	Touch of Class: Learning to Program Well with Objects and Contracts [My Copy] (11 September 2009) by Bertrand Meyer posted to textbook programming object-oriented introduction contract book 2009 by michaelbanks on 2009-08-24 18:02:43 as along with 1 person leonardo
	Principles of Language Design and Evolution [My Copy] In Millennial Perspectives in Computer Science (Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare (2000), pp. 229-246. by Bertrand Meyer posted to programming principles language design 2000 by michaelbanks on 2009-08-20 14:53:38 as
	The Craft of Programming [My Copy] (1981) by John C. Reynolds posted to textbook specification proof programming book algol 1981 by michaelbanks on 2009-08-14 11:13:20 as along with 1 person daqing
	Verified Programming in Guru [My Copy] (2009) by Aaron Stump posted to functional-programming 2009 book coq guru programming proof tutorial verification by michaelbanks on 2009-08-05 09:03:14 as
	Programming: Sorcery or Science? [My Copy] IEEE Software In Software, IEEE, Vol. 1, No. 2. (April 1984), pp. 5-16. by C. A. R. Hoare posted to 1984 formal programming software-engineering by michaelbanks on 2009-07-13 18:07:14 as
	On Concurrent Programming (Texts in Computer Science) [My Copy] (06 May 1997) by Fred B. Schneider posted to 1997 book concurrency liveness programming safety by michaelbanks on 2009-05-29 18:13:32 as
	Laws of programming [My Copy] Communications of the ACM, Vol. 30, No. 8. (August 1987), pp. 672-686. by C. A. R. Hoare, Ian J. Hayes, Jifeng He, et al.Carroll Morgan, A. W. Roscoe, Jeff W. Sanders, Ib H. Sorensen, J. M. Spivey, Bernard Sufrin posted to 1987 algebraic language programming semantics theory by michaelbanks on 2009-05-25 15:55:04 as along with 3 people rwtodd danieldougherty leonardo
	A Practical Theory of Programming [My Copy] (1993) by Eric C. Hehner posted to 1993 book programming theory by michaelbanks on 2009-05-25 11:38:01 as along with 1 person kubalaa
	Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach [My Copy] (06 April 1995) by Kenneth Slonneger, Barry L. Kurtz posted to 1995 book language programming semantics textbook by michaelbanks on 2009-05-25 11:15:47 as along with 2 people vlasovskikh mmuecke
	Gödel, Escher, Bach: An Eternal Golden Braid [My Copy] (01 January 1999) by Douglas R. Hofstadter posted to 1979 art artificial-intelligence book decidability godel logic mathematics music programming proof recursion by michaelbanks on 2009-05-14 14:18:44 as along with 22 people and 4 groups chihchun_chen robotact Aubrey trm005 Adso asekerci byronf dayjm pchiusano tystl caporaso paulclinger spirit_of_numenor joshuashen fawxtin grisogono germoglio volkansevim spinaltap526 dlobo edvin NitinCR biomedical-nlp ComplexAdaptiveSystems DSTO-CAS GEB
	An Overview of Some Formal Methods for Program Design [My Copy] Computer, Vol. 20, No. 9. (1987), pp. 85-91. by C. A. R. Hoare posted to 1987 executable formal-methods programming specification by michaelbanks on 2009-05-01 16:01:27 as
	On the expressive power of programming languages [My Copy] ESOP '90 In ESOP '90, Vol. 432 (1990), pp. 134-151. by Matthias Felleisen posted to 1990 expressiveness language programming by michaelbanks on 2009-05-01 14:43:47 as
	Theories of programming languages [My Copy] (1999) by John C. Reynolds posted to 1998 book language programming theory by michaelbanks on 2009-03-25 15:59:27 as
	Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control [My Copy] (May 2006) by Mark S. Miller posted to 2006 composition concurrency language programming security by michaelbanks on 2009-03-11 10:23:03 as along with 3 people egh fmc coutinho
	Structured Programming [My Copy] (1972) edited by Ole-Johan Dahl, Edsger W. Dijkstra, C. A. R. Hoare posted to 1972 development formal programming software by michaelbanks on 2009-03-02 10:34:54 as along with 1 person gvdh
	The essence of functional programming [My Copy] In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14. by Philip Wadler posted to functional-programming 1992 haskell monads programming by michaelbanks on 2009-01-22 12:37:57 as along with 21 people and 3 groups jimburton TobiasAbenius leonardo olegus keigoi pedagand draganigajic assnoodles samth JeffreyPalmer rahul voigt lyongu pintman shilad spl tmiya mstone calvins hayeah frej NU-PRL GroupLens SRL
	How to replace failure by a list of successes [My Copy] Functional Programming Languages and Computer Architecture, Vol. 201 (1985), pp. 113-128. by Philip Wadler edited by Jean-Pierre Jouannaud posted to functional-programming 1985 backtracking combinator exception-handling lazy parser pattern-matching programming by michaelbanks on 2009-01-22 12:13:20 as along with 2 people bulwahn spl
	Finger Trees: A Simple General-purpose Data Structure [My Copy] Journal of Functional Programming, Vol. 16, No. 2. (2006), pp. 197-217. by Ralf Hinze, Ross Paterson posted to functional-programming 2006 data finger-tree haskell programming structure by michaelbanks on 2009-01-21 13:16:16 as along with 2 people bfraser iff
	2009 CWE/SANS Top 25 Most Dangerous Programming Errors [My Copy] (12 January 2009) edited by Steve Christey posted to 2009 attack hacking programming security by michaelbanks on 2009-01-13 12:53:43 as
	The Science of Programming [My Copy] (1981) by David Gries posted to 1981 book correctness derivation predicate-calculus programming proof by michaelbanks on 2008-12-16 12:48:33 as
	What Every Computer Scientist Should Know About Floating-Point Arithmetic [My Copy] ACM Computing Surveys, Vol. 23, No. 1. (March 1991), pp. 5-48. by David Goldberg posted to 1991 floating-point numerical programming by michaelbanks on 2008-11-23 21:23:57 as along with 13 people jmmcg gvdh iantunbridge ashwinn mmuecke alucke thang_spsc ansobol mapio bfraser eyliu rabio rstata
	Communicating Sequential Processes [My Copy] Communications of the ACM, Vol. 21, No. 8. (August 1978), pp. 666-677. by C. A. R. Hoare posted to 1978 csp process-algebra programming by michaelbanks on 2008-11-19 11:11:12 as along with 6 people and 5 groups thermostat robertjohnsimmons alexloh80 rgb cogumbreiro bockfliess ConcertRG pileWorks Wavelets AlgebraicLanguages FPA
	What about the natural numbers? [My Copy] Computer Languages, Vol. 14, No. 3. (1989), pp. 181-191. by Colin Runciman posted to functional-programming data mathematics natural numbers programming structure by michaelbanks on 2008-11-13 13:58:49 as along with 1 person spl
	Program development by stepwise refinement [My Copy] Communications of the ACM, Vol. 14, No. 4. (April 1971), pp. 221-227. by Niklaus Wirth posted to 1971 programming refinement specification stepwise by michaelbanks on 2008-11-07 12:24:23 as along with 8 people azwinkau akuhn TKAB leonardo mishra_satish billkidwell claudiamichelle swiftwatch
	Assigning Meanings to Programs [My Copy] In Proceedings of a Symposium on Applied Mathematics, Vol. 19 (1967), pp. 19-31. by Robert W. Floyd edited by J. T. Schwartz posted to 1967 mathematics programming proof by michaelbanks on 2008-11-05 21:57:01 as
	A Discipline of Programming [My Copy] (28 October 1976) by Edsger W. Dijkstra posted to 1976 book command guarded language mathematics precondition predicate-transformer programming reasoning semantics weakest by michaelbanks on 2008-11-05 12:15:11 as along with 6 people leonardo streetlightios gvdh fvogels mishra_satish R13
	Programming Languages for Information Security [My Copy] (August 2002) by Steve Zdancewic posted to type-checking static-analysis security programming language information-flow 2002 by michaelbanks on 2008-10-31 12:34:49 as along with 1 person lambdageek
	An axiomatic basis for computer programming [My Copy] Communications of the ACM, Vol. 12, No. 10. (October 1969), pp. 576-580. by C. A. R. Hoare posted to proof programming hoare-logic formal axiomatic 1969 by michaelbanks on 2008-10-29 18:09:51 as along with 20 people and 6 groups thermostat bedieber cyph3r robertjohnsimmons hdeyoung mattmight ddemange mrsmond jkominek leonardo rwtodd dsilva jff jbrown rgb calvins flavian_vasile _Anne_ bfraser zuleger ConcertRG Crypto GraphTheory pileWorks Foundations-of-Programming TMC
	Programming from Specifications [My Copy] (1994) by Carroll Morgan posted to 1994 book programming refinement specification textbook by michaelbanks on 2008-10-29 17:50:22 as
	Programming: The Derivation of Algorithms [My Copy] (1990) by Anne Kaldewaij posted to 1990 algorithms book derivation programming textbook by michaelbanks on 2008-10-29 17:50:21 as
	Unifying Theories of Programming [My Copy] (1998) by C. A. R. Hoare, Jifeng He posted to 1998 book denotational operational programming semantics textbook theory unifying utp by michaelbanks on 2008-10-29 17:50:20 as

Note: You may cite this page as: http://www.citeulike.org/user/michaelbanks/tag/programming

security	352
protocol	146
book	99
refinement	95
information-flow	91
specification	88
formal-methods	86
verification	79
2008	75
model	65
2006	64
proof	59
2009	59
property	58
attack	58
analysis	51
csp	51
noninterference	50
2007	49
formal	48
2005	48
language	45
logic	45
system	44
survey	42
2003	41
semantics	39
1996	38
z	37
confidentiality	36
software	35
textbook	35
programming	34
type-flaw	33
process-algebra	33
composition	32
2001	31
program	31
policy	30
framework	30
1995	29
model-checking	29
theory	29
tool	28
introduction	27
authentication	27
2000	27
automatic	26
1990	26
software-engineering	26
2002	26
1994	25
mathematics	25
1997	24
cryptography	24
2004	24
1992	23
1999	23
1998	22
concurrency	21
probabilistic	19
trace	19
bell-lapadula	18
access-control	18
development	18
safety	18
1987	18
distributed	17
1993	17
theorem-proving	17
commercial	16
circus	16
unwinding	16
needham-schroeder	15
algebraic	15
possibilistic	15
refinement-calculus	14
utp	14
criticism	14
design	14
information	13
liveness	13
integrity	13
key	13
testing	13
alloy	12
1989	12
data	12
1988	12
hacking	12
search	12
ban	11
java	11
fdr	11
nondeterministic	11
engineering	11
preserving	11
bisimulation	11
multi-level	11
case-study	11
maks	11
requirements	11
1991	10
ccs	10
haskell	10
event-b	10
yahalom	10
synthesis	10
correctness	10
nondeducibility	9
public	9
availability	9
anonymity	9
channels	9
category-theory	9
hoare-logic	9
type-system	9
strand-space	9
reasoning	9
1981	9
comparison	8
1985	8
knowledge	8
spi-calculus	8
heuristic	8
verified-software-repository	8
b-method	8
opinion	8
dolev-yao	8
simulation	8
privacy	8
operational	8
constraint-solving	8
belief	8
temporal	8
functional-programming	7
1984	7
1978	7
kernel	7
guidance	7
1977	7
compiler	7
static-analysis	7
tagging	7
neuman-stubblebine	7
1986	7
separability	7
automata	7
covert	7
replay	6
communication	6
tutorial	6
transformation	6
action	6
roundtable	6
operating-system	6
executable	6
history	6
type-checking	6
denotational	6
rodin	6
object-z	6
key-establishment	5
isabelle	5
philosophy	5
uml	5
grand-challenge	5
pi-calculus	5
abstraction	5
decidability	5
stepwise	5
generalised	5
optimisation	5
1976	5
1983	5
lattice	5
standard	5
predicate-transformer	5
file-system	5
control-flow	5
paradox	5
noninference	5
mondex	5
role-based-access-control	5
svo	5
otway-rees	5
multi-agent	5
jif	5
derivation	5
management	5
precondition	5
expressiveness	5
transitive	5
coq	5
structure	5
game-theory	4
guarded	4
gdoi	4
reliability	4
economics	4
implementation	4
stairs	4
labelled-transition-system	4
spa	4
quantitative	4
1972	4
validation	4
cipher-block-chaining	4
resource-allocation	4
review	4
weakest	4
distribution	4
time	4
vdm	4
induction	4
1980	4
object-oriented	4
posix	4
selective-interleaving	4
1982	4
biba	4
confinement	4
tla	4
z-eves	4
deterministic	4
state-machine	4
definition	4
architecture	4
axiomatic	4
model-driven	4
casper	4
failures	4
general	4
hol	4
network	4
equivalence	4
web-services	4
social-processes	3
reconfigurable	3
principles	3
unifying	3
window	3
certification	3
password	3
flaw	3
computer	3
decomposition	3
denial-of-service	3
methods	3
event	3
relational	3
abstract-interpretation	3
advocacy	3
accountability	3
artificial-intelligence	3
kerberos	3
1969	3
genetic-algorithm	3
larch	3
command	3
flow	3
raise	3
risk	3
declassification	3
linking	3
no-silver-bullet	3
divergences	3
rewrite	3
inference-control	3
capacity	3
trust	3
set-theory	3
voting	3
predicate-calculus	3
godel	3
lysa	3
simulated-annealing	3
1979	3
chinese-wall	3
usability	3
athena	3
mechanised	3
galois-connection	3
predicate	3
ada	3
1975	3
recursion	3
internet	3
chaos-report	3
ponder	3
perfect	3
hru	2
functionality	2
emergence	2
extraction	2
pattern-matching	2
csp-oz	2
mandatory-access-control	2
reference	2
sat-solver	2
finalisation	2
discretionary-access-control	2
diagram	2
database	2
practical	2
assurance	2
pointers	2
animation	2
storage	2
nonce	2
retrieve-relation	2
mix	2
safety-critical	2
scyther	2
records	2
lambda-calculus	2
quantification	2
dynamic	2
kao-chow	2
shadow-semantics	2
prolog	2
obligation	2
1971	2
1973	2
multics	2
restrictiveness	2
indistinguishability-classes	2
2010	2
hardware	2
complexity	2
topology	2
swift	2
natural	2
separation	2
s3a	2
evaluation	2
system-z	2
representation	2
adaptation	2
dining-cryptographers	2
possible-worlds	2
eiffel	2
timestamp	2
real-time	2
separation-logic	2
mobile	2
relation	2
non-functional	2
virus	2
spore-library	2
focus	2
avispa	2
hypervisor	2
closure	2
xen-hypervisor	2
research	2
andrew-secure-rpc	2
incident-insensitive	2
floating-point	2
translation	2
spi2java	2
parser	2
xenon	2
spark	2
indistinguishable	2
guidelines	2
ckt5	2
state-based	2
computability	2
ibm-cics	2
writing	2
woo-lam	2
theorem	2
clark-wilson	2
sequential	2
limitations	2
ignorance	2
genetic-programming	2
efficient	2
memory	2
turing-award	2
guessing	2
contract	2
teaching	2
dictionary	2
hyperproperty	2
project	2
algorithm	2
separation-of-duty	2
1974	2
statistics	2
authenticity	2
capsl	2
operators	2
fm	2
algorithms	2
tokeneer	2
grid-computing	1
game	1
nonfunctional	1
eigen	1
timing-channels	1
may	1
environment	1
weak	1
refusals	1
monte-carlo	1
common-criteria	1
visual	1
interation	1
cut-and-paste	1
collaborative	1
decoding	1
invariant	1
high-assurance	1
finger-tree	1
art	1
anonymization	1
monitor	1
publishing	1
problem-frame	1
vulnerabilities	1
1967	1
ordering	1
virtual	1
petri-nets	1
lecture-notes	1
botnets	1
domain	1
conflict-of-interest	1
ucon	1
bpp	1
email	1
1948	1
modal	1
side-channel	1
one-time-pad	1
draft	1
praxis	1
continuous	1
secure-electronic-transaction	1
monads	1
music	1
psychology	1
declarative	1
aegis	1
term	1
deadlock	1
crime	1
digital-restrictions	1
mu-calculus	1
wireless-sensor	1
spin	1
jcsp	1
punishment	1
isomorphism	1
apg	1
usage	1
strategy	1
variables	1
lazy	1
execution	1
classes	1
paraconsistent	1
incompleteness	1
guru	1
human-factors	1
eclipse	1
exercises	1
computer-science	1
probe	1
deterrent	1
interface	1
retrospective	1
transputer	1
scam	1
agent	1
cscw	1
maude	1
perfect-security-property	1
parsing-ambiguity	1
tls	1
similarity	1
lecture	1
xor	1
library	1
intel	1
control-law	1
zero-knowledge	1
hazop	1
signing	1
talk	1
algebra	1
procedure	1
segregation	1
sharing	1
smart-card	1
schema	1
doxastic	1
choice	1

michaelbanks's programming [34 articles] Export

michaelbanks's tags