Tag maude [24 articles] Export

Recent papers classified by the tag maude.

	Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 36 (2000), pp. 235-256. by David Basin, Grit Denker posted to 2000 analysis comparison haskell maude protocol security by michaelbanks on 2009-01-19 10:27:15 as
	Implementing CCS in Maude 2 [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 71 (April 2004), pp. 282-300. by A. Verdejo, N. Martioliet posted to concurrency maude by keigoi on 2008-11-10 16:38:50 as
	An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0 [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 71 (April 2004), pp. 261-281. by P. Thati, K. Sen, N. Martioliet posted to maude picalculus by keigoi on 2008-11-10 07:05:46 as
	CINNI - A Generic Calculus of Explicit Substitutions and its Application to λ- ς- and π-Calculi [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 36 (2000), pp. 70-92. by M. Oliverstehr posted to maude termrewriting by keigoi on 2008-11-06 14:16:59 as
	Prototyping SOS Meta-theory in Maude [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Second Workshop on Structural Operational Semantics (SOS 2005), Vol. 156, No. 1. (15 May 2006), pp. 135-150. by Mohammad R. Mousavi, Michel A. Reniers posted to maude operationalsemantics by keigoi on 2008-02-13 16:21:11 as along with 1 person leonardo
	Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis [My Copy] In Electronic Notes in Theoretical Computer Science, Vol. 36 (2001) by David Basin, Grit Denker edited by Kokichi Futatsugi posted to comparison haskell maude by Scis0000002 on 2007-08-14 20:49:09 as
	Invariant-Driven Strategies for Maude [My Copy] by Francisco D. Manuel posted to invariance invariants maude strategies by Scis0000002 on 2007-08-14 20:37:35 as
	Maude's Internal Strategies [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2004), Vol. 124, No. 2. (18 April 2005), pp. 11-15. by Francisco Duran posted to maude metaprogramming proof-search strategies by Scis0000002 on 2007-08-14 20:12:57 as
	All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic [My Copy] (31 July 2007) by Manuel Clavel, Francisco Durán, Steven Eker, et al.Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott posted to maude by Scis0000002 on 2007-08-14 20:02:55 as along with 1 person leonardo
	Reflection in General Logics, Rewriting Logic, and Maude [My Copy] by Manuel Clavel posted to general-logics hol maude metaprogramming reflective-logic reflectivity rewriting-logic by Scis0000002 on 2007-07-06 14:09:23 as
	$My PDF mart&\#237;-oliet_94_general.pdf$ General logics and logical frameworks [My Copy] (1994), pp. 355-391. by Narciso Mart&\#237;-Oliet, Jos&\#233; Meseguer posted to computational-logic general-logics interoperability logical-frameworks maude metalogical-frameworks metalogics metaprogramming metascience theory-of-institutions unified-concept-theory universal-logic by Scis0000002 on 2007-07-06 14:06:18 as along with 1 person scis0000001
	The justification of logical theories based on data compression [My Copy] (1995), pp. 87-121. by A. Srinivasan, S. Muggleton, M. Bain posted to algorithmic-information-theory cip cognitive-architectures compression formal-theories ilp induction logical-theories maude meta-level-architectures theory-selection by Scis0000002 on 2007-07-05 14:20:13 as
	Implementing System BV of the Calculus of Structures in Maude [My Copy] by Ozan Kahramanogullari posted to bv deep-inference maude rewriting-logic by scis0000001 on 2007-05-03 14:22:40 as
	Rewriting Logic Semantics: From Language Specifications To Formal Analysis Tools [My Copy] by José Meseguer, Grigore Rosu posted to formal-methods maude model-checker rewriting-logic semantics specification by scis0000001 on 2007-04-27 23:59:54 as
	Formalizing ODP Enterprise Specifications in Maude [My Copy] by Francisco Duran, Antonio Vallecillo posted to enterprise maude odp specification by scis0000001 on 2007-04-27 22:57:54 as
	What Is a Concept? [My Copy] Lecture Notes in Computer Science : Conceptual Structures: Common Semantics for Sharing Knowledge (2005), pp. 52-77. by Joseph Goguen posted to algebraic-semiotics blend-space blending-theory category-of-theories category-theory channel-theory chu-space classification combination concept-lattice conceptual-space conceptual-structures context contextuality cultrual-evolution dynamical-system fca formal-development formal-language-theory formal-methods formal-philosophy formal-science galois-frame general-systems-theory iff information-flow institutions lattice-of-theories logical-framework managed-logic maude mental-space metalogics metascience ontology ontology-space parchments regularity representation semantic-space semantics semiotic-space signatures systems-theory theory-development topos-theory unified-concept-theory by scis0000001 on 2007-04-21 14:31:54 as along with 8 people and 2 groups isotelesis garyfeng adrian_pigors maike livingthingdan mzygmunt RafG Scis0000002 ReadingLab livingthing
	Principles of Maude [My Copy] In Proceedings of the First International Workshop on Rewriting Logic, Vol. 4 (1996), pp. 65-89. by Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer edited by José Meseguer posted to maude rewriting rewriting-logic by scis0000001 on 2007-04-14 13:38:05 as along with 1 person kavabean
	Executable structural operational semantics in Maude [My Copy] (2003) by A. Verdejo, Mart N. Oliet posted to executable maude operational semantics by scis0000001 on 2007-04-14 02:55:25 as along with 1 person kavabean
	An object-oriented airport: Specification and refinement in Maude [My Copy] Lecture Notes In Computer Science: Recent Trends in Data Type Specification In Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification, Vol. 906 (1995), pp. 351-367. by Ulrike Lechner, Christian Lengauer, Martin Wirsing posted to no-tag 1995 maude refinement by leonardo on 2007-02-09 16:03:30 as
	Conditional rewriting logic as a unified model of concurrency [My Copy] Theor. Comput. Sci., Vol. 96, No. 1. (April 1992), pp. 73-155. by Jos&\#233; Meseguer posted to algebraic_theories category_theory maude rewriting_logic by xiemaisi to the group AS-IIS_ReadingGroup on 2006-12-12 07:39:05 as along with 1 person kavabean
	Rewriting logic as a logical and semantic framework [My Copy] (1993) by Martí N. Oliet, J. Meseguer posted to maude rewriting_logic by xiemaisi to the group AS-IIS_ReadingGroup on 2006-07-26 15:27:41 as along with 1 person Scis0000002
	Pure type systems in rewriting logic [My Copy] (1999) by M. Stehr, J. Meseguer posted to maude pure_type_systems rewriting_logic by xiemaisi to the group AS-IIS_ReadingGroup on 2006-07-26 15:25:49 as
	Executable structural operational semantics in Maude [My Copy] Journal of Logic and Algebraic Programming In Algebraic Specification, Vol. 67, No. 1-2. ( 2006), pp. 226-293. by Alberto Verdejo, Narciso M. Oliet posted to 2006 maude sos by leonardo on 2006-06-26 17:46:09 as
	Reflective metalogical frameworks [My Copy] ACM Trans. Comput. Logic, Vol. 5, No. 3. (July 2004), pp. 528-576. by David Basin, Manuel Clavel, José Meseguer posted to induction maude membership-equational-logic reflection by dalev on 2005-08-02 04:02:21 as along with 6 people and 1 group isotelesis pirapira leemond31 scis0000001 Benja Scis0000002 NU-PRL

Note: You may cite this page as: http://www.citeulike.org/tag/maude

rewriting_logic	6
rewriting	4
rewriting-logic	4
semantics	4
induction	3
metaprogramming	3
2006	2
algebraic_theories	2
category_theory	2
comparison	2
design1	2
formal-methods	2
general-logics	2
haskell	2
membership-equational-logic	2
metalogics	2
metascience	2
pure_type_systems	2
reflection	2
sos	2
specification	2
strategies	2
unified-concept-theory	2
1995	1
2000	1
2007	1
_book	1
_to_download_springer	1
algebraic-semiotics	1
algorithmic-information-theory	1
analysis	1
blend-space	1
blending-theory	1
category-of-theories	1
category-theory	1
channel-theory	1
chu-space	1
cip	1
classification	1
cognitive-architectures	1
combination	1
compression	1
computational-logic	1
concept-lattice	1
conceptual-space	1
concurrency	1
context	1
contextuality	1
deep-inference	1
dynamical-system	1
executable	1
fca	1
formal-language-theory	1
formal-philosophy	1
formal-science	1
formal-theories	1
galois-frame	1
general-systems-theory	1
hol	1
iff	1
information-flow	1
institutions	1
interoperability	1
invariance	1
invariants	1
logical-framework	1
logical-frameworks	1
logical-theories	1
managed-logic	1
mental-space	1
meta-level-architectures	1
metalogical-frameworks	1
model-checker	1
nopdf	1
odp	1
ontology	1
ontology-space	1
operational	1
operationalsemantics	1
parchments	1
picalculus	1
process-algebra	1
proof-search	1
protocol	1
refinement	1
reflective-logic	1
reflectivity	1
regularity	1
representation	1
security	1
semantic-space	1
semiotic-space	1
signatures	1
systems-theory	1
termrewriting	1
theory-development	1
theory-of-institutions	1
theory-selection	1
topos-theory	1
universal-logic	1

Tag maude [24 articles] Export

Related Tags