Topic D.3.3 - Language Constructs and Features

	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
	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
	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
	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
	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
	U. Glaesser, R. Karges: Abstract State Machine Semantics of SDL /jucs_3_12/abstract_state_machine_semantics	page 1382 - 1414 Vol.3 / Issue 12
	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
	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
	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
	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 Nonstrict Functional Languages for the .NET Platform /jucs_11_7/compiling_non_strict_functional	page 1255 - 1274 Vol.11 / Issue 7
	P.D. Mosses: A Constructive Approach to Language Definition /jucs_11_7/a_contructive_approach_to	page 1117 - 1134 Vol.11 / Issue 7
	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
	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
	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
	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
	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