Abstract

It is often claimed that functional languages are ideal for building static analysis applications. However, most applications are on small academic languages. In this document we test the claim on a real-world language, C/AL, which is the language used for implementing business logic in Microsoft Dynamics NAV, a successful Enterprise Resource Planning system. We have used Microsoft's F# to build our application. F# is a multi-paradigm language, but we have almost exclusively used the functional aspects of the language.

Christian Clausen

Got interested in programming when my dad bought a PC for his insurance office. The first project was to implement Simpsons' numerical integration in BASIC to check math homework. Later went to Aarhus University to study Computer Science, focusing primarily on models for concurrency and semantics of functional languages. Worked professionally with SQL, Java, software architecture, and agile processes. As as hobby, now working on a static analysis project using F# with a colleague.

Bent Rasmussen

Serial language enthusiast starting out with Commodore game consoles as a kid and discovered they could do more than games. Moved from BASIC and Javacript onto Java, C# and then had some brief intermezzos with Digital Mars D, Standard ML and a few others, especially interested in graphics programming.Has worked professionally as a Web Developer and Software Developer for the last couple of years. Now working on an F#-based project for over a year together with a colleague.

When: Thursday, Apr 4, 2013 7:00 PM (GMT)

Scheduled to Occur: Once

Duration: 1:00

Abstract

It is often claimed that functional languages are ideal for building static analysis applications. However, most applications are on small academic languages. In this document we test the claim on a real-world language, C/AL, which is the language used for implementing business logic in Microsoft Dynamics NAV, a successful Enterprise Resource Planning system. We have used Microsoft's F# to build our application. F# is a multi-paradigm language, but we have almost exclusively used the functional aspects of the language.

Christian Clausen

Got interested in programming when my dad bought a PC for his insurance office. The first project was to implement Simpsons' numerical integration in BASIC to check math homework. Later went to Aarhus University to study Computer Science, focusing primarily on models for concurrency and semantics of functional languages. Worked professionally with SQL, Java, software architecture, and agile processes. As as hobby, now working on a static analysis project using F# with a colleague.

Bent Rasmussen

Serial language enthusiast starting out with Commodore game consoles as a kid and discovered they could do more than games. Moved from BASIC and Javacript onto Java, C# and then had some brief intermezzos with Digital Mars D, Standard ML and a few others, especially interested in graphics programming.Has worked professionally as a Web Developer and Software Developer for the last couple of years. Now working on an F#-based project for over a year together with a colleague.

Ryan Riley has invited you to attend an online meeting using

Microsoft Office Live Meeting.

https://www.livemeeting.com/cc/usergroups/join?id=48DQJ6&role=attend&pw=NJ%22%256gC%21x

Meeting time: Apr 4, 2013 7:00 PM (GMT)  

Add to my Outlook Calendar:

https://www.livemeeting.com/cc/usergroups/meetingICS?id=48DQJ6&role=attend&pw=NJ%22%256gC%21x&i=i.ics

AUDIO INFORMATION

-Computer Audio(Recommended)

To use computer audio, you need speakers and microphone, or a

headset.

FIRST-TIME USERS

To save time before the meeting, check your system to make sure it is

ready to use Microsoft Office Live Meeting. 

http://go.microsoft.com/fwlink/?LinkId=90703

TROUBLESHOOTING 

Unable to join the meeting? Follow these steps:

  1. Copy this address and paste it into your web browser:

     https://www.livemeeting.com/cc/usergroups/join

  2. Copy and paste the required information:

        Meeting ID: 48DQJ6

        Entry Code: NJ"%6gC!x

        Location: https://www.livemeeting.com/cc/usergroups

If you still cannot enter the meeting, contact support:

http://r.office.microsoft.com/r/rlidLiveMeeting?p1=12&p2=en_US&p3=LMInfo&p4=support

NOTICE

Microsoft Office Live Meeting can be used to record meetings. 

By participating in this meeting, you agree that your communications

may be monitored or recorded at any time during the meeting.