L. Allain, P. Yim:
Modeling Information System Behavior with Dynamic Relations Nets
/jucs_6_11/modeling_information_system_behavior

page 1109 - 1130
Vol.6 / Issue 11

E.S. Cordeiro, R.S. Bigonha, M.A.S. Bigonha, F. Tirelo:
Optimized Compilation of Around Advice for Aspect Oriented Programs
/jucs_13_6/optimized_compilation_of_around

page 753 - 766
Vol.13 / Issue 6

A. de Araújo Formiga, R. Dueire Lins:
A New Architecture for Concurrent Lazy Cyclic Reference Counting on Multi-Processor Systems
/jucs_13_6/a_new_architecture_for

page 817 - 829
Vol.13 / Issue 6

A. French, J.N. Amaral:
Eliminating Redundant Join-Set Computations in Static Single Assignment
/jucs_12_8/eliminating_redundant_join_set

page 1007 - 1019
Vol.12 / Issue 8

S. Glesner:
Using Program Checking to Ensure the Correctness of Compiler Implementations
/jucs_9_3/using_program_checking_to

page 191 - 222
Vol.9 / Issue 3

G. Goos:
Issues in Compiling
/jucs_7_5/issues_in_compiling

page 410 - 419
Vol.7 / Issue 5

R. Ierusalimschy, L.H. de Figueiredo, W. Celes:
The Implementation of Lua 5.0
/jucs_11_7/the_implementation_of_lua

page 1159 - 1176
Vol.11 / Issue 7

J. Koop, O. Rüthing:
Constant Propagation on Predicated Code
/jucs_9_8/constant_propagation_on_predicated

page 829 - 850
Vol.9 / Issue 8

F. Mascarenhas, R. Ierusalimschy:
Running Lua Scripts on the CLR through Bytecode Translation
/jucs_11_7/running_lua_scripts_on

page 1275 - 1290
Vol.11 / Issue 7

H. Muhammad, R. Ierusalimschy:
C APIs in Extension and Extensible Languages
/jucs_13_6/c_apis_in_extension

page 839 - 853
Vol.13 / Issue 6

T.V.N. Nguyen, F. Irigoin:
Alias Verification for Fortran Code Optimization
/jucs_9_3/alias_verification_for_fortran

page 270 - 297
Vol.9 / Issue 3

L. Teixeira Passos, M.A.S. Bigonha, R.S. Bigonha:
A Methodology for Removing LALR(k) Conflicts
/jucs_13_6/a_methodology_for_removing

page 737 - 752
Vol.13 / Issue 6

E. Kessler Piveta, L. Carlos Zancanella:
Aspect Weaving Strategies
/jucs_9_8/aspect_weaving_strategies

page 970 - 983
Vol.9 / Issue 8

R.M.M. Rodrigues, J.M.P. Cardoso:
On Pipelining Sequences of Data-Dependent Loops
/jucs_13_3/on_pipelining_sequences_of

page 419 - 439
Vol.13 / Issue 3

J. Luis Sierra, A. Fernández-Valmayor, B. Fernández-Manjón, A. Navarro:
ADDS: A Document-Oriented Approach for Application Development
/jucs_10_9/adds_a_document_oriented

page 1302 - 1324
Vol.10 / Issue 9

W. Zimmermann, T. Gaul:
On the Construction of Correct Compiler Back-Ends: An ASM-Approach
/jucs_3_5/correct_compiler

page 504 - 567
Vol.3 / Issue 5

L. Zuck, A. Pnueli, Y. Fang, B. Goldberg:
VOC: A Methodology for the Translation Validation of OptimizingCompilers
/jucs_9_3/voc_a_methodology_for

page 223 - 247
Vol.9 / Issue 3

M. d'Amorim, G. Rosu:
An Equational Specification for the Scheme Language
/jucs_11_7/an_equational_specification_for

page 1327 - 1348
Vol.11 / Issue 7

A. Faustino da Silva, V. Santos Costa:
An Experimental Evaluation of JAVA JIT Technology
/jucs_11_7/an_experimental_evaluation_of

page 1291 - 1309
Vol.11 / Issue 7

A.F. da Silva, V.S. Costa:
The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
/jucs_12_7/the_design_of_the

page 764 - 787
Vol.12 / Issue 7

A.F. da Silva, V.S. Costa:
Our Experiences with Optimizations in Sun's Java Just-In-Time Compilers
/jucs_12_7/our_experiences_with_optimizations

page 788 - 810
Vol.12 / Issue 7