Search results

Hans-Dieter Ehrich (section List of research outcomes)
operational semantics for specifications of abstract data types with error handling 1983-01-01 Paper On the Theory of Specification, Implementation, and Parametrization...

10 bytes (17 words) - 19:43, 12 December 2023
Jacques Loeckx (section List of research outcomes)
Publication Date of Publication Type https://portal.mardi4nfdi.de/entity/Q4430285 2003-10-20 Paper Specification of abstract data types 1997-02-23 Paper...

10 bytes (14 words) - 12:35, 13 December 2023
John Guttag (section List of research outcomes)
de/entity/Q4184271 1979-01-01 Paper The algebraic specification of abstract data types 1978-01-01 Paper Abstract data types and software validation 1978-01-01 Paper...

10 bytes (16 words) - 01:57, 13 December 2023
J. A. Bergstra (section List of research outcomes)
the consistency of Koomen's fair abstraction rule 1987-01-01 Paper Algebraic specifications of computable and semicomputable data types 1987-01-01 Paper...

10 bytes (17 words) - 20:19, 8 December 2023
John V. Tucker (section List of research outcomes)
2023-07-18 Paper Partial arithmetical data types of rational numbers and their equational specification 2022-08-26 Paper Theory of computation over stream algebras...

10 bytes (15 words) - 23:41, 24 September 2023
Martin Wirsing (section List of research outcomes)
mardi4nfdi.de/entity/Q3687694 1985-01-01 Paper A systematic study of models of abstract data types 1984-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3666260...

10 bytes (15 words) - 17:05, 9 December 2023
Tim Maibaum (section List of research outcomes)
Temporal Reasoning over Deontic Specifications 1991-01-01 Paper Abstract Data Types and Type Theory: Theories as Types 1991-01-01 Paper Proof theory and...

10 bytes (17 words) - 14:15, 12 December 2023
Andrzej Tarlecki (section List of research outcomes)
Observability Concepts in Abstract Data Type Specification, 30 Years Later 2008-06-19 Paper Observational interpretation of Casl specifications 2008-04-10 Paper...

10 bytes (15 words) - 10:52, 6 October 2023
Michel Bidoit (section List of research outcomes)
Casl specifications 2008-04-10 Paper Proving Behavioral Refinements of COL-specifications 2007-09-07 Paper Theoretical Aspects of Computing – ICTAC 2005...

10 bytes (13 words) - 16:22, 12 December 2023
Fernando Orejas (section List of research outcomes)
2023-03-09 Paper Unification of drags and confluence of drag rewriting 2023-02-03 Paper Compositionality results for different types of parameterization and parameter...

10 bytes (14 words) - 10:55, 11 December 2023
M. Große-Rhode (section List of research outcomes)
Applications of category theory to the area of algebraic specification in computer science 1998-07-16 Paper Transition specifications for dynamic abstract data...

10 bytes (15 words) - 00:40, 9 December 2023
Peter Padawitz (section List of research outcomes)
Paper The equational theory of parameterized specifications 1988-01-01 Paper Parameter-preserving data type specifications 1987-01-01 Paper https://portal...

10 bytes (13 words) - 21:04, 12 December 2023
Hartmut Ehrig (section List of research outcomes)
implementations for abstract data types 1981-01-01 Paper Applications of graph grammar theory to consistency, synchronization and scheduling in data base systems...

10 bytes (15 words) - 10:43, 8 December 2023
Paulo A. S. Veloso (section List of research outcomes)
mardi4nfdi.de/entity/Q3309100 1982-01-01 Paper Methodical specification of abstract data types via rewriting systems 1982-01-01 Paper https://portal.mardi4nfdi...

10 bytes (17 words) - 14:25, 10 December 2023
Manuel Montenegro (section List of research outcomes)
Publication Date of Publication Type Verification of mutable linear data structures and iterator-based algorithms in Dafny 2023-08-08 Paper Verification of the ROS...

10 bytes (13 words) - 05:26, 9 December 2023
Jeffery Zucker (section List of research outcomes)
mardi4nfdi.de/entity/Q4016523 1993-01-16 Paper PROJECTIONS OF SEMICOMPUTABLE RELATIONS ON ABSTRACT DATA TYPES 1992-09-27 Paper Deterministic and nondeterministic...

10 bytes (14 words) - 00:45, 12 December 2023
Constantin Enea (section List of research outcomes)
presence of non-atomic writes 2019-09-17 Paper Abstract Semantic Diffing of Evolving Concurrent Programs 2019-09-16 Paper Abstract semantic diffing of evolving...

10 bytes (14 words) - 02:52, 25 September 2023
Pierre Lescanne (section List of research outcomes)
de/entity/Q3659124 1983-01-01 Paper Behavioural Categoricity of Abstract Data Type Specifications 1983-01-01 Paper On multiset orderings 1982-01-01 Paper https://portal...

10 bytes (15 words) - 15:35, 24 September 2023
Mario Ornaghi (section List of research outcomes)
for intuitionistic predicate logic 1995-02-22 Paper Abstract parametric classes and abstract data types defined by classical and constructive logical methods...

10 bytes (14 words) - 11:50, 28 January 2024
Swen Jacobs (section List of research outcomes)
Publication Date of Publication Type Data, scripts, and results from SYNTCOMP 2024 2024-06-20 Dataset Synthesis of distributed agreement-based...

10 bytes (13 words) - 08:23, 7 October 2023