research-article

Free access

Multitier programming in Hop

Authors:

Manuel Serrano,

Gérard BerryAuthors Info & Claims

Communications of the ACM, Volume 55, Issue 8

Pages 53 - 59

https://doi.org/10.1145/2240236.2240253

Published: 01 August 2012 Publication History

All formats PDF

Abstract

A first step toward programming 21^st-century applications.

References

[1]

Cooper, E., Lindley, S., Wadler, P. nd Yallop, J. Links: Web programming without tiers. presented at the 5^th International Symposium on Formal Methods for Components and Objects (2006).

Digital Library

Google Scholar

[2]

Ginsberg, J., Mohebbi, M., Patel, R., Brammer, L., Smolinski, M. and Brilliant, L. Detecting influenza epidemics using search engine query data. Nature 457 (Feb. 19, 2009), 1012--1014.

Crossref

Google Scholar

[3]

Kelsey, R., Clinger, W. and Rees, J. The revised (5) report on the algorithmic language scheme. Higher-Order and Symbolic Computation 11, 1 (1998); http://www.sop.inria.fr/indes/fp/Bigloo/doc/r5rs.html/

Digital Library

Google Scholar

[4]

Serrano, M. Hop, a fast server for the diffuse Web. In Proceedings of the 11^th International Conference on Coordination Models and Languages (Lisbon, Portugal, 2009).

Digital Library

Google Scholar

[5]

Serrano, M., Gallesio, E. and Loitsch, F. Hop, a language for programming the Web 2.0. In Proceedings of the First Dynamic Languages Symposium (Portland, OR, 2006).

Google Scholar

Cited By

View all

Choi KCheney JLindley SReynders B(2021)A Typed Slicing Compilation of the Polymorphic RPC calculusProceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming10.1145/3479394.3479406(1-15)Online publication date: 6-Sep-2021
https://dl.acm.org/doi/10.1145/3479394.3479406
Choi KCheney JFowler SLindley S(2020)A polymorphic RPC calculusScience of Computer Programming10.1016/j.scico.2020.102499197(102499)Online publication date: Oct-2020
https://doi.org/10.1016/j.scico.2020.102499
Vanderdonckt JNguyen T(2019)MoCaDiXProceedings of the ACM on Human-Computer Interaction10.1145/33311593:EICS(1-40)Online publication date: 13-Jun-2019
https://dl.acm.org/doi/10.1145/3331159
Show More Cited By

Index Terms

Multitier programming in Hop
1. Software and its engineering
  1. Software notations and tools
    1. Formal language definitions
    2. General programming languages
      1. Language types
2. Theory of computation
  1. Formal languages and automata theory

Recommendations

Comparing novice programing environments for use in secondary education: App Inventor for Android vs. Alice

Coding is part of logical thinking and is one of the basic skills which are known as '21st-century skills'. Coding acquisition is necessary as it is used in a wide range of occupations. However, computer programing is difficult to learn and programing ...
C++ Programming: With Design Patterns Revealed
Learn Professional Programming Skill in C++ Programming Language

Comments

Information & Contributors

Information

Published In

Communications of the ACM Volume 55, Issue 8

August 2012

105 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/2240236

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 2012

Published in CACM Volume 55, Issue 8

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article
Popular
Refereed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
5,404
Total Downloads

Downloads (Last 12 months)341
Downloads (Last 6 weeks)76

Reflects downloads up to 01 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Choi KCheney JLindley SReynders B(2021)A Typed Slicing Compilation of the Polymorphic RPC calculusProceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming10.1145/3479394.3479406(1-15)Online publication date: 6-Sep-2021
https://dl.acm.org/doi/10.1145/3479394.3479406
Choi KCheney JFowler SLindley S(2020)A polymorphic RPC calculusScience of Computer Programming10.1016/j.scico.2020.102499197(102499)Online publication date: Oct-2020
https://doi.org/10.1016/j.scico.2020.102499
Vanderdonckt JNguyen T(2019)MoCaDiXProceedings of the ACM on Human-Computer Interaction10.1145/33311593:EICS(1-40)Online publication date: 13-Jun-2019
https://dl.acm.org/doi/10.1145/3331159
CHOI KCHANG B(2019)A theory of RPC calculi for client–server modelJournal of Functional Programming10.1017/S095679681900002929Online publication date: 22-Mar-2019
https://doi.org/10.1017/S0956796819000029
Baudart GHirzel MMandel LShinnar ASiméon JSalvaneschi GDe Meuter WEugster PZiarek LSant’Anna F(2018)Reactive chatbot programmingProceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems10.1145/3281278.3281282(21-30)Online publication date: 4-Nov-2018
https://dl.acm.org/doi/10.1145/3281278.3281282
Zieliński CStefańczyk MKornuta TFigat MDudek WSzynkiewicz WKasprzak WFigat JSzlenk MWiniarski TBanachowicz KZielińska TTsardoulias ESymeonidis APsomopoulos FKintsakis AMitkas PThallas AReppou SKaragiannis GPanayiotou KPrunet VSerrano MMerlet JArampatzis SGiokas APenteridis LTrochidis IDaney DIturburu M(2017)Variable structure robot control systems: The RAPP approachRobotics and Autonomous Systems10.1016/j.robot.2017.05.00294(226-244)Online publication date: Aug-2017
https://doi.org/10.1016/j.robot.2017.05.002
Tsardoulias EKintsakis APanayiotou KThallas AReppou SKaragiannis GIturburu MArampatzis SZielinski CPrunet VPsomopoulos FSymeonidis AMitkas P(2017)Towards an integrated robotics architecture for social inclusion – The RAPP paradigmCognitive Systems Research10.1016/j.cogsys.2016.08.00443(157-173)Online publication date: Jun-2017
https://doi.org/10.1016/j.cogsys.2016.08.004
Berry G(2016)Formally Unifying Modeling and Design for Embedded Systems - A Personal ViewLeveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications10.1007/978-3-319-47169-3_11(134-149)Online publication date: 5-Oct-2016
https://doi.org/10.1007/978-3-319-47169-3_11
Zielinski CSzynkiewicz WFigat MSzlenk MKornuta TKasprzak WStefanczyk MZielinska TFigat J(2015)Reconfigurable control architecture for exploratory robots2015 10th International Workshop on Robot Motion and Control (RoMoCo)10.1109/RoMoCo.2015.7219724(130-135)Online publication date: Jul-2015
https://doi.org/10.1109/RoMoCo.2015.7219724
Serrano M(2015)Multitier Debugging of Web ApplicationsWeb Information Systems and Technologies10.1007/978-3-319-27030-2_3(33-47)Online publication date: 16-Dec-2015
https://doi.org/10.1007/978-3-319-27030-2_3
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

Comparing novice programing environments for use in secondary education: App Inventor for Android vs. Alice

C++ Programming: With Design Patterns Revealed

Learn Professional Programming Skill in C++ Programming Language

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Digital Edition

Magazine Site

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations