scavadini's Cavadini:S [7 articles] Export

Recent papers posted to scavadini's library by the author Cavadini:S. You can also see everyone's Cavadini:S.

	La máquina virtual MiniMe: una herramienta visual para facilitar el aprendizaje de la generación de código objeto [My Copy] In X Congreso Argentino de Ciencias de la Computación (CACIC 2004) (October 2004) by Juan J. Tamagnini, Salvador V. Cavadini, Pablo L. Berdaguer posted to bibtex-import by scavadini on 2007-10-11 08:50:34 as
	MiniMe: una máquina virtual visual [My Copy] Revista Nuevas Propuestas, No. 36. (December 2004) by Juan J. Tamagnini, Salvador V. Cavadini, Pablo L. Berdaguer posted to bibtex-import by scavadini on 2007-10-11 08:47:51 as
	Identificación de tres subclases ambiguas de gramáticas libres de contexto [My Copy] Revista Nuevas Propuestas, No. 39. (June 2006), pp. 101-110. by Salvador V. Cavadini, Diego A. Cheda posted to bibtex-import by scavadini on 2007-10-11 08:43:47 as
	Program Slicing Based on Sentence Executability [My Copy] In XIII Congreso Argentino de Ciencias de la Computación (CACIC 2007) (October 2007) by Salvador Cavadini, Diego Cheda posted to bibtex-import by scavadini on 2007-10-11 08:40:40 as along with 1 person tesissvc
	The Necessary Condition for Execution and its Use in Program Slicing [My Copy] In VII Jornadas sobre Programación y Lenguajes (PROLE 2007) (September 2007) by Salvador Cavadini, Diego Cheda posted to slicing by scavadini on 2007-10-11 08:36:45 as along with 1 person tesissvc
	A new algorithm for regularizing one-letter context-free grammars [My Copy] Theoretical Computer Science, Vol. 306, No. 1-3. (5 September 2003), pp. 113-122. by Stefan Andrei, Salvador V. Cavadini, Wei-Ngan Chin posted to grammar by scavadini on 2007-10-10 16:52:33 as
	Self-embedded context-free grammars with regular counterparts [My Copy] Acta Informatica, Vol. 40, No. 5. (1 March 2004), pp. 349-365. by Stefan Andrei, Wei-Ngan Chin, Salvadorvalerio Cavadini posted to grammar by scavadini on 2007-10-10 16:47:12 as

Note: You may cite this page as: http://www.citeulike.org/user/scavadini/author/Cavadini:S

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.

information_flow	44
bibtex-import	35
slicing	31
dependence	13
java	11
compilers	11
grammar	8
compiladores	8
security	8
optimization	6
declassification	6
graph	5
parsing	5
algorithm	5
voto_electronico	5
grammars	4
bytecode_analysis	4
complexity	3
set	3
book	3
tree	3
analysis	3
survey	3
theorem	2
ssa	2
programs	2
tool	2
binary	2
equivalence	2
seminal	2
connectivity	2
form	2
flow	2
normal	2
directed	2
concurrency	2
search	2
computational	2
spanning	2
information	2
backtracking	2
projection	2
depth-first	2
code	2
adjunction	1
property	1
cycle	1
syntax	1
union	1
multiplication	1
programming	1
proving	1
closure	1
context-free	1
circuit	1
enumerable	1
sorting	1
category	1
digraph	1
line	1
educacin	1
phrase-structure	1
interval	1
compiling	1
automata	1
reducibility	1
specializers	1
algorithmic	1
ambiguity	1
parser	1
transitive	1
bracketed	1
merging	1
structure	1
strong-connectivity	1
matrix	1
functors	1
data	1
dominator	1
describing	1
single	1
compression	1
clauses	1
representation	1
theory	1
goto-less	1
axioms	1
pushdown	1
minimal	1
immediate	1
reduction	1
syntactic	1
resolution	1
program	1
straight	1
topological	1
tutorial	1
biconnectivity	1
system	1
exceptions	1
recursively	1
lrk	1
queue	1
dblp	1
halting	1
structures	1
priority	1
formulas	1
productions	1
church-rosser	1
transformations	1
optimizing	1
relation	1
stack	1

scavadini's Cavadini:S [7 articles] Export

scavadini's tags