Titlebook: Recent Trends in Data Type Specification; 3rd Workshop on Theo Hans-Jörg Kreowski Conference proceedings 1985 Springer-Verlag Berlin Heidel

尤指植物

书目名称Recent Trends in Data Type Specification影响因子(影响力)




书目名称Recent Trends in Data Type Specification影响因子(影响力)学科排名




书目名称Recent Trends in Data Type Specification网络公开度




书目名称Recent Trends in Data Type Specification网络公开度学科排名




书目名称Recent Trends in Data Type Specification被引频次




书目名称Recent Trends in Data Type Specification被引频次学科排名




书目名称Recent Trends in Data Type Specification年度引用




书目名称Recent Trends in Data Type Specification年度引用学科排名




书目名称Recent Trends in Data Type Specification读者反馈




书目名称Recent Trends in Data Type Specification读者反馈学科排名

性满足

白杨

Algebraic (?) Specification of Conceptual Database SchemataThis contribution does not present any technical results. Rather, it is an attempt to broaden the view towards specification problems and algebraic methods.

CRASS

Coterminous

The ASSPEGIQUE specification environment Motivations and DesignIn this paper we describe ASSPEGIQUE, an integrated environment for the development of large algebraic specifications and the management of a specification data base. We focus on what motivated us when designing this environment, some crucial design choices and the specific CIGALE parser tool which is extensively used in ASSPEGIQUE.

arthroscopy

Passing Compatibility is Almost PersistencyParameterized data types or program modules have been a step forward on the way of providing more powerful abstract constructs for software design.

在前面

978-3-540-16077-9Springer-Verlag Berlin Heidelberg 1985

不怕任性

critic

同位素

Categorical Semantics, Or Extending Data Types to Include Memorywithin the usual algebraic specification framework. The result is a simple, uniform, mathematical framework in which we can treat, not only data types and their operations, but also, the semantics of imperative languages with assignment, conditionals, while-do’s, and elementary exception handling.