Results 11 to 20 of about 8,751,229 (374)
Abstract Constraint Data Types [PDF]
, 2015 Martin Wirsing is one of the earliest contributors to the area of Algebraic Specification (e.g., [2]), which he explored in a variety of domains over many years. Throughout his career, he has also inspired countless researchers in related areas.
Fiadeiro, José Luiz +1 more
openaire +8 more sources
Parametric Compositional Data Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 In previous work we have illustrated the benefits that compositional data types (CDTs) offer for implementing languages and in general for dealing with abstract syntax trees (ASTs).
Tom Hvitved, Patrick Bahr
doaj +6 more sources
Encryption as an abstract data-type
Electronic Notes in Theoretical Computer Science, 2003 Abstract At the Dolev-Yao level of abstraction, security protocols can be specified using multisets rewriting. Such rewriting can be modeled naturally using proof search in linear logic. The linear logic setting also provides a simple mechanism for generating nonces and session and encryption keys via eigenvariables.
Dale Miller
openalex +3 more sources
A theory of abstract data types for program development: Bridging the gap? [PDF]
TAPSOFT, Vol.2, 1985 T. S. E. Maibaum +2 more
openalex +2 more sources
Abstract data types as reusable software components: the case for twin ADTs [PDF]
, 1992 data types (ADTs) are typical candidates for reusable software components. An important, although generally undecidable, question is how to design ADTs so as to make them truly reusable.
Klaas Sikkel, J. C. van Vliet
openalex +5 more sources
Nucleic Acids Research, 2023 ChEMBL (https://www.ebi.ac.uk/chembl/) is a manually curated, high-quality, large-scale, open, FAIR and Global Core Biodata Resource of bioactive molecules with drug-like properties, previously described in the 2012, 2014, 2017 and 2019 Nucleic Acids ...
Barbara Zdrazil +19 more
semanticscholar +1 more source
Implementation of hyperbolic complex numbers in Julia language
Discrete and Continuous Models and Applied Computational Science, 2022 Hyperbolic complex numbers are used in the description of hyperbolic spaces. One of the well-known examples of such spaces is the Minkowski space, which plays a leading role in the problems of the special theory of relativity and electrodynamics. However,
Anna V. Korolkova +2 more
doaj +1 more source
Noun Form of Address of Characters in the 21 Jump Street Movie
Humanis, 2021 This study is aimed to identify the types of noun form of address and describing the function of noun form of address applied in the movie. The data of this study was taken from a movie entitled 21 Jump Street as the primary data.
Luh Ledi Ruscita Dewi +1 more
doaj +1 more source
Limits of the "algebraic" specification of abstract data types [PDF]
SIGP, 1977 Mila E. Majster
openalex +2 more sources
Genome Biology, 2023 Bulk high-throughput omics data contain signals from a mixture of cell types. Recent developments of deconvolution methods facilitate cell type-specific inferences from bulk data.
Luxiao Chen, Ziyi Li, Hao Wu
doaj +1 more source