Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jacques Loeckx
The Algorithmic Specification Method of Abstract Data Types: An Overview
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Specification Language of OBSCURE
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Model-Based Formal Specification Directed Testing of Abstract Data Types
A Value Transmission Method for Abstract Data Types
ACM Transactions on Programming Languages and Systems
Software
An Abstract Model of Three-Dimensional Spatial Data Types
An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)
Abstract Specification of Legal Contracts
A Survey of Some Issues Concerning Abstract Data Types
On Lists and Other Abstract Data Types in the Calculus of Constructions
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
An Algorithmic Framework for Obtaining Lower Bounds for Random Ramsey Problemsextended Abstract
Textual Representation of IP Flow Information Export (IPFIX) Abstract Data Types