Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Articles by Topics
Topic D. - Software
Topic D.3 - PROGRAMMING LANGUAGES
Topic D.3.3 - Language Constructs and Features

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
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
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:
Controlling Aspect Reentrancy
/jucs_14_21/controlling_aspect_reentrancy
page 3498 - 3516
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
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. Heron de Carvalho Junior, 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