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.2 - Language Classifications

M. Alpuente, M. del Mar Gallardo, E. Pimentel, A. Villanueva:
Verifying Real-Time Properties of tccp Programs
/jucs_12_11/verifying_real_time_properties
page 1551 - 1573
Vol.12 / Issue 11
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
A. Buza:
Extension of CQL over Dynamic Databases
/jucs_12_9/extension_of_cql_over%20
page 1165 - 1176
Vol.12 / Issue 9
M. Caeiro-Rodríguez, M.J. Marcelino, M. Llamas-Nistal, L. Anido-Rifón, A.J. Mendes:
Supporting the Modeling of Flexible Educational Units PoEML: A Separation of Concerns Approach
/jucs_13_7/supporting_the_modeling_of
page 980 - 990
Vol.13 / Issue 7
C. Carvilhe, M. A. Musicante:
Object-Oriented Action Semantics Specifications
/jucs_9_8/object_oriented_action_semantics
page 910 - 934
Vol.9 / Issue 8
J. Fabry, R. Robbes, M. Denker:
DIE: A Domain Specific Aspect Language for IDE Events
/jucs_20_2/die_a_domain_specific
page 135 - 168
Vol.20 / Issue 2
Ã. Reis Figueira, H. Paulino, L. Lopes, F. Silva:
Distributed Typed Concurrent Objects: a Programming Language for Distributed Computations with Mobile Resources
/jucs_9_8/distributed_typed_concurrent_objects
page 745 - 760
Vol.9 / Issue 8
A. Fronk:
An Object-oriented Approach to Design, Specification, and Implementation of Hyperlink Structures Based on Usual Software Development
/jucs_8_10/an_object_oriented_approach
page 892 - 912
Vol.8 / Issue 10
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. Dueire Lins:
Partial Categorical Multi-Combinators and Church-Rosser Theorems
/jucs_10_7/partial_categorical_multi_combinators
page 769 - 788
Vol.10 / Issue 7
N.M. Mendes Alves, S. de Mello Schneider:
Implementation of an Embedded Hardware Description Language Using Haskell
/jucs_9_8/implementation_of_an_embedded
page 795 - 812
Vol.9 / Issue 8
H. Muhammad, R. Ierusalimschy:
C APIs in Extension and Extensible Languages
/jucs_13_6/c_apis_in_extension
page 839 - 853
Vol.13 / Issue 6
S. Najd, S.P. Jones:
Trees that Grow
/jucs_23_1/trees_that_grow
page 42 - 62
Vol.23 / Issue 1
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
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
P. E. Undrill, K. Delibasis, G. G. Cameron:
Stack Filter Design Using a Distributed Parallel Implementation of Genetic Algorithms
/jucs_3_7/stack_filter_design_using
page 821 - 834
Vol.3 / Issue 7
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. de la Encina, L. Llana, F. Rubio:
A Debugging System Based on Natural Semantics
/jucs_15_14/a_debugging_system_based
page 2836 - 2880
Vol.15 / Issue 14