LiveWeb - Core Language for Web Applications

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Web applications have a very high demand for rapid development and constant change. Several languages were created for this kind applications, which are very flexible but many times trade the benefits of strongly-typed programming languages by untyped interpreted languages. With this kind of languages the interaction between the different layers in a web application is usually developed using dialects and convections with no real mechanical verifications between client and server sides, and the SQL code within the application and the database. We present a typed core language for web applications that integrates the typing of interface definition, business logic and database manipulation representing these interactions at a high abstract level. We also describe the implementation of a prototype of a highly flexible programming environment for our language that allows dynamic web application development without loosing the integrity checks.
Original languageUnknown
Title of host publicationInForum
PagesNONE
Publication statusPublished - 1 Jan 2010
EventInForum -
Duration: 1 Jan 2010 → …

Conference

ConferenceInForum
Period1/01/10 → …

Keywords

    Cite this

    @inproceedings{9a442a3050044a95a109006335edc79b,
    title = "LiveWeb - Core Language for Web Applications",
    abstract = "Web applications have a very high demand for rapid development and constant change. Several languages were created for this kind applications, which are very flexible but many times trade the benefits of strongly-typed programming languages by untyped interpreted languages. With this kind of languages the interaction between the different layers in a web application is usually developed using dialects and convections with no real mechanical verifications between client and server sides, and the SQL code within the application and the database. We present a typed core language for web applications that integrates the typing of interface definition, business logic and database manipulation representing these interactions at a high abstract level. We also describe the implementation of a prototype of a highly flexible programming environment for our language that allows dynamic web application development without loosing the integrity checks.",
    keywords = "Type Systems, Dynamic Reconfiguration, Web Applications",
    author = "Seco, {Jo{\~a}o Ricardo Viegas da Costa}",
    year = "2010",
    month = "1",
    day = "1",
    language = "Unknown",
    pages = "NONE",
    booktitle = "InForum",

    }

    Seco, JRVDC 2010, LiveWeb - Core Language for Web Applications. in InForum. pp. NONE, InForum, 1/01/10.

    LiveWeb - Core Language for Web Applications. / Seco, João Ricardo Viegas da Costa.

    InForum. 2010. p. NONE.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    TY - GEN

    T1 - LiveWeb - Core Language for Web Applications

    AU - Seco, João Ricardo Viegas da Costa

    PY - 2010/1/1

    Y1 - 2010/1/1

    N2 - Web applications have a very high demand for rapid development and constant change. Several languages were created for this kind applications, which are very flexible but many times trade the benefits of strongly-typed programming languages by untyped interpreted languages. With this kind of languages the interaction between the different layers in a web application is usually developed using dialects and convections with no real mechanical verifications between client and server sides, and the SQL code within the application and the database. We present a typed core language for web applications that integrates the typing of interface definition, business logic and database manipulation representing these interactions at a high abstract level. We also describe the implementation of a prototype of a highly flexible programming environment for our language that allows dynamic web application development without loosing the integrity checks.

    AB - Web applications have a very high demand for rapid development and constant change. Several languages were created for this kind applications, which are very flexible but many times trade the benefits of strongly-typed programming languages by untyped interpreted languages. With this kind of languages the interaction between the different layers in a web application is usually developed using dialects and convections with no real mechanical verifications between client and server sides, and the SQL code within the application and the database. We present a typed core language for web applications that integrates the typing of interface definition, business logic and database manipulation representing these interactions at a high abstract level. We also describe the implementation of a prototype of a highly flexible programming environment for our language that allows dynamic web application development without loosing the integrity checks.

    KW - Type Systems

    KW - Dynamic Reconfiguration

    KW - Web Applications

    M3 - Conference contribution

    SP - NONE

    BT - InForum

    ER -