Soft82.com » Windows » Developer Tools » Tools & Editors » Specialized Tools » PathLP 1.3 Beta

PathLP Description

A path oriented logic programming language

PathLP is a logic programming language of guarded path expressions. It has constructs for object path expressions, type path expressions, cardinality constraints, and membership and subset formulas. This language is being developed as a foundational layer for the F-logic based object modeling language F-OML (an overview: In OCL and Textual Modeling workshop, MoDELS 2010; paper: In MoDELS 2011) but is also interesting in its own right. F-OML is intended as an expressive, executable formal basis for model-level IDEs. It supports a wide variety of model-level activities, such as imposing constraints on UML diagrams, defining design patterns, reasoning about UML diagrams, testing UML diagrams, specification of Domain Specific Modeling Languages, and meta-modeling. An extension of F-OML to support Object-State is planned. F-OML is part of our general modelling activities.

PathLP Version History

PathLP Download Button For Your Site

If you want to place a Download Button for PathLP on your website just insert the following code:

If you want a Link to this page you can use one of the logos bellow:

PathLP User Reviews

New Specialized Tools Software

JPlex May 25, 2012 Java lexical analyzer generator				Deskzilla Pro May 24, 2012 A desktop client for Mozilla's Bugzilla bug tracking system
Exceptions Deployer May 24, 2012 Command line tool for automating the deployment of Adobe Application Manager				InstallSimple Portable May 23, 2012 Create installation package easily and quickly
Aptana Studio May 22, 2012 Build web applications quickly and easily				UIMap Toolbox May 22, 2012 Restructure, split and merge UIMaps
ExeScript May 21, 2012 Create secured stand-alone applications from BAT, VBS, JS or WSH scripts				Pacestar UML Diagrammer May 18, 2012 Professional easy to learn and use UML diagram drawing tool
Advanced Installer May 17, 2012 The power of Windows Installer made easy				Simply Fortran May 17, 2012 Affordable Fortran for Microsoft Windows
Virto Bulk File Unzip Utility for Microsoft SharePoint May 15, 2012 Easily unpack archives and save extracted files to the document library				Affinic Debugger GUI May 15, 2012 Affinic Debugger GUI .aka. ADG, is designed as a graphical user interface for various debuggers
Flat Assembler May 15, 2012 Open source assembly language compiler				YouTrack May 11, 2012 An innovative, keyboard-centric issue tracking and project tracking tool
Porter May 11, 2012 Web development server for PHP/Node/MySQL developers				EasyPHP May 11, 2012 A complete and ready-to-use environment for PHP developers
PeStudio May 9, 2012 PeStudio shows you many security relevant details about any application				Sourcemaid May 9, 2012 Zip and deliver project code with one click
PHP May 9, 2012 PHP is a server-side, cross-platform, HTML embedded scripting language				Pastebin Desktop May 8, 2012 Take full advantage of your Pastebin.com account

Last 7 Days Most Downloaded Specialized Tools Products

Google SketchUp 445 downloads Google SketchUp is an easy-to-learn 3D modeling program				Microsoft Expression Web 96 downloads ives you all the tools you'll need to produce high-quality, standards-based Web sites
Project 2007 SDK 89 downloads Help customize and integrate the Project 2007 clients and Project Server 2007 with other apps				VirtualBox 71 downloads VirtualBox: Employ server and desktop solution for x86 hardware
WinDriver USB Device 60 downloads USB Firmware Development Toolkit				PyScripter 35 downloads An open-source Python Integrated Development Environment (IDE)
PHP 30 downloads PHP is a server-side, cross-platform, HTML embedded scripting language				WinDriver 28 downloads WinDriver automates and simplifies the development of user mode Windows device drivers for...
Adobe Bridge SDK 26 downloads Enables developers to integrate with and extend Bridge				Axis 20 downloads Apache Axis is an implementation of the SOAP (

All Time Most Downloaded Specialized Tools Products

Google SketchUp 137,019 downloads Google SketchUp is an easy-to-learn 3D modeling program				Microsoft Expression Web 20,527 downloads ives you all the tools you'll need to produce high-quality, standards-based Web sites
Project 2007 SDK 508 downloads Help customize and integrate the Project 2007 clients and Project Server 2007 with other apps				VirtualBox 29,711 downloads VirtualBox: Employ server and desktop solution for x86 hardware
WinDriver USB Device 58,898 downloads USB Firmware Development Toolkit				PyScripter 1,798 downloads An open-source Python Integrated Development Environment (IDE)
PHP 13,248 downloads PHP is a server-side, cross-platform, HTML embedded scripting language				WinDriver 7,137 downloads WinDriver automates and simplifies the development of user mode Windows device drivers for...
Adobe Bridge SDK 3,607 downloads Enables developers to integrate with and extend Bridge				Axis 1,448 downloads Apache Axis is an implementation of the SOAP (