Tag algebraic-specification [45 articles] Export

Recent papers classified by the tag algebraic-specification.

	Fundamentals of Algebraic Specification 1: Equations and Initial Semantics [My Copy] by Hartmut Ehrig, Bernd Mahr posted to algebra algebraic-specification category-theory computer-science formal-methods logic model-theory theoretical-computer-science by DavidChemouil to the group Formal methods for safety critical software on 2008-12-15 17:13:09 as along with 1 person mishra_satish
	Revisiting the Categorical Approach to Systems * [My Copy] by Antónia Lopes, José L. Fiadeiro posted to algebraic-specification architecture category-theory computer-science formal-methods logic model-theory system-engineering theoretical-computer-science by DavidChemouil to the group Formal methods for safety critical software on 2008-11-27 15:56:22 as along with 1 person leemond31
	Sheaf Semantics for Concurrent Interacting Objects [My Copy] In Mathematical Structures in Computer Science, Vol. 2 (1992), pp. 159-191. by Joseph A. Goguen posted to algebra algebraic-specification category-theory computer-science logic model-theory system-engineering theoretical-computer-science by DavidChemouil to the group Formal methods for safety critical software on 2008-11-27 15:53:06 as along with 2 people leemond31 isotelesis
	Algebraic Foundations of Systems Specification (Ifip State-of-the-Art Reports) [My Copy] posted to algebraic-specification computer-science formal-methods logic software-engineering theoretical-computer-science by DavidChemouil on 2008-11-19 17:33:56 as along with 1 person mishra_satish
	CASL Reference Manual: The Complete Documentation Of The Common Algebraic Specification Language [My Copy] (19 March 2004) posted to algebraic-specification category-theory computer-science formal-methods logic software-engineering system-engineering theoretical-computer-science by DavidChemouil on 2008-11-19 13:22:07 as along with 1 person mishra_satish
	Casl User Manual: Introduction to Using the Common Algebraic Specification Language Casl [My Copy] (29 January 2004) by M. Bidoit, Peter D. Mosses, Michel Bidoit posted to algebraic-specification architecture category-theory computer-science formal-methods logic software-engineering system-engineering theoretical-computer-science by DavidChemouil on 2008-11-19 13:21:20 as along with 1 person mishra_satish
	Towards Modular Algebraic Specifications for Pointer Programs: A Case Study [My Copy] Rewriting, Computation and Proof (2007), pp. 235-258. by Claude Marché posted to algebraic-specification examples by radico on 2008-11-17 00:50:52 as
	Categories for Software Engineering [My Copy] (16 May 2004) by José L. Fiadeiro, Jost L. Fiadeiro posted to adl algebraic-specification architecture category-theory computer-science formal-methods logic theoretical-computer-science by DavidChemouil on 2008-11-14 08:20:06 as along with 3 people and 1 group mahler bonotake mstone Rightscom
	Abstract Behavior Types: a foundation model for components and their composition [My Copy] Science of Computer Programming In Formal Methods for Components and Objects: Pragmatic aspects and applications, Vol. 55, No. 1-3. (March 2005), pp. 3-52. by Farhad Arbab posted to adl algebraic-specification architecture category-theory computer-science formal-methods software-engineering theoretical-computer-science by DavidChemouil on 2008-11-14 07:53:22 as along with 2 people and 1 group keigoi janschaefer TU-KL-SoftwareTechnologyGroup
	Logique, réduction, résolution [My Copy] (01 July 1990) by René Lalement posted to algebraic-specification category-theory computer-science lambda-calculus logic theoretical-computer-science type-theory by DavidChemouil on 2008-11-07 14:22:51 as
	Some fundamental algebraic tools for the semantics of computation: Part 3. indexed categories [My Copy] Theoretical Computer Science, Vol. 91, No. 2. (23 December 1991), pp. 239-264. by Andrzej Tarlecki, Rod M. Burstall, Joseph A. Goguen posted to algebraic-specification institution by msakai on 2008-10-30 07:21:16 as along with 1 person masteraka
	Some fundamental algebraic tools for the semantics of computation , : Part 2: Signed and abstract theories [My Copy] Theoretical Computer Science, Vol. 31, No. 3. (1984), pp. 263-295. by J. A. Goguen, R. M. Burstall posted to algebraic-specification institution by msakai on 2008-10-30 07:18:04 as along with 1 person masteraka
	Some fundamental algebraic tools for the semantics of computation : Part 1: Comma Categories, Colimits, Signatures and Theories [My Copy] Theoretical Computer Science, Vol. 31, No. 1-2. (1984), pp. 175-209. by J. A. Goguen, R. M. Burstall posted to algebraic-specification institution by msakai on 2008-10-30 07:15:25 as along with 1 person masteraka
	An algebraic development technique for information systems [My Copy] Algebraic Methodology and Software Technology (1995), pp. 446-460. by Martin Gogolla, Rudolf Herzig posted to algebraic-specification application by radico on 2008-10-17 02:51:13 as
	Module algebra [My Copy] J. ACM, Vol. 37, No. 2. (1990), pp. 335-372. by J. A. Bergstra, J. Heering, P. Klint posted to algebraic-specification modules by marcinzalewski on 2008-10-14 15:07:38 as
	Parametrized programming in LILEANNA [My Copy] In Proc. ACM/SIGAPP Symposium on Applied Computing (SAC) (1993), pp. 77-86. by Will Tracz posted to abstract-data-types algebraic-specification lileanna by marcinzalewski on 2008-10-14 14:57:52 as
	Reusing and Interconnecting Software Components [My Copy] Computer, Vol. 19, No. 2. (1986), pp. 16-28. by Joseph A. Goguen posted to algebraic-specification architecture by marcinzalewski on 2008-10-08 10:40:42 as
	The rational numbers as an abstract data type [My Copy] J. ACM, Vol. 54, No. 2. (2007) by J. A. Bergstra, J. V. Tucker posted to algebraic-specification by msakai on 2008-10-07 04:05:21 as
	Extended ML: Past, Present and Future [My Copy] In Proc. 7th Workshop on Specification of Abstract Data Types, Wusterhausen, Vol. 534 (1991), pp. 297-322. by Donald Sannella, Andrzej Tarlecki posted to algebraic-specification by marcinzalewski on 2008-10-06 11:07:27 as
	Specware: Formal support for composing software [My Copy] Mathematics of Program Construction In Proc. 3rd Internat. Conf. on Mathematics of Program Construction (MPC), Vol. 947 (1995), pp. 399-422. by Yellamraju Srinivas, Richard Jüllig edited by Bernhard Möller posted to algebraic-specification by marcinzalewski on 2008-10-06 10:35:51 as
	Observability Concepts in Abstract Data Type Specification, 30 Years Later [My Copy] Concurrency, Graphs and Models In Concurrency, Graphs and Models, Vol. 5056 (2008), pp. 593-617. by Donald Sannella, Andrzej Tarlecki edited by Pierpaolo Degano, Rocco De Nicola, José Meseguer posted to algebraic-specification by marcinzalewski on 2008-10-03 14:46:32 as
	Toward Specifications for Reconfigurable Component Systems [My Copy] Petri Nets and Other Models of Concurrency – ICATPN 2007 In Proc. 28th Internat. Conf. on Applications and Theory of Petri Nets and Other Models of Concurrency (ICATPN), Vol. 4546 (2007), pp. 24-28. by Andrzej Tarlecki edited by Jetty Kleijn, Alex Yakovlev posted to algebraic-specification by marcinzalewski on 2008-10-03 14:39:46 as
	Toward formal development of programs from algebraic specifications: Implementations revisited [My Copy] Acta Informatica, Vol. 25, No. 3. (1 April 1988), pp. 233-281. by Donald Sannella, Andrzej Tarlecki posted to algebraic-specification by marcinzalewski on 2008-10-03 14:23:40 as
	Specifications in an arbitrary institution [My Copy] Information and Computation, Vol. 76, No. 2-3. (March 1988), pp. 165-210. by Don Sannella, Andrzej Tarlecki posted to algebraic-specification institutions by marcinzalewski on 2008-10-03 13:56:08 as
	Building specifications in an arbitrary institution [My Copy] Semantics of Data Types In Proc. Internat. Symp. on Semantics of Data Types, Vol. 173 (1984), pp. 337-356. by Donald Sannella, Andrzej Tarlecki posted to institutions algebraic-specification by marcinzalewski on 2008-09-30 16:42:10 as
	The definition of Extended ML: A gentle introduction [My Copy] Theoretical Computer Science, Vol. 173, No. 2. (28 February 1997), pp. 445-484. by Stefan Kahrs, Donald Sannella, Andrzej Tarlecki posted to algebraic-specification ml by marcinzalewski on 2008-09-10 20:01:42 as
	The semantics of clear, a specification language [My Copy] Abstract Software Specifications (1980), pp. 292-332. by R. Burstall, J. Goguen posted to algebraic-specification institution by msakai on 2008-06-05 09:07:27 as
	Algebraic specification of reactive systems [My Copy] Theoretical Computer Science, Vol. 239, No. 1. (2000), pp. 3-40. by Manfred Broy posted to algebraic-specification by msakai on 2008-05-28 13:26:38 as along with 1 person mishra_satish
	On observational equivalence and algebraic specification [My Copy] J. Comput. Syst. Sci., Vol. 34, No. 2-3. (1987), pp. 150-178. by Donald Sannella, Andrzej Tarlecki posted to abstract-data-types algebraic-specification by marcinzalewski on 2008-05-03 19:11:57 as
	Bootstrapping Types and Cotypes in HasCASL [My Copy] Algebra and Coalgebra in Computer Science In Algebra and Coalgebra in Computer Science (2007), pp. 447-461. by Lutz Schröder posted to abstract-data-types algebraic-specification aop by marcinzalewski on 2008-04-27 10:03:57 as
	Algebraic-Coalgebraic Specification in CoCASL [My Copy] Journal of Logic and Algebraic Programming In Algebraic Specification, Vol. 67, No. 1-2. ( 2006), pp. 146-197. by Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel posted to algebraic-specification by marcinzalewski on 2008-04-25 17:07:08 as
	Universal coalgebra: a theory of systems [My Copy] Theoretical Computer Science, Vol. 249, No. 1. (17 October 2000), pp. 3-80. by J. J. M. M. Rutten posted to abstract-data-types algebraic-specification by marcinzalewski on 2008-04-25 16:45:56 as along with 1 person robotact
	Relating CASL with other specification languages: the institution level [My Copy] Theor. Comput. Sci., Vol. 286, No. 2. (September 2002), pp. 367-475. by Till Mossakowski posted to algebraic-specification by marcinzalewski on 2008-04-25 16:21:18 as along with 2 people scis0000001 Scis0000002
	CASL: the Common Algebraic Specification Language [My Copy] Theoretical Computer Science, Vol. 286, No. 2. (17 September 2002), pp. 153-196. by Egidio Astesiano, Michel Bidoit, Hélène Kirchner, et al.Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki posted to abstract-data-types algebraic-specification aop by marcinzalewski on 2008-04-25 16:13:58 as along with 1 person mishra_satish
	Algebraic specifications of computable and semicomputable data types [My Copy] Theor. Comput. Sci., Vol. 50, No. 2. (1987), pp. 137-181. by J. A. Bergstra, J. V. Tucker posted to abstract-data-types algebraic-specification aop by marcinzalewski on 2008-04-25 10:03:51 as
	On observational equivalence and algebraic specification [My Copy] Mathematical Foundations of Software Development In Proc. Internat. Joint Conference on Theory and Practice of Sofware Development, Vol. 185 (1985), pp. 308-322. by Donald Sannella, Andrzej Tarlecki posted to algebraic-specification aop by marcinzalewski on 2008-04-22 09:18:02 as
	Types as Theories [My Copy] In Topology and Category Theory in Computer Science (1991), pp. 357-390. by Joseph Goguen edited by George M. Reed, Andrew W. Roscoe, Ralph F. Wachter posted to algebraic-specification aop category-theory by marcinzalewski on 2008-04-22 09:16:18 as along with 3 people GorgeousNicko bonotake scis0000001
	A Categorical Manifesto [My Copy] Mathematical Structures in Computer Science, Vol. 1, No. 1. (1991), pp. 49-67. by Joseph A. Goguen posted to algebraic-specification aop category-theory by marcinzalewski on 2008-04-22 09:13:51 as along with 14 people and 1 group pedagand robotact spl ansobol jrw bonotake scis0000001 pilho rgb kaqui ajk artur masteraka popx pileWorks
	A hidden agenda [My Copy] Theoretical Computer Science, Vol. 245, No. 1. (17 August 2000), pp. 55-101. by Joseph Goguen, Grant Malcolm posted to algebraic-specification aop by marcinzalewski on 2008-04-22 09:07:35 as
	Initial Algebra Semantics and Continuous Algebras [My Copy] J. ACM, Vol. 24, No. 1. (January 1977), pp. 68-95. by J. A. Goguen, J. W. Thatcher, E. G. Wagner, J. B. Wright posted to algebraic-specification aop by marcinzalewski on 2008-04-22 09:05:09 as along with 4 people and 1 group dherman msakai bonotake ryanc NU-PRL
	Institutions: abstract model theory for specification and programming [My Copy] J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146. by Joseph A. Goguen, Rod M. Burstall posted to algebraic-specification aop institutions by marcinzalewski on 2008-04-22 09:02:07 as along with 9 people and 2 groups mishra_satish fraktalek mahler msakai bonotake adrian_pigors scis0000001 masteraka Scis0000002 ConcertRG Rightscom
	An Executable Course in the Algebraic Semantics of Imperative Programs [My Copy] In Teaching and Learning Formal Methods, Academic Press, 1996 (1996) by Malcolm, Goguen edited by Neville C. Dean, Michael G. Hinchey posted to algebraic-specification by radico on 2008-01-28 09:04:36 as
	Object-Oriented Implementation of Abstract Data Type Specifications [My Copy] In AMAST '96: Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology (1996), pp. 163-179. by Rolf Hennicker, Christoph Schmitz posted to abstract-data-types algebraic-specification object-oriented-programming by radico on 2007-09-18 09:12:59 as
	Programming with abstract data types [My Copy] SIGPLAN Not. In Proceedings of the ACM SIGPLAN symposium on Very high level languages, Vol. 9, No. 4. (1974), pp. 50-59. by Barbara Liskov, Stephen Zilles posted to abstract-data-types algebraic-specification by radico on 2007-09-18 08:14:12 as along with 5 people flyingsnail azwinkau akuhn bfraser keigoi
	Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - [My Copy] by Maura Cerioli, Martin Gogolla, Hélène Kirchner, Bernd K. Brückner, Zhenyu Qian, Markus posted to algebraic-specification survey by radico on 2007-05-14 06:28:12 as

Note: You may cite this page as: http://www.citeulike.org/tag/algebraic-specification

category-theory	13
computer-science	12
theoretical-computer-science	12
logic	11
aop	9
formal-methods	9
abstract-data-types	8
architecture	6
institution	6
model-theory	6
system-engineering	6
algebra	4
software-engineering	4
institutions	3
adl	2
application	1
coq	1
examples	1
lambda-calculus	1
lileanna	1
ml	1
module-system	1
modules	1
object-oriented-programming	1
survey	1
type-theory	1

Tag algebraic-specification [45 articles] Export

Related Tags