Search results
From MaRDI portal
- concurrency semantics 1990-01-01 Paper Semantic Correctness for a Parallel Object-Oriented Language 1990-01-01 Paper Solving reflexive domain equations in a category...10 bytes (21 words) - 23:56, 9 December 2023
- in the design of a parallel object-oriented language 1989-01-01 Paper Denotational semantics of a parallel object-oriented language 1989-01-01 Paper https://portal...10 bytes (13 words) - 01:43, 7 October 2023
- concurrency semantics 1990-01-01 Paper Denotational semantics of a parallel object-oriented language 1989-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3787443...10 bytes (17 words) - 14:07, 12 December 2023
- de/entity/Q4348453 1997-08-17 Paper Denotational semantics of a parallel object-oriented language 1989-01-01 Paper Designing equivalent semantic models for process...10 bytes (17 words) - 05:06, 13 December 2023
- consumption in timed object-oriented models 2014-12-03 Paper Observable behavior of dynamic systems: component reasoning for concurrent objects 2013-12-06 Paper...10 bytes (16 words) - 01:00, 7 October 2023
- object-oriented language with futures and promises 2009-09-29 Paper Abstract interface behavior of object-oriented languages with monitors 2009-05-08 Paper https://portal...10 bytes (15 words) - 12:50, 7 October 2023
- procedural and object-oriented statistical scripting language 2003-02-06 Paper A mixed user interface for a statistical system 2003-02-06 Paper An object-based...10 bytes (13 words) - 06:04, 7 October 2023
- online termination 2010-08-20 Paper Test case generation for object-oriented imperative languages in CLP 2010-08-19 Paper Test Data Generation of Bytecode...10 bytes (13 words) - 01:49, 12 December 2023
- procedural and object-oriented statistical scripting language 2003-02-06 Paper A mixed user interface for a statistical system 2003-02-06 Paper An object-based...10 bytes (13 words) - 20:59, 21 September 2023
- based approach to the security problem against inference attacks on object-oriented databases 2007-05-30 Paper Automated Technology for Verification and...10 bytes (13 words) - 22:38, 24 September 2023
- programs 2017-07-12 Paper Exploiting linearity in sharing analysis of object-oriented programs 2016-08-05 Paper On the Expressive Power of Multiple Heads...10 bytes (15 words) - 17:05, 11 December 2023
- de/entity/Q2722024 2001-07-11 Paper On the role of memory in object-based and object-oriented languages 1997-02-28 Paper https://portal.mardi4nfdi.de/entity/Q4327836...10 bytes (15 words) - 08:40, 12 December 2023
- implementation of an interoperable object platform for multi-databases 2001-10-01 Paper On the expressive power of F-logic language 1998-01-14 Paper A reasoning...10 bytes (13 words) - 23:02, 8 December 2023
- statistical systems 2004-11-24 Paper A procedural and object-oriented statistical scripting language 2003-02-06 Paper A mixed user interface for a statistical...10 bytes (13 words) - 20:33, 21 September 2023
- control 2018-07-17 Paper FJQuantum. A quantum object oriented language 2017-05-19 Paper Modelling parallel quantum computing using transactional memory...10 bytes (15 words) - 04:52, 12 December 2023
- \(\text{C}^{\sharp}\): expressivity of generalized algebraic data types in an object-oriented language 2018-07-26 Paper https://portal.mardi4nfdi.de/entity/Q5278083 2017-07-13...10 bytes (14 words) - 19:33, 6 October 2023
- Paper Behavioural types for memory and method safety in a core object-oriented language 2021-07-08 Paper Using session types for reasoning about boundedness...10 bytes (13 words) - 13:16, 6 October 2023
- physical experiments in immersive virtual environments 2001-09-09 Paper Object-oriented virtual environment for visualization of flexible multibody systems...10 bytes (15 words) - 22:21, 8 December 2023
- Paper Lock-free parallel dynamic programming 2012-03-07 Paper Efficient local unfolding with ancestor stacks 2011-08-17 Paper Parallel backtracking with...10 bytes (16 words) - 02:58, 12 December 2023
- Paper Parallel graph transformation for model simulation applied to timed transition Petri nets 2013-09-11 Paper Visual Modeling of Distributed Object Systems...10 bytes (13 words) - 17:04, 12 December 2023
