B-Prolog
Downloads The birth of CLP is a milestone in the history of programming languages. Welcome to B-Prolog, a versatile and efficient constraint logic programming (CLP) system! CLP combines two declarative programming paradigms: logic programming and constraint...
[October 1, 2009, 22:43]
A Type-Theoretic Foundation for Programming With Higher-Order Abstract Syntax and First-Class Substitutions
White Papers However, enriching functional programming languages with direct support for HOAS has been a major challenge, because recursion over HOAS encodings requires one to traverse - abstractions and necessitates programming with open objects.
[January 9, 2009, 0:00]
Open-source Eclipse unveils Ajax projects
News The Eclipse software is widely used for writing applications in Java and other programming languages. The Ajax projects, announced at the annual EclipseCon conference, are meant to make a wider number of tools available for JavaScript programming...
[March 8, 2007, 8:41]
Borland targets .Net developers
News Borland, hoping to appeal to companies seeking an alternative to Microsoft, will extend the .Net Framework -- the "plumbing" underlying .Net -- to operate with a mix of operating systems and programming languages, said company executives.
[February 5, 2003, 11:00]
PLT Scheme
Downloads It supports the creation of new programming languages through a rich, expressive syntax system. PLT Scheme is an innovative programming language that builds on a rich academic and practical tradition.
[December 1, 2009, 13:44]
Microsoft's new Visual Basic - a .Not?
News Visual Studio.Net comprises Microsoft .Net versions of a number of Microsoft programming languages, including Visual Basic, Visual C++ and the new C# (pronounced "C-sharp"). The three million software developers using Microsoft's Visual Basic...
[January 19, 2001, 8:16]
Sun updates NetBeans with PHP support
News Sun has been expanding the range of programming languages supported in the NetBeans integrated development environment (IDE) this year, adding Ruby on Rails in May's release of the NetBeans IDE 6.1. Eclipse has also been expanding its support for...
[November 20, 2008, 14:03]
GCC 4.0 boosts code performance
News Its support for a wide range of programming languages and target platforms has made it a key part of the FSF's efforts to produce as much free software as possible. It also includes language-specific improvements, such as a performance enhancement...
[April 26, 2005, 13:05]
IBM open-source project to release tools
News The Eclipse project -- which now has the backing of more than 150 software companies, including Borland, Rational Software, Red Hat and Sybase -- supports the Java, C, C++, C# and Cobol programming languages.
[September 9, 2002, 14:11]
Microsoft rebuilds .Net tools
News With the Whidbey update to Visual Studio.Net, developers will be able to use a number of programming languages to write applications that run in SQL Server. Released about a year ago, Visual Studio.Net is a bundle of tools that lets developers work...
[February 11, 2003, 15:20]
Latest language in Web services: Cobol
News Cobol (common business oriented language) was one of the first high level programming languages, developed in 1959 under the sponsorship of Rear Admiral Grace Hopper. There is a still a vast amount of code in use that is written in the 40-year old...
[November 7, 2002, 8:46]
Borland takes on Microsoft with developer tools
News It will also support Microsoft's Common Language Runtime, which allows software developers to use many types of programming languages to write applications that run on Windows and Windows-based server software.
[August 23, 2002, 11:45]
Financial sector suffering IT skills shortfall
News The IT skills most in demand in the FS industry are (in order of most sought-after first): programming languages, IT management and Linux. In the telecoms vertical, the most in-demand IT skills are: applications development, programming languages...
[December 16, 2008, 8:18]
IBM, Microsoft clash over .Net and Java
News In particular, said Edwards, Microsoft's decision to support dozens of programming languages was fundamentally flawed. Programmers don't come screaming to me saying 'I want five different programming languages,'" he said, stressing the wide...
[March 4, 2002, 16:00]
W3C marks 'milestone' in DOM protocol
News It's not just in the DOM, it's in the XML parsers, and in the different programming languages like Perl and Java. We accomplished with DOM Level 3 the original vision we had for the DOM application programming interface back in 1997," said Philippe...
[April 8, 2004, 9:05]
Programming geeks fight to the finish
News More common is the imperative programming paradigm, which includes languages such as C and Java and works by giving step-by-step instructions. The occasion for this creative exercise is the Fifth ICFP Programming Contest, a 72-hour battle announced...
[September 2, 2002, 7:53]
How to speak SAP's language
News Whereas other languages require complex programming to achieve this sort of event-oriented execution, ABAP/4 is loaded with conveniences to enable it. ABAP stands for Advanced Business Application Programming.
[January 14, 2003, 11:38]
Artificial Intelligence: Working backwards from HAL
Talkback This suggests that text based programming languages do not satisfactorily provide a platform for “reasoning”. In my opinion, the future of AI is dependent on the extension of the programming paradigm from today’s Boolean logic to incorporate...
[April 3, 2006, 16:54]
Gates unveils Visual Studio.Net
News Microsoft's new tools allow people to develop in more than 20 programming languages, ranging from older languages such as COBOL to newer ones such as Microsoft's C#. Just in time for Valentine's Day, Microsoft chairman Bill Gates wooed software...
[February 14, 2002, 9:03]
Microsoft hopes to lure Java developers
News The XML Web services capabilities we built into .Net solve one of the major challenges that developers face, and that applies across all programming languages: Visual Basic, C#, and J# in particular as the Java language environment.
[March 26, 2002, 12:11]



