Search results

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...

concurrency semantics 1990-01-01 Paper Denotational semantics of a parallel object-oriented language 1989-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3787443...

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...

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...

consumption in timed object-oriented models 2014-12-03 Paper Observable behavior of dynamic systems: component reasoning for concurrent objects 2013-12-06 Paper...

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...

control 2018-07-17 Paper FJQuantum. A quantum object oriented language 2017-05-19 Paper Modelling parallel quantum computing using transactional memory...

based approach to the security problem against inference attacks on object-oriented databases 2007-05-30 Paper Automated Technology for Verification and...

Paper Lock-free parallel dynamic programming 2012-03-07 Paper Efficient local unfolding with ancestor stacks 2011-08-17 Paper Parallel backtracking with...

tier-based typed programming language characterizing feasible functionals 2022-08-02 Paper A tier-based typed programming language characterizing Feasible Functionals...

arbitrary schedulers 2019-05-03 Paper Quantified Heap Invariants for Object-Oriented Programs 2019-01-10 Paper Exploring approximations for floating-point...

\(\text{C}^{\sharp}\): expressivity of generalized algebraic data types in an object-oriented language 2018-07-26 Paper Deriving probability density functions from probabilistic...

matrices and Lyndon images 2010-03-09 Paper SC-expressions in object-oriented languages 2010-01-29 Paper On implementing recognizable transductions 2010-01-26...

Progress for Object Oriented Languages 2007-11-28 Paper Foundations of Software Science and Computation Structures 2007-09-28 Paper Programming Languages and Systems...

Publication Type Algorithm 1037: SuiteSparse:GraphBLAS: parallel graph algorithms in the language of sparse linear algebra 2024-09-10 Paper Generalized gains...

Paper Parallel graph transformation for model simulation applied to timed transition Petri nets 2013-09-11 Paper Visual Modeling of Distributed Object Systems...

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...

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...

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...

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...