Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: Common Algebraic Specification Language (view)

searching for Algebraic specification 16 found (35 total)

OBJ (programming language) (235 words) [view diff] case mismatch in snippet view article

A. Goguen; G. Malcolm (eds.), Software Engineering with OBJ: Algebraic Specification in Action, Springer Science+Business Media, New York, NY, pp. 3–167

Demonic non-determinism (102 words) [view diff] exact match in snippet view article find links to article

[citation needed] Wirsing, M.; Broy, M. (5 March 1981). "On the algebraic specification of nondeterministic programming languages". Caap '81. Lecture Notes

Computational semiotics (806 words) [view diff] exact match in snippet view article find links to article

this field, known as algebraic semiotics, combines aspects of algebraic specification and social semiotics, and has been applied to user interface design

Algebraic Petri net (553 words) [view diff] case mismatch in snippet view article find links to article

ones such as CO-OPN. Ehrig, H. and Mahr, B. 1985 Fundamentals of Algebraic Specification I. Springer-Verlag New York, Inc. K. Jensen. Coloured Petri Nets

Signature (logic) (1,339 words) [view diff] case mismatch in snippet view article

describes the concept for the case when no sorts are introduced. Baillie, Jean, "An Introduction to the Algebraic Specification of Abstract Data Types."

Angelic non-determinism (149 words) [view diff] exact match in snippet view article find links to article

omniscient God. Wirsing, M.; Broy, M. (5 March 1981). "On the algebraic specification of nondeterministic programming languages". Caap '81. Lecture Notes

Alma-0 (627 words) [view diff] case mismatch in snippet view article find links to article

Retrieved 25 February 2023. Jacob Brunekreef (1998). "Annotated Algebraic Specification of the Syntax and Semantics of the Programming Language Alma-0"

Applied category theory (670 words) [view diff] case mismatch in snippet view article find links to article

(1998-03-01). "Applications of Category Theory to the Area of Algebraic Specification in Computer Science". Applied Categorical Structures. 6 (1): 1–35

Substitution (logic) (2,938 words) [view diff] case mismatch in snippet view article

that substitution, e.g. M. Wirsing (1990). Jan van Leeuwen (ed.). Algebraic Specification. Handbook of Theoretical Computer Science. Vol. B. Elsevier. pp

Jan Bergstra (898 words) [view diff] case mismatch in snippet view article find links to article

37(2):335–372, 1990. J. A. Bergstra, J. Heering and P. Klint (editors), Algebraic Specification, Addison Wesley, 1989. Burgess, Mark; Bergstra, Jan (February 5

Martin Wirsing (1,190 words) [view diff] case mismatch in snippet view article find links to article

42: 123–249. doi:10.1016/0304-3975(86)90051-4. Martin Wirsing: Algebraic Specification. In: J. van Leeuwen (ed.): Handbook of Theoretical Computer Science

Data integration (3,795 words) [view diff] exact match in snippet view article find links to article

2015-10-28. Retrieved 2015-09-10. "The Common Framework Initiative for algebraic specification and development of software" (PDF). Archived (PDF) from the original

John V. Tucker (1,569 words) [view diff] exact match in snippet view article find links to article

pp317–523. J V Tucker and J I Zucker, Abstract computability and algebraic specification, ACM Transactions on Computational Logic, Volume 5 (2004), pp611–668

Bekić's theorem (1,182 words) [view diff] exact match in snippet view article find links to article

ISBN 978-0-08-051645-5. Lehmann, Daniel J.; Smyth, Michael B. (1981-12-01). "Algebraic specification of data types: A synthetic approach". Mathematical Systems Theory

CEK Machine (1,845 words) [view diff] case mismatch in snippet view article find links to article

right-to-left call-by-value. Jens Palsberg (28 August 2009). Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th

Glossary of logic (30,237 words) [view diff] case mismatch in snippet view article find links to article

Sannella, Donald; Tarlecki, Andrzej (2012-01-05). Foundations of Algebraic Specification and Formal Software Development. Springer Science & Business Media