E. Börger:
The Origins and the Development of the ASM Method for High Level System Design and Analysis
/jucs_8_1/the_origins_and_the

page 2 - 74
Vol.8 / Issue 1

E. Covino, G. Pani, D. Scrimieri:
Compile-time Computation of Polytime Functions
/jucs_13_4/compile_time_computation_of

page 468 - 478
Vol.13 / Issue 4

A. Dantas, P. Borba:
Developing Adaptive J2ME Applications Using AspectJ
/jucs_9_8/developing_adaptive_j2me_applications

page 935 - 955
Vol.9 / Issue 8

F.C. Filho, C.M. F. Rubira:
Implementing Coordinated Error Recovery for Distributed Object-Oriented Systems with AspectJ
/jucs_10_7/implementing_coordinated_error_recovery

page 843 - 858
Vol.10 / Issue 7

A. Popa, A. Sofronia, G. Stefanescu:
High-level Structured Interactive Programs with Registers and Voices
/jucs_13_11/high_level_structured_interactive

page 1722 - 1754
Vol.13 / Issue 11

E. D. Popova, C. P. Ullrich:
Generalizing BIAS Specifications
/jucs_3_1/generalizing_bias

page 23 - 41
Vol.3 / Issue 1

C. Vasconcellos, L. Figueiredo, C. Camarão:
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell
/jucs_9_8/practical_type_inference_for

page 873 - 890
Vol.9 / Issue 8

J. F. H. Winkler:
Type Compatibility for Extensible Module Types, Their Reference Parameters, and Their Pointer Types
/jucs_3_2/type_compatibility_for_extensible

page 120 - 146
Vol.3 / Issue 2