Search
Submission Procedure
share:
|
Special Issues
Submission Procedure
Aims and Scope
Board of Editors
What's New
Follow us
Articles by Topics
Articles by Author
Geographical Mashup
List of Topics
Printed Publications
Volume 26 (2020)
Volume 25 (2019)
Volume 24 (2018)
Volume 23 (2017)
Volume 22 (2016)
Volume 21 (2015)
Volume 20 (2014)
Volume 19 (2013)
Volume 18 (2012)
Volume 17 (2011)
Volume 16 (2010)
Volume 15 (2009)
Volume 14 (2008)
Volume 13 (2007)
Volume 12 (2006)
Volume 11 (2005)
Volume 10 (2004)
Volume 9 (2003)
Volume 8 (2002)
Volume 7 (2001)
Volume 6 (2000)
Volume 5 (1999)
Volume 4 (1998)
Volume 3 (1997)
Volume 2 (1996)
Volume 1 (1995)
Volume 0 (1994)
Collection of other papers
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. 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
Editors:
Nedjah Nadia
Rodriguez Ismael
Uustalu Tarmo