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.