- And now about Software Reliability - 1 Update
- [Modération JNTP] Annulation de <p9bkn7$5gq$8@dont-email.me> - 1 Update
- My following projects were updated - 1 Update
- A.I. and speech advances bring virtual assistants to work - 1 Update
- Terahertz processors could be just around the around the corner as Israeli scientists develop prototype - 1 Update
| computer45 <computer45@cyber.com>: Mar 26 08:28PM -0400 Hello.. As you know i am working with Delphi and FreePascal and C++.. And now about Software Reliability: Extended static checking (ESC) can identify a range of errors which are currently outside the scope of a type checker, including division by zero, array out of bounds, integer overflow and null dereferences, this can be done with Delphi and FreePascal compilers. Furthermore, extended static checking aims to report errors by exploiting user-supplied specifications, in the form of pre- and post-conditions, loop invariants and class invariants, this can be done by assertions in Delphi and FreePascal. Read more here: http://whiley.org/2010/06/26/what-is-extended-static-checking/ Also read this about Software reliability: "Both Rust and Spark languages implement a number of static and dynamic checks directly in the language definition. For example, they implement strict-type safety; that is, objects can't be implicitly converted from one type to the next. The following doesn't compile in SPARK" Read more here: http://www.electronicdesign.com/industrial/rust-and-spark-software-reliability-everyone Here is how you can have strict-type safety in Delphi and FreePascal, here is a Delphi program that shows an example using variants: -- program test; uses VARIANTS,SYSUTILS; var f:double; a:integer; FUNCTION ASSIGN(a,B:VARIANT):VARIANT; begin IF VARTYPE(A)=VARTYPE(B) THEN BEGIN A:=B; RESULT:=A; END ELSE RAISE EXCEPTION.CREATE('ASSIGNEMENT NOT OK'); end; begin a:=2; f:=a; A:=ASSIGN(F,A); end. -- Here is the Vartype function: http://docs.embarcadero.com/products/rad_studio/delphiAndcpp2009/HelpUpdate2/EN/html/delphivclwin32/Variants_VarType.html You can use the same idea above for functions and methods etc. so Delphi and FreeP Also i have also invented a fully scalable reference counting with efficient support for weak references, here it is: https://sites.google.com/site/aminer68/scalable-reference-counting-with-efficient-support-for-weak-references Thank you, Amine Moulay Ramdane. |
| Elephant Man <conanospamic@gmail.com>: Mar 26 08:29PM Article d'annulation émis par un modérateur JNTP via Nemo. |
| computer45 <computer45@cyber.com>: Mar 26 04:20PM -0400 Hello, Read this: My following projects were updated: JNI Wrapper for Delphi and FreePascal was updated to version 2.89 And my PERT++ was updated to version 1.33 And my Dijkstra and Bellman-Ford-Moore's algorithms for Delphi and FreePascal was updated to version 1.22 And my CPM (Critical Path Method) for Delphi and FreePascal was updated to version 1.06 They are now working with Java 10. You can download them from: https://sites.google.com/site/aminer68/ Thank you, Amine Moulay Ramdane. |
| computer45 <computer45@cyber.com>: Mar 26 03:00PM -0400 Hello, Read this: A.I. and speech advances bring virtual assistants to work Read more here: https://www.computerworld.com/article/3264433/digital-assistants/ai-and-speech-advances-bring-virtual-assistants-to-work.html Thank you, Amine Moualy Ramdane. |
| computer45 <computer45@cyber.com>: Mar 26 02:06PM -0400 Hello, Read this: Terahertz processors could be just around the around the corner as Israeli scientists develop prototype Read more here: https://www.v3.co.uk/v3-uk/news/3029191/terahertz-processors-could-be-just-around-the-around-the-corner-as-israeli-scientists-develop-prototype Thank you, Amine Moulay Ramdane. |
| You received this digest because you're subscribed to updates for this group. You can change your settings on the group membership page. To unsubscribe from this group and stop receiving emails from it send an email to comp.programming.threads+unsubscribe@googlegroups.com. |
No comments:
Post a Comment