tautologico's pcc [4 articles] Export

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

	A semantic model of types and machine instructions for proof-carrying code [My Copy] In POPL '00: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2000), pp. 243-253. by Andrew W. Appel, Amy P. Felty posted to pcc by tautologico on 2007-05-02 15:58:22 as along with 2 people frej emiliorp
	Safe Kernel Extensions Without Run-Time Checking [My Copy] In 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), October 28--31, 1996. Seattle, {WA} (1996), pp. 229-243. by George C. Necula, Peter Lee edited by X. Useni posted to pcc types by tautologico on 2005-07-12 05:23:52 as along with 4 people brothers frej muli zuleger
	Foundational Proof-Carrying Code [My Copy] In Logic in Computer Science (2001) by Andrew W. Appel posted to pcc by tautologico on 2005-07-12 05:20:46 as along with 3 people frej dr_dee bfraser
	Proof-Carrying Code [My Copy] In Conference Record of POPL~'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (jan 1997), pp. 106-119. by George C. Necula posted to languages pcc types by tautologico on 2005-03-19 00:17:55 as along with 2 people frej amorkan

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

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

types	63
concurrency	51
functional	26
garbage-collection	25
reference-counting	25
memory-management	24
language-implementation	21
monads	21
regions	18
transactional	18
effects	16
type-theory	16
linearity	15
transactional-memory	13
ml	11
stm	11
haskell	11
linear-logic	11
lambda-calculus	10
linear-types	7
dependent-types	7
typed-assembly-language	6
logic	6
lazy	6
languages	6
logic-programming	5
cyclone	5
pi-calculus	5
dynamic-types	5
petri-nets	4
lock-free	4
intensional-types	4
category-theory	4
pcc	4
prolog	3
partial-evaluation	3
continuations	3
jvm	3
java	3
coinduction	3
arrows	3
value-restriction	2
join-calculus	2
object-calculus	2
aliasing	2
semantics	2
type-inference	2
region-inference	2
oop	2
graphs	2
programming	2
compilers	2
sml	2
intersection-types	2
mobility	2
multicore	2
erlang	2
modules	2
p2p	2
cml	1
combinators	1
parsing	1
proof-theory	1
multi-stage-programming	1
dotnet	1
process-algebras	1
hindley-milner	1
data-structures	1
algebra	1
c	1
ocaml	1
laziness	1
temporal-logic	1
adt	1
floating-point	1
atomicity	1
generational	1
substructural-logics	1
reactive	1
ccs	1
dsl	1
topology	1
coalgebra	1
records	1
type-classes	1
existential-types	1
separation-logic	1
fsharp	1
system-f	1
pattern-matching	1
views	1
constraint-programming	1
grids	1
linda	1
coordination-languages	1
fold	1
featherweight-java	1
abstraction	1
concurrent	1
formal-methods	1
model-checking	1
smt	1

tautologico's pcc [4 articles] Export

tautologico's tags