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
- 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
- Profiling for Logic Program Execution Time Estimation 2008-03-11 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Program Development...10 bytes (13 words) - 01:49, 12 December 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
- timed concurrent constraint programs 2017-07-12 Paper Exploiting linearity in sharing analysis of object-oriented programs 2016-08-05 Paper On the Expressive...10 bytes (15 words) - 17:05, 11 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
- 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
- Progress for Object Oriented Languages 2007-11-28 Paper Foundations of Software Science and Computation Structures 2007-09-28 Paper Programming Languages and Systems...10 bytes (13 words) - 08:06, 25 September 2023
- concurrent programs 2014-01-17 Paper Generic Models of the Laws of Programming 2013-08-16 Paper Unifying Semantics for Concurrent Programming 2013-05-28...10 bytes (17 words) - 00:01, 11 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
- Publication Date of Publication Type FJQuantum. A quantum object oriented language 2017-05-19 Paper Interpretations on quantum fuzzy computing: intuitionistic...10 bytes (17 words) - 09:13, 7 October 2023
- POLAR-88 -- a modern general purpose programming system 1992-06-28 Paper Polyar, a parallel asynchronous programming language 1983-01-01 Paper...10 bytes (15 words) - 11:21, 7 October 2023
- Publication Date of Publication Type An object-oriented parallel programming language for distributed-memory parallel computing platforms 2018-07-16 Paper...10 bytes (19 words) - 20:10, 24 September 2023
- Resource Consumption Bounds 2012-06-15 Paper Cost analysis of object-oriented bytecode programs 2012-03-13 Paper Efficient local unfolding with ancestor stacks...10 bytes (13 words) - 02:15, 25 September 2023
- Meander language and programming environment 1998-11-23 Paper Automatic transformations of high-level object-oriented specifications into parallel programs...10 bytes (13 words) - 10:24, 13 December 2023
- Types for Object Oriented Languages 2008-09-17 Paper Security types for dynamic web data 2008-08-06 Paper Session and Union Types for Object Oriented Programming...10 bytes (16 words) - 12:28, 28 January 2024
- 2008-06-24 Paper Session and Union Types for Object Oriented Programming 2008-06-19 Paper Coordination Models and Languages 2006-01-10 Paper MOMI: a calculus for...10 bytes (13 words) - 06:21, 12 December 2023
- of Loops by Parallelization 2008-05-27 Paper Normal Forms for Knowledge Compilation 2008-03-17 Paper KeY: A Formal Method for Object-Oriented Systems 2007-11-28...10 bytes (15 words) - 02:35, 25 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
