Froglingo, a Programming Language empowered by a Total-Recursive-Equivalent Data Model

Kevir Xu; Jingsong Zhang; Shelby Gao
August 2011
Journal of Digital Information Management;Aug2011, Vol. 9 Issue 4, p135
Academic Journal
The EP (Enterprise-Participant) data model is a language homomorphic to and semantically equivalent to a class of total recursive functions. It takes a unique position in the fields of programming languages and database management. Mathematically, it enables a programming language to achieve the greatest possible ease of use in software development and maintenance. (This assumes that a programming language incorporated with a higher expressive data model was easier than another one with a lower expressive data model, or no data model at all.) Practically, Froglingo--a programming language incorporated with the EP data model is a monolith that consolidates multiple software components of traditional software architecture. In addition, Froglingo is untyped, i.e., programmers write application programs without a necessity of user-defined types. Finally, Froglingo is a novel approach to many challenges facing traditional technologies, including feature scalability, user interface flexibility, and similarity. In this paper, we show with further clarity the concept of ease of use by proposing a mathematical definition for the concept of data models and by relating Froglingo with other programming language through the analysis of types and higher-order functions.


Related Articles

  • Algres: An Advanced Database System for Complex Applications. Ceri, Stefano; Crespi-Reghizzi, Stefano; Zicari, Roberto; Lamperti, Gianfranco; Lavazza, Luigi A. // IEEE Software;Jul90, Vol. 7 Issue 4, p68 

    Focuses on the Algres relational programming environment for the development of data-intensive applications that perform complex operations over complex data structures. Limitations of pure relational algebra as a prototyping tool; Components of the Algres project; Specifications of the...

  • DEVELOPMENT OF A SOFTWARE TO DETERMINE THE EMITTER CHARACTERISTICS AND THE OPTIMUM LENGTH OF NEW DESIGN DRIP IRRIGATION LATERALS. Yurdem, Huseyin; Demir, Vedat; Degirmencioglu, Adnan // Mathematical & Computational Applications;Aug2011, Vol. 16 Issue 3, p728 

    An appropriate design of a drip irrigation system in order to increase the uniformity of water distribution with a high efficiency is of importance. The first step for the design is the determination of suitable length of laterals. In order to do this, the emitter characteristics and the...

  • A Paradigm for Object-oriented Conceptual Modeling of Optical Networks. Misra, Sudip; Misra, Subhas Chandra; Woungang, Isaac // Journal of Computing & Information Technology;Mar2007, Vol. 15 Issue 1, p7 

    We present a conceptual framework for modeling optical networks and the solutions to its associated problems. The framework is targeted towards a large-scale initiative by us for developing a modeling language that can help with conceptual modeling of typical optical network design problems....

  • Engineering model transformations with transML. Guerra, Esther; Lara, Juan; Kolovos, Dimitrios; Paige, Richard; Santos, Osmar // Software & Systems Modeling;Jul2013, Vol. 12 Issue 3, p555 

    Model transformation is one of the pillars of model-driven engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity and size of model transformations as well. Even though many transformation languages and tools have been proposed in...

  • From types to type requirements: genericity for model-driven engineering. Lara, Juan; Guerra, Esther // Software & Systems Modeling;Jul2013, Vol. 12 Issue 3, p453 

    Model-driven engineering (MDE) is a software engineering paradigm that proposes an active use of models during the development process. This paradigm is inherently type-centric, in the sense that models and their manipulation are defined over the types of specific meta-models. This fact hinders...

  • On model compatibility with referees and contexts. K├╝hne, Thomas // Software & Systems Modeling;Jul2013, Vol. 12 Issue 3, p475 

    A model-based engineering discipline presupposes that models are organised by creating relationships between them. While there has been considerable work on understanding what it means to instantiate one model from another, little is known about when a model should be considered to be a...

  • XOEM plus OWL-based STEP Product Information Uniform Description and Implementation. Chengfeng Jian; Haizhong Meng // Journal of Networks;Dec2011, Vol. 6 Issue 12, p1662 

    Aimed at the current inconsistencies in the OWL-based STEP description, the mapping rules between EXPRESS and OWL are established on the base of uniform semantic model named XOEM+OWL, then the implementation method of STEP-OWL converter is put forward and the corresponding examples are shown.

  • ASPECT-ORIENTED SOFTWARE QUALITY MODEL: THE AOSQ MODEL. Kumar, Pankaj // Advanced Computing;Mar2012, Vol. 3 Issue 2, p105 

    Nowadays, software development has become more complex and dynamic; they are expected more flexible, scalable and reusable. Under the umbrella of aspect, Aspect-Oriented Software Development (AOSD) is relatively a modern programming paradigm to improve modularity in software development. Using...

  • GUIDELINES IN SELECTING A PROGRAMMING LANGUAGE AND A DATABASE MANAGEMENT SYSTEM. Joshi, Onkar Dipak; Gundale, Virajit A.; Jagdale, Sachin M. // International Journal of Advances in Engineering & Technology;Mar2012, Vol. 3 Issue 1, p137 

    Software development is a very complex process. When the project developer is planning to build a project for any organization in that case it is obvious question for developer to select suitable PL (Programming Language) and DBMS (Database Management System). It is a notable issue in project...


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics