Filters








15 Hits in 5.7 sec

Writing Positive/Negative-Conditional Equations Conveniently [article]

Claus-Peter Wirth, Ruediger Lunde
2009 arXiv   pre-print
We present a convenient notation for positive/negative-conditional equations. The idea is to merge rules specifying the same function by using case-, if-, match-, and let-expressions.  ...  A rewrite system translates the macro-rule-constructs into positive/negative-conditional equations.  ...  Introduction Introduction We present a macro-rule-construct for convenient specification with positive/negative-conditional equations as presented in Wirth & Gramlich (1993) .  ... 
arXiv:0902.2975v1 fatcat:uxwmamiquzefboonm35z7qlr6i

Syntactic Confluence Criteria for Positive/Negative-Conditional Term Rewriting Systems [article]

Claus-Peter Wirth
2009 arXiv   pre-print
Writing Positive/Negative-Conditional Equations Conveniently. SEKI-Working-Paper SWP-94-04, FB Informatik, Univ. Kaiserslautern(SFB).  ...  Constructor-Based Inductive Validity in Positive/Negative-Conditional Equational Specifications. SEKI-Report SR-93-05, FB Informatik, Univ. Kaiserslautern(SFB).  ...  Thus (writing n+1 instead of n since we may assume 0 ≺ n) it now suffices to show for n ≺ ω that Claim 5: We may assume ∀i ≺ 2. l i ∈ T (cons, V SIG ⊎V C ).  ... 
arXiv:0902.3614v1 fatcat:fl3fyfruqjewhlbjby3iyskmoy

A Constructor-Based Approach to Positive/Negative-Conditional Equational Specifications

Claus-Peter Wirth, Bernhard Gramlich
1994 Journal of symbolic computation  
We study algebraic speci cations given by nite sets R of positive/negative-conditional equations (i. e. universallyquanti ed rst-orderimplicationswith a single equation in the succedent and a conjunction  ...  of positive and negative (i. e. negated) equations in the antecedent).  ...  In general, speci cations with positive/negative-conditional equations lack an initial model.  ... 
doi:10.1006/jsco.1994.1004 fatcat:icf2mgkryzgqnoxunmndaqv6ee

A constructor-based approach for positive/negative-conditional equational specifications [chapter]

Claus-Peter Wirth, Bernhard Gramlich
1993 Lecture Notes in Computer Science  
We present a constructor-based approach for assigning appropriate semantics to algebraic speci cations given by nite sets of positive/negative-conditional equations.  ...  /negative-conditional (\p/n-conditional" for short) equations.  ...  Conclusion The presented constructor-based approach for positive/negative-conditional equational speci cations provides the theoretical background for inductive theorem proving in such speci cations as  ... 
doi:10.1007/3-540-56393-8_15 fatcat:5ebvwgrgpngq3ksx5y4snpddbe

Automation of Mathematical Induction as part of the History of Logic [article]

J Strother Moore, Claus-Peter Wirth
2014 arXiv   pre-print
/negative-conditional equations for the f k , assuming any arbitrary model M of all (positive/negative-conditional) equations with free constructors to be given. 94 For an argumentum ad absurdum, suppose  ...  /negative-conditional equation as arguments of the function being defined.  ... 
arXiv:1309.6226v5 fatcat:i7nzngq47zfd7its4kfynlfpti

Shallow confluence of conditional term rewriting systems

Claus-Peter Wirth
2009 Journal of symbolic computation  
Recursion can be conveniently modeled with left-linear positive/ negative-conditional term rewriting systems, provided that nontermination, non-trivial critical overlaps, non-right-stability, nonnormality  ...  To this end, we restrict the introduction of extra variables of right-hand sides to binding equations and require the critical pairs to have somehow complementary literals in their conditions.  ...  Finally, I would like thank Tobias Schmidt-Samoa for finding some flaws in previous versions of this paper and for the final additional motivation that made me actually write this paper in the end.  ... 
doi:10.1016/j.jsc.2008.05.005 fatcat:zjp4ce43onbfxbt3sv5g5wndoq

Generation of components for software renovation factories from context-free grammars

Mark van den Brand, Alex Sellink, Chris Verhoef
2000 Science of Computer Programming  
In fact, ASF is an implementation of positive=negative conditional term rewriting systems. The For a general reference to term rewriting we refer to [66] .  ...  The syntax in Fig. 16 enables us to write expressions like a U (d,o,u)ˆ{ }.  ... 
doi:10.1016/s0167-6423(99)00037-4 fatcat:6hgffnpbvrg37pfurxwixwdyu4

Examining the Stroking Behavior of English, Persian, and Arabic School Teachers in Iran: A Mixed-methods Study

Fatemeh Irajzad, Reza Pishghadam, Hesamoddin Shahriari
2017 International Journal of Instruction  
Strokes may be verbal/non-verbal, positive/negative, conditional/unconditional (Stewart & Joines, 1987) .  ...  This scale has been validated through Rasch Psychometric Model (RPM) and Structural Equation Model (SEM).  ... 
doi:10.12973/iji.2017.10114a fatcat:nle427vgy5f6rdq3lopjng34eu

Lectures on Jacques Herbrand as a Logician [article]

Claus-Peter Wirth, Joerg Siekmann, Christoph Benzmueller, Serge Autexier
2014 arXiv   pre-print
For consistency proofs and admissibility conditions for the practical specification of partial recursive functions with positive/negative-conditional term rewriting systems cf..142 Letter ofGödel to Heijenoort  ...  If one of the equations to be satisfied equates a δ-variable to another term that is not a γ-variable, the equation cannot be satisfied. 3.  ...  , then, if the resulting set of functional equations has one and only one solution for φ, φ is a recursive function." 138 Index A T , 24 T n , 23 Ackermann, Wilhelm (1896 -1962 ), 5, 16, 20, 43, 50, 63  ... 
arXiv:0902.4682v5 fatcat:pgxxo7vjcbeyvhjej4svsv6lqe

Specification and Semantics Dagstuhl-Seminar-Report; 64 Verantwortlich für das Programm ist das Wissenschaftliche Direktorium

Beth Thomas, José Encarnacao, Hans Hagen, Michael Laska, Thomas Lengauer, Wolfgang Thomas, Reinhard Wilhelm, Universität Karlsruhe
unpublished
We study algebraic speci cations given by nite sets R of positive/ negative-conditional equations with possible constraints in a built-in theory (i.e. universally quanti ed rstorder implications with a  ...  single equation in the succedent and a conjunction of positive and negative (negated) equations and further constraints in the antecedent).  ... 
fatcat:rzy4o5z7hff2xlw2u6yvx6tnlq

A hybrid systems model for simple manipulation and self-manipulation systems

Aaron M Johnson, Samuel A Burden, Daniel E Koditschek
2016 The international journal of robotics research  
Note the importance here of the trending positive/negative conditions (Definition 1) -in general it is not sufficient to simply check the sign of the contact force but possibly higher derivatives as well  ...  For notational convenience in this proof we let T i = [t + i−1 ,t − i ] for all i ∈ N.  ... 
doi:10.1177/0278364916639380 fatcat:af6ngbco7revfg4m37ixvcredu

Generation of components for software renovation factories from context-free grammars

M. van den Brand, A. Sellink, C. Verhoef
Proceedings of the Fourth Working Conference on Reverse Engineering  
In fact, ASF is an implementation of positive=negative conditional term rewriting systems. The For a general reference to term rewriting we refer to [66] .  ...  The syntax in Fig. 16 enables us to write expressions like a U (d,o,u)ˆ{ }.  ... 
doi:10.1109/wcre.1997.624585 dblp:conf/wcre/BrandSV97 fatcat:n66ixd72dvfrrcxt5zoe4jigr4

On the mean Euler characteristic of contact manifolds [article]

Jacqueline Espina
2012 arXiv   pre-print
For example, if the index-positivity/negativity condition is dropped, we still have a homology of the Morse-Bott chain complex, although it may no longer be isomorphic to HC cyl * (M, α), cf.  ...  However, Equation 1.4 still holds for the linearized mean Euler characteristic in this dimension, see Section 6.2.  ... 
arXiv:1011.4364v3 fatcat:eskwn3paizhqxgg7qxsep2xoqm

Collective behaviour in digital societies

Abhishek Samantray
2020
Table 7 : 7 AVERAGE TREATMENT EFFECTS OF MICRO ATTRIBUTES Treatment: Micro attributes of politicization Micro-attribute Type: INDIRECT Micro-attribute Type: DIRECT Effects (positive/negative/conditional  ...  /negative/conditional) on various discussion characteristics Discussion Size (Total Comments) positive positive Agreements/Feedbacks (Total Likes) positive positive Users' Engagement (Total Replies  ... 
doi:10.6092/imtlucca/e-theses/319 fatcat:wb5rctzvw5bo7lc2v6mkw33c3e

Explaining fertility outcomes within the urban poor : a case study of Chittagong, Bangladesh

Mohammed Ali Syed
2016
(negative) conditions should be analytically incorporated into conjunctions of conditions for positive (negative) instances.  ...  The key aim of the Bangladesh programme was therefore to mitigate these costs of fertility regulation by providing convenient and subsidised family planning services through conveniently located outlets  ... 
doi:10.25501/soas.00023795 fatcat:laxdn6kusref3ilwpu656grnze