Titlebook: Recent Trends in Data Type Specification; 9th Workshop on Spec Hartmut Ehrig,Fernando Orejas Conference proceedings 1994 Springer-Verlag Be

海市蜃樓

書目名稱Recent Trends in Data Type Specification影響因子(影響力)




書目名稱Recent Trends in Data Type Specification影響因子(影響力)學(xué)科排名




書目名稱Recent Trends in Data Type Specification網(wǎng)絡(luò)公開度




書目名稱Recent Trends in Data Type Specification網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Recent Trends in Data Type Specification被引頻次




書目名稱Recent Trends in Data Type Specification被引頻次學(xué)科排名




書目名稱Recent Trends in Data Type Specification年度引用




書目名稱Recent Trends in Data Type Specification年度引用學(xué)科排名




書目名稱Recent Trends in Data Type Specification讀者反饋




書目名稱Recent Trends in Data Type Specification讀者反饋學(xué)科排名

commensurate

蝕刻

978-3-540-57867-3Springer-Verlag Berlin Heidelberg 1994

certitude

Recent Trends in Data Type Specification978-3-540-48361-8Series ISSN 0302-9743 Series E-ISSN 1611-3349

Harness

Rewriting techniques for software engineering,ety of questions expressed as logical queries that can be solved by using rewriting techniques, without hiding the limitations of the method. Using rewriting itself as a specification language is investigated next. Recent trends in rewriting are briefly sketched.

谷物

multiply

Unified algebras and abstract syntax,We consider the algebraic specification of abstract syntax in the framework of unified algebras. We illustrate the expressiveness of unified algebraic specifications, and provide a grammar-like notation for specifying abstract syntax, particularly attractive for use in semantic descriptions of full-scale programming languages.

figment

A SMoLCS based kit for defining high-level algebraic Petri nets,

genuine

Semantic constructions in the specification language Glider,

HEAVY

Eric G. Wagner für Steuerrecht, Rechnungswesen und Controlling bei zahlreichenBildungstr?gern. Er betreut Existenzgründer in der Gründungsphase. Seitzwanzig Jahren betreibt er ein eigenes Handelsunternehmen. Alle diese E978-3-322-82501-8