OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

office-formula message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]


Subject: Re: [office-formula] Expression Calculation: expression = formula?


Patrick Durusau <patrick@durusau.net> wrote on 01/23/2010 10:20:48 AM:
> 
> I am trying to work out a normative statement from current 2.2 
> Expression Calculation.
> 
> I stumble over sentences like: "Any formula is an expression that 
> produces a result."
> 
> So, is an expression that doesn't produce a result not a formula?

I guess the question is: Is this intended to be a definition or a 
constraint?

The definition of "formula" ought to be done in terms of match a 
non-terminal identifier in the BNF grammar.  In other words, it is defined 
syntactically.

If it is meant to be a constraint then it is a constraint on the Evaluator 
(formula processor) not the formula itself. 

-Rob

> 
> Or are the terms expression and formula meant to be interchangeable in 
> all cases?
> 
> My operating assumption is that they are equivalent.
> 
> So, why not just pick one? I am indifferent to which one.
> 
> I have several questions but will separate them for clarity's sake.
> 
> Hope everyone is having a great weekend!
> 
> Patrick
> 
> -- 
> Patrick Durusau
> patrick@durusau.net
> Chair, V1 - US TAG to JTC 1/SC 34
> Convener, JTC 1/SC 34/WG 3 (Topic Maps)
> Editor, OpenDocument Format TC (OASIS), Project Editor ISO/IEC 26300
> Co-Editor, ISO/IEC 13250-1, 13250-5 (Topic Maps)
> 
> 
> ---------------------------------------------------------------------
> To unsubscribe from this mail list, you must leave the OASIS TC that
> generates this mail.  Follow this link to all your TCs in OASIS at:
> https://www.oasis-open.org/apps/org/workgroup/portal/my_workgroups.php 
> 



[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]