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
- description of an object-oriented language with futures and promises 2009-09-29 Paper Abstract interface behavior of object-oriented languages with monitors...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
- 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
- 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
- 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
- data types in an object-oriented language 2018-07-26 Paper Deriving probability density functions from probabilistic functional programs 2017-07-13 Paper...10 bytes (14 words) - 19:33, 6 October 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
- 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
- 2013-03-18 Paper Analyzing the implicit computational complexity of object-oriented programs 2012-10-19 Paper Quasi-interpretations. A way to control resources...10 bytes (15 words) - 12:28, 28 January 2024
- 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
- 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 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
- 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
- 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
- socio-spatial dynamics 2000-07-12 Paper Object-oriented finite elements. III: Theory and application of automatic programming 2000-07-12 Paper Sensitivities of...10 bytes (12 words) - 12:11, 24 September 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
