A.M. Al-Zahrani, H. Mathkour, H. Abdalla:
PSO-Based Feature Selection for Arabic Text Summarization
/jucs_21_11/pso_based_feature_selection

page 1454 - 1469
Vol.21 / Issue 11

R. Banach, F. Arbab, G. A. Papadopoulos, J. R. W. Glauert:
A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model
/jucs_9_1/a_multiply_hierarchical_automaton

page 2 - 33
Vol.9 / Issue 1

A. Barros, R. Ierusalimschy:
Eliminating Cycles in Weak Tables
/jucs_14_21/eliminating_cycles_in_weak

page 3481 - 3497
Vol.14 / Issue 21

T. Batista, M. Vieira:
RE-AspectLua - Achieving Reuse in AspectLua
/jucs_13_6/re_aspectlua_achieving_reuse

page 786 - 805
Vol.13 / Issue 6

M. Bavarian, V. Dahl:
Constraint Based Methods for Biological Sequence Analysis
/jucs_12_11/constraint_based_methods_for

page 1500 - 1520
Vol.12 / Issue 11

A. Bergel, S. Ducasse, O. Nierstrasz:
Analyzing Module Diversity
/jucs_11_10/analyzing_module_diversity

page 1613 - 1644
Vol.11 / Issue 10

M. Bravetti:
RESTful Services and Web-OS Middleware: a Formal Specification Approach
/jucs_23_9/restful_services_and_web

page 808 - 844
Vol.23 / Issue 9

N. Cacho, T. Batista, F. Fernandes:
AspectLua - A Dynamic AOP Approach
/jucs_11_7/aspect_lua_a_dynamic

page 1177 - 1197
Vol.11 / Issue 7

C. Camarão, C. Vasconcellos, L. Figueiredo, J. Nicola:
Open and Closed Worlds for Overloading: a Definition and Support for Coexistence
/jucs_13_6/open_and_closed_worlds

page 874 - 890
Vol.13 / Issue 6

F. Cao, B.R. Bryant, R.R. Raje, A.M. Olson, M. Auguston, W. Zhao, C.C. Burt:
A Non-Invasive Approach to Assertive and Autonomous Dynamic Component Composition in the Service-Oriented Paradigm
/jucs_11_10/a_non_invasive_approach

page 1645 - 1675
Vol.11 / Issue 10

E. Chavarriaga, F. Jurado, F. Díez:
PsiLight: a Lightweight Programming Language to Explore Multiple Program Execution and Data-binding in a Web-Client DSL Evaluation Engine
/jucs_23_10/psilight_a_lightweight_programming

page 953 - 968
Vol.23 / Issue 10

P. Costanza, T. D'Hondt:
Embedding Hygiene-Compatible Macros in an Unhygienic Macro System
/jucs_16_2/embedding_hygiene_compatible_macros

page 271 - 295
Vol.16 / Issue 2

A. Rauber Du Bois, P. Trinder, H.-W. Loidl:
Strong Mobility in Mobile Haskell
/jucs_12_7/strong_mobility_in_mobile

page 868 - 884
Vol.12 / Issue 7

A. Rauber Du Bois, P. Trinder, H.-W. Loidl:
mHaskell: Mobile Computation in a Purely Functional Language
/jucs_11_7/...

page 1234 - 1254
Vol.11 / Issue 7

M. Espák:
Japlo: Rule-based Programming on Java
/jucs_12_9/japlo_rule_based_programming

page 1177 - 1189
Vol.12 / Issue 9

A.J. Fernández, P.M. Hill:
An Interval Constraint Branching Scheme for Lattice Domains
/jucs_12_11/an_interval_constraint_branching

page 1466 - 1499
Vol.12 / Issue 11

C. Fetzer, P. Felber:
Improving Program Correctness with Atomic Exception Handling
/jucs_13_8/improving_program_correctness_with

page 1047 - 1072
Vol.13 / 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

C.H.Q. Forster:
Programming through Spreadsheets and Tabular Abstractions
/jucs_13_6/programming_through_spreadsheets_and

page 806 - 816
Vol.13 / Issue 6

G. Giachetti, M. Albert, B. Marín, O. Pastor:
Linking UML and MDD through UML Profiles: a Practical Approach based on the UML Association
/jucs_16_17/linking_uml_and_mdd

page 2353 - 2373
Vol.16 / Issue 17

U. Glaesser, R. Karges:
Abstract State Machine Semantics of SDL
/jucs_3_12/abstract_state_machine_semantics

page 1382 - 1414
Vol.3 / Issue 12

S. González, K. Mens, A. Cádiz:
Context-Oriented Programming with the Ambient Object System
/jucs_14_20/context_oriented_programming_with

page 3307 - 3332
Vol.14 / Issue 20

N. Gronau, C. Müller, R. Korf:
KMDL - Capturing, Analysing and Improving Knowledge-Intensive Business Processes
/jucs_11_4/kmdl_capturing_analysing_and

page 452 - 472
Vol.11 / Issue 4

Y. Gurevich, N. Tillmann:
Partial Updates: Exploration
/jucs_7_11/partial_updates_exploration

page 917 - 951
Vol.7 / Issue 11

C. Herzeel, P. Costanza, T. D'Hondt:
An Extensible Interpreter Framework for Software Transactional Memory
/jucs_16_2/an_extensible_interpreter_framework

page 221 - 245
Vol.16 / Issue 2

R. Hinze, C. Martin:
A Logical Reconstruction of Batcher's Mergers
Or: Bitonicity is a Red Herring
/jucs_23_1/a_logical_reconstruction_of

page 21 - 41
Vol.23 / Issue 1

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

R. Ierusalimschy:
First-Class Functions in an Imperative World
/jucs_23_1/first_class_functions_in

page 112 - 126
Vol.23 / Issue 1

P. W. Kutter, A. Pierantonio:
The Formal Specification of Oberon
/jucs_3_5/specification_oberon

page 443 - 503
Vol.3 / Issue 5

M. Amorim Leal, R. Ierusalimschy:
A Formal Semantics for Finalizers
/jucs_11_7/a_formal_semantics_for

page 1198 - 1214
Vol.11 / Issue 7

A. Menezes Leitão:
UCL-GLORP - An ORM for Common Lisp
/jucs_14_20/ucl_glorp_an_orm

page 3333 - 3357
Vol.14 / Issue 20

C. Manzino, A. Pardo:
Shortcut Fusion of Monadic Programs
/jucs_14_21/shortcut_fusion_of_monadic

page 3431 - 3446
Vol.14 / Issue 21

F. Mascarenhas, R. Ierusalimschy:
LuaInterface: Scripting the .NET CLR with Lua
/jucs_10_7/luainterface_scripting_the_.net

page 892 - 909
Vol.10 / Issue 7

M. Monteiro, M. Araújo, R. Borges, A. Santos:
Compiling Non­strict Functional Languages for the .NET Platform
/jucs_11_7/compiling_non_strict_functional

page 1255 - 1274
Vol.11 / Issue 7

T. Moore:
An Implementation of CLIM Presentation Types
/jucs_14_20/an_implementation_of_clim

page 3358 - 3369
Vol.14 / Issue 20

P.D. Mosses:
A Constructive Approach to Language Definition
/jucs_11_7/a_contructive_approach_to

page 1117 - 1134
Vol.11 / Issue 7

J. Newton, C. Rhodes:
Custom Specializers in Object-Oriented Lisp
/jucs_14_20/custom_specializers_in_object

page 3370 - 3388
Vol.14 / Issue 20

F.M.Q. Pereira, M.T.d.O. Valente, W.S. Pires, R. da Silva Bigonha, M.A. da Silva Bigonha:
Tactics for Remote Method Invocation
/jucs_10_7/tactics_for_remote_method

page 824 - 842
Vol.10 / Issue 7

J. F. Power, D. Sinclair:
A Formal Model of Forth Control Words in the Pi-Calculus
/jucs_10_9/a_formal_model_of

page 1272 - 1293
Vol.10 / Issue 9

F. Ramalho, J. Robin, R. Barros:
XOCL - an XML Language for Specifying Logical Constraints in Object Oriented Models
/jucs_9_8/xocl_an_xml_language

page 956 - 969
Vol.9 / Issue 8

C. Rhodes:
Using Lisp Implementation Internals Unportable but Fun
/jucs_16_2/using_lisp_implementation_internals

page 315 - 339
Vol.16 / Issue 2

F. Barden Rubbo, R. Machado, Á. Freitas Moreira, L. Ribeiro, D.J. Nunes:
On the Interaction of Advices and Raw Types in AspectJ
/jucs_14_21/on_the_interaction_of

page 3534 - 3555
Vol.14 / Issue 21

J. Schmid:
Compiling Abstract State Machines to C++
/jucs_7_11/compiling_abstract_state_machine

page 1068 - 1087
Vol.7 / Issue 11

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

D. B. Skillicorn:
Structured Parallel Computation in Structured Documents
/jucs_3_1/structured_parallel

page 42 - 68
Vol.3 / Issue 1

A. Skyrme, N. Rodriguez, R. Ierusalimschy:
Exploring Lua for Concurrent Programming
/jucs_14_21/exploring_lua_for_concurrent

page 3556 - 3572
Vol.14 / Issue 21

É. Tanter, J. Fabry:
Supporting Composition of Structural Aspects in an AOP Kernel
/jucs_15_3/supporting_composition_of_structural

page 620 - 647
Vol.15 / Issue 3

É. Tanter:
Controlling Aspect Reentrancy
/jucs_14_21/controlling_aspect_reentrancy

page 3498 - 3516
Vol.14 / Issue 21

W. Figueiredo Taveira, M. Tulio de Oliveira Valente, M.A. da Silva Bigonha, R. da Silva Bigonha:
Asynchronous Remote Method Invocation in Java
/jucs_9_8/asynchronous_remote_method_invocation

page 761 - 775
Vol.9 / Issue 8

S. Thompson:
A General Method for Defining Objects by Recursion over Syntax
/jucs_23_1/a_general_method_for

page 89 - 111
Vol.23 / Issue 1

F. Tirelo, R.S. Bigonha, J. Saraiva:
Disentangling Denotational Semantics Definitions
/jucs_14_21/disentangling_denotational_semantics_definitions

page 3592 - 3607
Vol.14 / Issue 21

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

D. Verna:
Revisiting the Visitor: the "Just Do It" Pattern
/jucs_16_2/revisiting_the_visitor_the

page 246 - 270
Vol.16 / Issue 2

D. Verna:
Binary Methods Programming: the Clos Perspective
/jucs_14_20/binary_methods_programming_the

page 3389 - 3411
Vol.14 / Issue 20

S.A. Vidal, C. Marcos:
A Catalog of Aspect Refactorings for Spring/AOP
/jucs_19_1/a_catalog_of_aspect_refactorings

page 157 - 182
Vol.19 / Issue 1

P. Wadler:
Abstract Data Types without the Types.
Dedicated to David Turner on the occasion of his 70'th birthday
/jucs_23_1/abstract_data_types_without

page 5 - 20
Vol.23 / Issue 1

H. Xi:
Dependently Typed Pattern Matching
/jucs_9_8/dependently_typed_pattern_matching

page 851 - 872
Vol.9 / Issue 8

F.H. de Carvalho Júnior, R. Dueire Lins:
Haskell#: Parallel Programming Made Simple and Efficient
/jucs_9_8/haskell_parallel_programming_made

page 776 - 794
Vol.9 / Issue 8

A. Lúcia de Moura, N. Rodriguez, R. Ierusalimschy:
Coroutines in Lua
/jucs_10_7/coroutines_in_lua

page 910 - 925
Vol.10 / Issue 7

A. Alvarenga de Oliveira, T. Henrique Braga, M.d.A. Maia, R. da Silva Bigonha:
MetaJ: An Extensible Environment for Metaprogramming in Java
/jucs_10_7/metaj_an_extensible_environment

page 872 - 891
Vol.10 / Issue 7

F. de Oliveira Jr., R. Lima, M. Cornelio, S. Soares, P. Maciel, R. Barreto, M. Oliveira Jr., E. Tavares:
CML: C Modeling Language
/jucs_13_6/cml_c_modeling_language

page 682 - 700
Vol.13 / Issue 6