What efforts exist to use programming languages to model legal code?

Posted by agnoster on Stack Overflow See other posts from Stack Overflow or by agnoster
Published on 2010-04-07T13:27:37Z Indexed on 2010/04/07 13:33 UTC
Read the original article Hit count: 222

Filed under:

law

|

legal

|

logic

|

programming-languages

|

computation-theory

Legalese can be considered an extremely inefficient language, and it certainly has ambiguities. What attempts exist out there to use programming languages (or any symbolic logic approaches, for that matter) to model legal code (such as laws and contracts)?

© Stack Overflow or respective owner

Related posts about law

Broad Tech Coalition Calls for Net Privacy Law Overhaul

as seen on Internet.com - Search for 'Internet.com'
Unlikely allies Microsoft, Google, AT&T and a host of often-feuding advocacy groups and think tanks join forces in call for update to ECPA to reflect cloud computing and location services. >>> More
10 ways you might be breaking the law with your computer: UPDATED

as seen on Internet.com - Search for 'Internet.com'
<b>10 Things:</b> "Legislation that affects the use of Internet-connected computers is springing up everywhere at the local, state and federal levels. You might be violating one of them without even knowing." >>> More
Laws of Computer Science and Programming

as seen on Stack Overflow - Search for 'Stack Overflow'
We have Amdahl's law that basically states that if your program is 10% sequential you can get a maximum 10x performance boost by parallelizing your application. Another one is Wadler's law which states that In any language design, the total time spent discussing a feature in this list… >>> More
Converting .wav (CCITT A-Law format) to .mp3 using LAME

as seen on Super User - Search for 'Super User'
I would like to convert wav files to mp3 using the lame encoder (lame.exe). The wav files are recorded along the following specifications: Bit Rate: 64kbps Audio sample size: 8 bit Channels: 1 (mono) Audio sample rate: 8 kHz Audio format: CCITT A-Law If I try to convert such a wav file using lame… >>> More
Getting around US law

as seen on Pro Webmasters - Search for 'Pro Webmasters'
Hello. Let's suppose that someone is interested in starting a website that might be in violation of some US laws (such as copyright, gambling, pornography, etc.). I know this question isn't in the best taste, so I can understand if it is closed or deleted. Please consider, however, that not everything… >>> More

Related posts about legal

SCALE 8x: Free software legal issues

as seen on Internet.com - Search for 'Internet.com'
<b>LWN.net:</b> "But in reality the FLOSS ecosystem relies on a complex legal framework in order to run smoothly and to stand up to proprietary software competition: the various software licenses, contribution agreements, copyright and other "intellectual property" law." >>> More
Copyright infringement - inside the legal minefield

as seen on Internet.com - Search for 'Internet.com'
<b>New Zealand Herald:</b> "Several weeks ago the Australian high court ruled in favour of Aussie ISP iiNet in a landmark legal battle where AFACT (Australian Federation Against Copyright Theft) argued that iiNet was as guilty as some of its subscribers of online copyright infringement… >>> More
Signing redistributed files

as seen on Programmers - Search for 'Programmers'
In order to submit a desktop application for the Windows 8 app store, you need to digitally sign any driver or .exe associated with the application. However, the application I was trying to submit contains several files that are redistributions of other companies' software, and some of these are not… >>> More
Is it illegal to rewrite every line of an open source project in a slightly different way, and use it in a closed source project?

as seen on Programmers - Search for 'Programmers'
There is some code which is GPL or LGPL that I am considering using for an iPhone project. If I took that code (JavaScript) and rewrote it in a different language for use on the iPhone would that be a legal issue? In theory the process that has happened is that I have gone through each line of the… >>> More
Is it really free to deploy SharpDevelop apps?

as seen on Programmers - Search for 'Programmers'
I'm trying SharpDevelop to develop c# applications. Regardless of the language and the IDE, is it free to deploy applications that use WinForms? I've been developing with MonoDevelop just because it has a designer for Gtk# (client doesn't want to pay more for licences as to use VS...), but it's too… >>> More