CLLC's Groves:L [8 articles] Export

Recent papers posted to CLLC's library by the author Groves:L. You can also see everyone's Groves:L.

	Evolutionary Software Development in the Refinement Calculus [My Copy] (2000) by Lindsay Groves posted to refinement_calculus software_development thesis-phd by CLLC on 2006-03-28 03:13:42 as
	Program specialisation in the refinement calculus [My Copy] Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific (2001), pp. 29-36. by L. Groves posted to refinement_calculus software_maintenance software_reusability by CLLC on 2006-03-27 23:05:54 as
	A formal approach to program modification [My Copy] Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific In Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific (2000), pp. 274-281. by L. Groves posted to refinement_calculus software_maintenance software_reusability by CLLC on 2006-03-27 22:55:32 as
	Formal verification of an array-based nonblocking queue [My Copy] Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on In Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on (2005), pp. 507-516. by R. Colvin, L. Groves posted to concurrency lock-free nonblocking queue simulation verification by CLLC on 2006-03-27 22:50:23 as along with 1 person pirapira
	A Survey of Software Development Practices in the New Zealand Software Industry [My Copy] ASWEC '00: Proceedings of the 2000 Australian Software Engineering Conference In ASWEC '00: Proceedings of the 2000 Australian Software Engineering Conference (2000), pp. 189-201. by Lindsay Groves, Ray Nickson, Greg Reeve, Steve Reeves, Mark Utting posted to formal_specification software_development by CLLC on 2006-03-27 19:57:17 as along with 1 person pirapira
	Refinement and the Z Schema Calculus [My Copy] Electronic Notes in Theoretical Computer Science In REFINE 2002, The BCS FACS Refinement Workshop (Satellite Eventof FLoC 2002), Vol. 70, No. 3. (November 2002), pp. 416-439. by Lindsay Groves posted to refinement z by CLLC on 2006-03-27 11:58:47 as
	Verifying Concurrent Data Structures by Simulation [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the REFINE 2005 Workshop (REFINE 2005), Vol. 137, No. 2. (21 July 2005), pp. 93-110. by Robert Colvin, Simon Doherty, Lindsay Groves posted to concurrency io_automata linearisability lock-free simulation by CLLC on 2006-03-27 11:55:31 as
	DCAS is not a silver bullet for nonblocking algorithm design [My Copy] SPAA '04: Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures In SPAA '04: Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures (2004), pp. 216-224. by Simon Doherty, David L. Detlefs, Lindsay Groves, et al.Christine H. Flood, Victor Luchangco, Paul A. Martin, Mark Moir, Nir Shavit, Guy L. Steele posted to algorithms dcas linked_lists lock-free nonblocking verification by CLLC on 2006-03-27 10:19:20 as along with 1 person ReiOdaira

Note: You may cite this page as: http://www.citeulike.org/user/CLLC/author/Groves:L

coalgebra	10
parameterized_complexity	6
modal_logic	6
relevant_logic	6
thesis-msc	5
lock-free	5
kolmogorov_complexity	5
book	5
computably_enumerable_reals	5
polynomial_functor	4
computably_enumerable	4
refinement_calculus	4
nonblocking	4
boolean_algebra	4
thesis-phd	4
logic	3
randomness	3
verification	3
simulation	3
covariety	3
proof_theory	3
comonad	3
algorithms	2
schnorr_randomness	2
concurrency	2
meaning	2
natural_deduction	2
ershov_hierarchy	2
software_reusability	2
bisimilarity	2
refinement	2
real	2
bisimulation	2
history_of_logic	2
software_development	2
software_maintenance	2
editorial	2
dcas	2
kripke_semantics	2
final_coalgebra	2
kraftchaitin	1
algorithmic_information_theory	1
filters	1
self-embedding	1
wtt-degrees	1
coinductive	1
ultraproduct	1
coequation	1
cas	1
constructive_logic	1
variety	1
memory_management	1
observable_formula	1
1-generic_sets	1
automorphism	1
nonstandard_analysis	1
llsc	1
io_automata	1
irredundant_sets	1
logic_programming	1
64bit	1
turing_machines	1
lowness	1
martingale	1
prefix-free	1
multiprocessors	1
congruence	1
set_theory	1
kurtz_randomness	1
abstract_logic	1
presentations	1
linearisability	1
turing_degrees	1
formal_specification	1
cubic_algebras	1
lambda_calculus	1
final_object	1
solovay_reducibility	1
linked_lists	1
herrmann_sets	1
presentation	1
paraconsistent_logic	1
computational_complexity	1
intervals	1
reducibility	1
computability	1
z	1
trees	1
queue	1
dushnikmiller	1
difference_set	1
intuitionistic_logic	1
belief_revision	1
relative_randomness	1
computable_linear_order	1

CLLC's Groves:L [8 articles] Export

CLLC's tags