Formal Equivalence between programming languages

Posted by Ketan on Stack Overflow See other posts from Stack Overflow or by Ketan
Published on 2010-06-04T14:42:39Z Indexed on 2010/06/06 21:52 UTC
Read the original article Hit count: 290

Filed under:

language

|

programming

|

proof

Hello

We have 2 languages which are (informally) semantically equivalent but syntactically different. One is xml and another is script based. How can I go about formally proving that both languages are in fact equivalent. Script approach is just a convenient way to write a same program that would be tedious to write in xml.

Thanks Ketan

© Stack Overflow or respective owner

Related posts about language

Match language code with countries where this language is an official or commonly used language

as seen on Stack Overflow - Search for 'Stack Overflow'
Is there any python library to get a list of countries for a specific language code where it is an official or commonly used language? For example, language code of "fr" is associated with 29 countries where French is an official language plus 8 countries where it's commonly used. >>> More
"Page description language" and "markup language"

as seen on Stack Overflow - Search for 'Stack Overflow'
What is the difference and relation between "Page description language"(http://en.wikipedia.org/wiki/Page_description_language), "markup language" (http://en.wikipedia.org/wiki/Markup_language) and "Page description markup language" (http://en.wikipedia.org/wiki/Page_description_markup_language)… >>> More
Add keyboard languages to XP, Vista, and Windows 7

as seen on How to geek - Search for 'How to geek'
Do you regularly need to type in multiple languages in Windows? Here we’ll show you the easy way to add and change input languages to your keyboard in XP, Vista, and Windows 7. Windows Vista and 7 come preinstalled with support for viewing a wide variety of languages, so adding an input language… >>> More
Change the User Interface Language in Vista or Windows 7

as seen on How to geek - Search for 'How to geek'
Would you like to change the user interface language in any edition of Windows 7 or Vista on your computer? Here’s a free app that can help you do this quickly and easily. If your native language is not the one most spoken in your area, you’ve likely purchased a PC with Windows preinstalled… >>> More
Change the User Interface Language in Ubuntu

as seen on How to geek - Search for 'How to geek'
Would you like to use your Ubuntu computer in another language? Here’s how you can easily change your interface language in Ubuntu. Ubuntu’s default install only includes a couple languages, but it makes it easy to find and add a new interface language to your computer. To get started… >>> More

Related posts about programming

Imperative Programming v/s Declarative Programming v/s Functional Programming

as seen on Geeks with Blogs - Search for 'Geeks with Blogs'
Imperative Programming :: Imperative programming is a programming paradigm that describes computation in terms of statements that change a program state. In much the same way as the imperative mood in natural languages expresses commands to take action, imperative programs define sequences of commands… >>> More
Programming in python Vs programming in Java

as seen on Stack Overflow - Search for 'Stack Overflow'
I've been writing Java for the last couple of years , and now I've started to write in python (in addition). The problem is that when I look at my Python code it looks like someone tried to hammer Java code into a python format , and it comes out crappy because - well , python ain't Java. Any… >>> More
Have you ever bought a commercial implementation of a programming language for personal programming

as seen on Stack Overflow - Search for 'Stack Overflow'
Commercial products are often a source of ideas and inspiration for open source projects. There are free and open source implementations of almost every programming language ever devised, and a lot of them are very good. For non-work related personal programming projects, have you ever bought an… >>> More
Is Game Programming very different from normal programming?

as seen on Stack Overflow - Search for 'Stack Overflow'
By normal programming, I'm referring to application programming (which is all I'm familiar with at the moment). My goal is to make games, and I wanted to know if the path was different than other programming paths at the beginner level. Or perhaps it's too early for me to worry about that at this… >>> More
Programming activities for high school kids who have no idea what CS or programming is

as seen on Stack Overflow - Search for 'Stack Overflow'
I work at a small high school that's in a very high poverty area. There are only a handful of seniors that are thinking about applying to be an engineer of some sort in college and only 1 kid that applied for Computer Science (he has a couple acceptances so far!). He's been talking to me a lot as… >>> More