Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Articles by Topics
Topic D. - Software
Topic D.1 - PROGRAMMING TECHNIQUES
Topic D.1.1 - Applicative (Functional) Programming

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.S. Barbosa:
Program Slicing by Calculation
/jucs_12_7/program_slicing_by_calculation
page 828 - 848
Vol.12 / Issue 7
N.F. Rodrigues, L.S. 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. 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