MHB What does the following formalism mean?

  • Thread starter Thread starter exclusive
  • Start date Start date
  • Tags Tags
    Mean
AI Thread Summary
The discussion centers on the interpretation of a formalism related to programming languages, specifically focusing on the body of a method or function. It is noted that the body can include variable assignments or results from method calls. There is a request for further clarification on additional components of the formalism, as they are not well understood. The conversation emphasizes the importance of context for a complete understanding. Overall, the inquiry seeks to clarify the meaning and implications of the formalism in question.
exclusive
Messages
1
Reaction score
0
Hi, could you please explain to me what does the following formalisms mean?

View attachment 2414

i'm interested in the body part.

Thank you in advance.
 

Attachments

  • Sans titre.png
    Sans titre.png
    41.6 KB · Views: 87
Technology news on Phys.org
Hi, and welcome to MHB!

It looks like a formal definition of some programming language. This part shows what a method, or a function, is. The body may contain an assignment of a variable to a variable or of the result of a method call to a variable. The other two options I did not really understand; more context is needed.
 
Thread 'Is this public key encryption?'

Thread 'Is this public key encryption?'

I've tried to intuit public key encryption but never quite managed. But this seems to wrap it up in a bow. This seems to be a very elegant way of transmitting a message publicly that only the sender and receiver can decipher. Is this how PKE works? No, it cant be. In the above case, the requester knows the target's "secret" key - because they have his ID, and therefore knows his birthdate.
View full post »
Thread 'Project Documentation'

Thread 'Project Documentation'

Trying to package up a small bank account manager project that I have been tempering on for a while. One that is certainly worth something to me. Although I have created methods to whip up quick documents with all fields and properties. I would like something better to reference in order to express the mechanical functions. It is unclear to me about any standardized format for code documentation that exists. I have tried object orientated diagrams with shapes to try and express the...
View full post »

Similar threads

What does it mean that MySQL is a server application?
Replies
16
Views
3K
A What Is the Role of 'n' and the Virgule in the Wedge Product Formalism?
Replies
3
Views
2K
MHB What does it mean for G to be consistent with Q?
Replies
2
Views
2K
C/C++ Variable defined in scope gives error depending on scope
Replies
13
Views
2K
MHB Degree of Sentence in Smith's Godel Book: Explained
Replies
6
Views
2K
MHB: What Does It Mean? Solve the Mystery Now!
Replies
1
Views
1K
MHB What does the following means?
Replies
2
Views
1K
Fortran What does this Fortran Line Mean?
Replies
12
Views
3K
What is intermediate-advanced SQL and how to learn it?
Replies
6
Views
3K
MHB Does Every Standard Deductive Apparatus Include Common Identity Axioms?
Replies
4
Views
2K

Hot Threads

Recent Insights

Back
Top