MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "CASL the Common Algebraic Specification Language." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

32 documents found, showing 1 through 10. Next 10 →

ATOM

CASL: The Common Algebraic Specification Language
by Egidio Astesiano, Michel Bidoit, Helene Kirchner, Bernd Krieg-Bruckner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki — 2001
…Casl: The Common Algebraic Specification Language 1 Egidio Astesiano a , Michel Bidoit b…
Cited by 42 (17 self) – Add To MetaCart

Casl: The Common Algebraic Specification Language: Proof calculus
by CoFI — 1998
…Casl The Common Algebraic Specication Language Proof calculus CoFI Document: not yet installed…
Cited by 1 (0 self) – Add To MetaCart

Casl — The Common Algebraic Specification Language: semantics and proof theory
by Till Mossakowski, Anne Haxthausen, Donald Sannella, Andrzej Tarlecki — 2003 — IN NEW METHODS IN LANGUAGE PROCESSING, STUDIES IN COMPUTATIONAL LINGUISTICS
… in this institution rather concisely. Casl | The Common Algebraic Specication Language: semantics and proof theory 3…
Cited by 2 (0 self) – Add To MetaCart

Architectural specifications in CASL
by Michel Bidoit, Donald Sannella, Andrzej Tarlecki — 1999
… features of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural…
Cited by 11 (8 self) – Add To MetaCart

Architectural specifications in CASL
by Michel Bidoit Donald, Donald Sannella, Andrzej Tarlecki — 1999 — Proc. 7th Intl. Conference on Algebraic Methodology and Software Technology
… of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural…
Add To MetaCart

CASL: From Semantics to Tools
by Till Mossakowski — 2000 — TACAS 2000, LNCS 1785
… algebraic specification language, has been developed as a language that subsumes many previous algebraic…
Cited by 13 (7 self) – Add To MetaCart

Static Semantic Analysis and Theorem Proving for CASL
by Till Mossakowski, Kolyang, Bernd Krieg-Brückner — 1998 — In F. Parisi-Presicce (Ed.): Recent Trends in Algebraic Development Techniques
… preliminaries about CASL and Isabelle. 2.1 CASL CASL (The Common Algebraic Specification Language…
Cited by 20 (10 self) – Add To MetaCart

A formally grounded software specification method
by Gianna Reggio — 2006 — Journal of Logic and Algebraic Programming
…) specification languages Casl (Common Algebraic Specification Language, developed within the joint initiative Co…
Cited by 1 (0 self) – Add To MetaCart

Development of Modular Ontologies in CASL
by Klaus Lüttich, Claudio Masolo, Stefano Borgo — 2006 — 1st Workshop on Modular Ontologies 2006 , volume 232 of CEUR Workshop Proceedings. CEUR-WS.org
…. This paper discusses the advantages of the Common Algebraic Specification Language (Casl) for the development…
Cited by 3 (0 self) – Add To MetaCart

Development of Parsing Tools for CASL using Generic Language Technology
by Mark Van Den Brand, Jeroen Scheerder — 2000 — Workshop on Algebraic Development Techniques (WADT'99), volume 1827 of LNCS
….4, ASF+SDF. 1. INTRODUCTION CASL (Common Algebraic Specification Language) [11] is a new algebraic…
Cited by 8 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB