R. Chan, J. Hoshino:
Building Immersive Conversation Environment Using Locomotive Interactive Character
/jucs_13_2/building_immersive_conversation_environment

page 149 - 160
Vol.13 / Issue 2

J.M. Cleva, I. Pita:
Verification of CRWL Programs with Rewriting Logic
/jucs_12_11/verification_of_crwl_programs

page 1594 - 1617
Vol.12 / Issue 11

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

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

page 806 - 816
Vol.13 / Issue 6

W. Guttmann, H. Partsch, W. Schulte, T. Vullinghs:
Tool Support for the Interactive Derivation of Formally Correct Functional Programs
/jucs_9_2/tool_support_for_the

page 173 - 188
Vol.9 / Issue 2

W. Kahl, F. Derichsweiler:
Declarative Term Graph Attribution for Program Generation
/jucs_7_1/declarative_term_graph_attribution

page 54 - 70
Vol.7 / Issue 1

K. Kavi, J. Arul, R. Giorgi:
Execution and Cache Performance of the Scheduled Dataflow Architecture
/jucs_6_10/execution_and_cache_performance

page 948 - 967
Vol.6 / Issue 10

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

page 3431 - 3446
Vol.14 / Issue 21

V. Mattick:
Design for All as a Challenge for Hypermedia Engineering
/jucs_8_10/design_for_all_as

page 881 - 891
Vol.8 / Issue 10

S. Najd, S.P. Jones:
Trees that Grow
/jucs_23_1/trees_that_grow

page 42 - 62
Vol.23 / Issue 1

K. Nørmark:
Systematic Unit Testing in a Read-eval-print Loop
/jucs_16_2/systematic_unit_testing_in

page 296 - 314
Vol.16 / Issue 2

N.F. Rodrigues, L. Soares Barbosa:
Program Slicing by Calculation
/jucs_12_7/program_slicing_by_calculation

page 828 - 848
Vol.12 / Issue 7

N.F. Rodrigues, L. Soares Barbosa:
Higher-Order Lazy Functional Slicing
/jucs_13_6/higher_order_lazy_functional

page 854 - 873
Vol.13 / Issue 6

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

page 1068 - 1087
Vol.7 / Issue 11

M.M. Schrage, S.D. Swierstra:
Beyond ASCII - Parsing Programs with Graphical Presentations
/jucs_14_21/beyond_ascii_parsing_programs

page 3414 - 3430
Vol.14 / Issue 21

J. Sánchez-Hernández:
Constructive Failure in Functional-Logic Programming: From Theory to Implementation
/jucs_12_11/constructive_failure_in_functional

page 1574 - 1593
Vol.12 / Issue 11

A. Telford, D. Turner:
Ensuring Termination in ESFP
/jucs_6_4/ensuring_termination_in_esfp

page 474 - 488
Vol.6 / Issue 4

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

D. A. Turner:
Total Functional Programming
/jucs_10_7/total_functional_programming

page 751 - 768
Vol.10 / Issue 7

B. Virginas, M. Ursu, E. Tsang, G. Owusu, C. Voudouris:
Intelligent Resource Exchanges: Solutions and Pathways in a Workforce Allocation Problem
/jucs_14_14/intelligent_resource_exchanges_solutions

page 2343 - 2358
Vol.14 / Issue 14

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

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