ajholanda's compiler [17 articles] Export

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

	EULER: a generalization of ALGOL and it formal definition: Part 1 [My Copy] Commun. ACM, Vol. 9, No. 1. (January 1966), pp. 13-25. by Niklaus Wirth, Helmut Weber posted to wirth compiler algol by ajholanda on 2009-08-12 16:29:55 as along with 1 person scavadini
	On the capabilities of while, repeat, and exit statements [My Copy] Commun. ACM, Vol. 16, No. 8. (1973), pp. 503-512. by W. W. Peterson, T. Kasami, N. Tokura posted to while kasami compiler by ajholanda on 2009-08-12 16:15:38 as
	LR Parsing [My Copy] ACM Comput. Surv., Vol. 6, No. 2. (June 1974), pp. 99-124. by A. V. Aho, S. C. Johnson posted to parser lr compiler aho by ajholanda on 2009-08-12 16:03:50 as along with 2 people ajk pedagand
	Methods for Computing LALR(<italic>k</italic>) Lookahead [My Copy] ACM Trans. Program. Lang. Syst., Vol. 3, No. 1. (1981), pp. 60-82. by Bent B. Kristensen, Ole L. Madsen posted to lalr kristensen compiler by ajholanda on 2009-08-12 15:59:24 as
	A new analysis of LALR formalisms [My Copy] ACM Trans. Program. Lang. Syst., Vol. 7, No. 1. (1985), pp. 159-175. by Joseph C. H. Park, K. M. Choe, C. H. Chang posted to park lalr formalism compiler by ajholanda on 2009-08-12 15:53:58 as
	Deterministic parsing of ambiguous grammars [My Copy] Commun. ACM, Vol. 18, No. 8. (1975), pp. 441-452. by A. V. Aho, S. C. Johnson, J. D. Ullman posted to parser compiler ambiguous-grammar aho by ajholanda on 2009-08-12 15:39:25 as
	Efficient Computation of LALR(1) Look-Ahead Sets [My Copy] ACM Trans. Program. Lang. Syst., Vol. 4, No. 4. (October 1982), pp. 615-649. by Frank Deremer, Thomas Pennello posted to lalr deremer compiler by ajholanda on 2009-08-12 15:32:20 as along with 3 people and 1 group dfisher dherman ajk NU-PRL
	Simple <italic>LR(k)</italic> grammars [My Copy] Commun. ACM, Vol. 14, No. 7. (1971), pp. 453-460. by Franklin L. DeRemer posted to grammar deremer context-free compiler by ajholanda on 2009-08-12 15:29:49 as along with 1 person mattmight
	Bounded context syntactic analysis [My Copy] Commun. ACM, Vol. 7, No. 2. (1964), pp. 62-67. by Robert W. Floyd posted to floyd compiler by ajholanda on 2009-08-12 15:21:38 as along with 1 person mattmight
	An algorithm for coding efficient arithmetic operations [My Copy] Commun. ACM, Vol. 4, No. 1. (1961), pp. 42-51. by Robert W. Floyd posted to precedence operator floyd compiler by ajholanda on 2009-08-12 15:18:33 as
	Syntactic Analysis and Operator Precedence [My Copy] J. ACM, Vol. 10, No. 3. (July 1963), pp. 316-333. by Robert W. Floyd posted to syntatic precedence operator floyd compiler analysis by ajholanda on 2009-08-12 15:16:28 as along with 2 people mattmight scavadini
	The arithmetic translator-compiler of the IBM FORTRAN automatic coding system [My Copy] Commun. ACM, Vol. 2, No. 2. (1959), pp. 9-21. by Peter B. Sheridan posted to sheridan fortran compiler by ajholanda on 2009-08-12 13:55:07 as
	The European side of the last phase of the development of ALGOL 60 [My Copy] (1981), pp. 92-139. by Peter Naur posted to naur european compiler algol by ajholanda on 2009-08-12 13:44:38 as along with 1 person chandlerc
	THE EARLY DEVELOPMENT OF PROGRAMMING LANGUAGES [My Copy] SIAM J Computing, Vol. 6, No. 2. (1977), pp. 323-350. by Donald E. Knuth, L. Trabb Pardo posted to trabb knuth compiler by ajholanda on 2009-08-12 13:36:28 as along with 1 person markcmarino
	On the translation of languages from left to right [My Copy] Information and Control, Vol. 8, No. 6. (1965), pp. 607-639. by Donald E. Knuth posted to knuth compiler by ajholanda on 2009-08-12 13:24:25 as
	Invited papers: History of writing compilers [My Copy] In Proceedings of the 1962 ACM national conference on Digest of technical papers (1962), 43. by D. E. Knuth posted to knuth compiler by ajholanda on 2009-08-12 13:17:10 as
	backus normal form vs. Backus Naur form [My Copy] Commun. ACM, Vol. 7, No. 12. (1964), pp. 735-736. by Donald E. Knuth posted to normal naur knuth form compiler backus by ajholanda on 2009-08-12 13:09:54 as

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

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.

compiler	17
cii	11
lamport	10
c_language	10
tlaplus	9
logic	8
knuth	6
william-james	5
aholanda	5
mypublications	5
specification	4
set_theory	4
floyd	3
c_programs	3
axiom	3
bioinformatics	3
lalr	3
temporal-logic	3
naur	3
complexnetworks	2
continuum	2
aho	2
programming_languages	2
operator	2
tla	2
parser	2
temporal_logic	2
pragmatism	2
godel	2
precedence	2
deremer	2
data_structures	2
algol	2
proof	2
c_secrets	2
interview	1
concurrent_programs	1
system	1
ambiguous-grammar	1
prototype	1
bayesian	1
heap	1
emotion	1
program_verification	1
aholandamypublications	1
traffic-analysis	1
dynamic_storage	1
culinary	1
h_index	1
np-complete	1
thesaurus	1
string	1
fortran	1
coding_and_information_theory	1
consciousness	1
axiomatic_set_theory	1
transaction_protocol	1
evandro	1
backus	1
hoare	1
lsm	1
computational-biology	1
mathematical_development	1
storage_allocator	1
analysis	1
arrays	1
context-free	1
dynamic_memory_errors	1
genome	1
sheridan	1
abstraction	1
mind	1
memory_allocation	1
safety	1
liveness_properties	1
microsoft	1
expert_c_programming	1
latex	1
von_neumann-bernays-godel-set_theory	1
kasami	1
dynamic_storage_allocation	1
stacks	1
bernays	1
isolation	1
master-thesis	1
temporal_reasoning	1
mithocondrialdna	1
diagrams	1
normal	1
memory_management_problems	1
statistical_mechanics	1
refinement	1
modularity	1
algorithm	1
formalism	1
mechanical_type	1
liveness	1
axiomatic_approach	1
global_variables	1
composition	1
memory_allocators	1
c_interfaces	1
possibility-properties	1
wirth	1
text-mining	1
merz	1
computer_programming	1
mathematical_proof	1
trabb	1
algol60	1
syntatic	1
linux	1
park	1
math	1
pratt	1
kristensen	1
while	1
parallel_programs	1
proof_rule	1
pointers	1
lr	1
european	1
model_checker	1
verification	1
hilbert	1
queues	1
morris	1
form	1
security	1
axiom_of_chioce	1
colagen	1
cantor	1
specification_languages	1
storage_allocation	1
code_microsoft	1
grammar	1
bugs	1

ajholanda's compiler [17 articles] Export

ajholanda's tags