Filters








128 Hits in 7.6 sec

Mixed Messages: Measuring Conformance and Non-Interference in TypeScript

Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski, Marc Herbstritt
2017 European Conference on Object-Oriented Programming  
Of the 122 libraries we checked, 62 had cases where either the library or its tests failed to conform to the declaration. Gradual typing should satisfy non-interference.  ...  Of the 122 libraries we checked, 22 had cases where the library or its tests violated non-interference. ACM Subject Classification D.2.5 [Software Engineering]: Testing and Debugging  ...  The authors wish to thank anonymous reviewers of the paper and artifact.  ... 
doi:10.4230/lipics.ecoop.2017.28 dblp:conf/ecoop/WilliamsMWZ17 fatcat:5bxy5i3jsfbg3gjjdobzbf6hza

Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact) *

Jack Williams, J Morris, Philip Wadler, Jakub Zalewski, Garrett Morris@ed, Uk
2017 Proceedings of the 31st European Conference on Object-Oriented Programming   unpublished
In the paper Mixed Messages: Measuring Conformance and Non-Interference in TypeScript we present our experiences of evaluating gradual typing using our tool TypeScript TPD.  ...  All conformance errors and examples of interference are documented, and can be verified against the generated logs.  ...  The authors wish to thank anonymous reviewers of the paper and artifact.  ... 
fatcat:7bxxfbpwezennpbbkesjtodzjq

Mixed Messages: Measuring Conformance and Non-Interference in TypeScript *

Jack Williams, J Morris, Philip Wadler, Jakub Zalewski, Garrett Morris@ed, Uk
unpublished
Of the 122 libraries we checked, 62 had cases where either the library or its tests failed to conform to the declaration. Gradual typing should satisfy non-interference.  ...  Of the 122 libraries we checked, 22 had cases where the library or its tests violated non-interference. 1998 ACM Subject Classification D.2.5 [Software Engineering]: Testing and Debugging  ...  The authors wish to thank anonymous reviewers of the paper and artifact.  ... 
fatcat:ghj33ce2bzaydockocaaggnck4

CT-wasm: type-driven secure cryptography for the web ecosystem

Conrad Watt, John Renner, Natalie Popescu, Sunjay Cauligi, Deian Stefan
2019 Proceedings of the ACM on Programming Languages (PACMPL)  
We find that CT-Wasm is fast, expressive, and generates code that we experimentally measure to be constant-time.  ...  A significant amount of both client and server-side cryptography is implemented in JavaScript.  ...  This work was supported in part by a gift from Cisco and by the CONIX Research Center, one of six centers in JUMP, a Semiconductor Research Corporation (SRC) program sponsored by DARPA.  ... 
doi:10.1145/3290390 fatcat:s4k7fhddrvdzhgfqkunhojgirm

Concrete Types for TypeScript

Gregor Richards, Francesco Zappa Nardelli, Jan Vitek, Marc Herbstritt
2015 European Conference on Object-Oriented Programming  
This design point preserves programming idioms developers are familiar with, and allows them to leave their legacy code unchanged, while offering a measure of static error checking in annotated parts of  ...  TypeScript extends JavaScript with optional type annotations that are, by design, unsound and, that the TypeScript compiler discards as it emits code.  ...  The authors are grateful to the following individuals and organizations: Adam Domurad for the V8 implementation, the ECOOP PC for accepting our paper, the ECOOP AEC for reviewing our artifact, Andreas  ... 
doi:10.4230/lipics.ecoop.2015.76 dblp:conf/ecoop/RichardsNV15 fatcat:f2yfwm5fcnhmxdqrumt5jxp4gi

Inflammatory bowel disease as a cultural artifact : an ethnography of the politics of suffering

John Simon Foulds
1984
For, importantly contained in many of these accounts is evidence that a route to self-healing can be found in the active repudiation of medical knowledge and treatment, and in the development of a more  ...  In fact, it suggests that an appreciation of what is (or was) wrong with them lies much more in the domain of their handling of the symbolism of selfhood and in their response to the constraint of social  ...  that it is an artifact and a process, produced in and generated by the life-style of a modern society.  ... 
doi:10.14288/1.0096404 fatcat:gqztbz7ewnd5do4zwhotn4caoa

Computer Supported Cooperative Work [chapter]

2017 Encyclopedia of GIS  
It comprises of the following categories: Work in Progress, workshops and master classes, demos and videos, the doctoral colloquium, and keynotes.  ...  Work in Progress sessions provide a unique opportunity for sharing valuable ideas, for getting early feedback on current work and preliminary results, and fostering discussions and collaborations among  ...  Acknowledgments Acknowledgments We would like to acknowledge all members of the SmartAgriFood project and in particular the end-user representatives that expressed and shared their thoughts about the  ... 
doi:10.1007/978-3-319-17885-1_100175 fatcat:ng5lngqeevh65dlx6tx4fge2q4

Software Development Process Mining: Discovery, Conformance Checking and Enhancement

Joao Caldeira, Fernando Brito e Abreu
2016 2016 10th International Conference on the Quality of Information and Communications Technology (QUATIC)  
Initial research artifacts are presented in Appendix A in sections A.2, A.3 and A.4.  ...  non-expected defects in the code [112] .  ...  This Appendix presents the tools used to perform current research and in writing this dissertation. A.1 Companion Tools  ... 
doi:10.1109/quatic.2016.061 dblp:conf/quatic/CaldeiraA16 fatcat:acb3seoe7vh6hamsvwor2qzcou

Strategy for an Autonomous Behavior that Guarantees a Qualitative Fine Adjustment at the Target Pose of a Collaborating Mobile Robot

Kai Waelti
2021 Zenodo  
Although the advances shown in this thesis couldn't be statistically tested due to skewed data distributions and some possible outliers, the improvement in both trueness and precision underlines the gains  ...  Finally, we evaluate the proposed method in a industrial setting achieving a position error below 25 mm in 92.7% and a rotation error below 1.5° in 93.9% of the tests.  ...  uses TypeScript as its programming language.  ... 
doi:10.5281/zenodo.4742013 fatcat:637baqamlffkfda5cvvxzegyuy

Program of the sixty-fifth annual convention

1957 American Psychologist  
The results were interpreted as being more in conformity with continuity than with non-continuity theory of learn- ing. 3:30.  ...  in ambiguity and conformity were positively related. 9:10.  ... 
doi:10.1037/h0045548 fatcat:ljqqa2f6pzckpkz4hs7667swiu

CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem [article]

Conrad Watt, John Renner, Natalie Popescu, Sunjay Cauligi, Deian Stefan, Apollo-University Of Cambridge Repository, Apollo-University Of Cambridge Repository
2019
We find that CT-Wasm is fast, expressive, and generates code that we experimentally measure to be constant-time.  ...  A significant amount of both client and server-side cryptography is implemented in JavaScript.  ...  This work was supported in part by a gift from Cisco and by the CONIX Research Center, one of six centers in JUMP, a Semiconductor Research Corporation (SRC) program sponsored by DARPA.  ... 
doi:10.17863/cam.39359 fatcat:a3vsz5mwibg63kdyvpw3pzqmt4

Concrete Types for TypeScript

Gregor Richards, Francesco Zappa Nardelli, Jan Vitek
unpublished
This design point preserves programming idioms developers are familiar with, and allows them to leave their legacy code unchanged, while offering a measure of static error checking in parts of the program  ...  TypeScript extends JavaScript with optional type annotations that are, by design, unsound and, that the TypeScript compiler discards as it emits code.  ...  The authors are grateful to the following individuals and organizations: Adam Domurad for the V8 implementation, the ECOOP PC for accepting our paper, the ECOOP AEC for reviewing our artifact, Andreas  ... 
fatcat:rttp5s7cz5fgfay4ynqu3btrbq

Engineering Agent-Oriented Technologies and Programming Languages for Computer Programming and Software Development

Andrea <1985> Santi, Alessandro Ricci
2013
Mainstream hardware is becoming parallel, heterogeneous, and distributed on every desk, every home and in every pocket.  ...  To this end, in the dissertation first we construct the required background by studying the state-of-the-art of both actor-oriented and agent-oriented programming, and then we focus on the engineering  ...  This is a quite well known performance test in the context of actor-oriented languages [KSA09] measure the performances related to the exchange of messages (i.e., the test measures pure reactivity).  ... 
doi:10.6092/unibo/amsdottorato/5634 fatcat:3tmx6ihxunc7rbbpbw7hui67m4

Engineering Language-Parametric End-User Programming Environments for DSLs

Mauricio Verano Merino, Jurgen Vinju, Mark van den Brand, Tijs van der Storm
2022 Zenodo  
In this thesis, we used some of these interfaces; however, we focused on programming languages which are artificial languages consisting of instructions written by humans and executed by computers.  ...  Therefore, we study how to engineer different user interfaces for DSLs in a practical way.  ...  acknowledgements We would like to thank the Twitter hive mind, and Rainer Joswig in particular, for help in navigating the early history of REPLs and the anonymous reviewers for their helpful comments.  ... 
doi:10.5281/zenodo.6302885 fatcat:yr2tjs3rqvef5cftnooxjtbgcu

Correspondents Theory 1800/2000: Philosophical Reflections Upon Epistolary Technics And Praxis In The Analogue And Digital

Anthony John Charles Ross, Moss Michael, Susan Stuart
2015 Zenodo  
(whether optimistic or pessimistic) for the ways in which the Internet effects change in culture, society and self.  ...  What do we lose and what do we gain as we move towards digital ways of being in the world?  ...  Typescript diminishes handwriting's more 'personal touch'; digitally ambiguous, sent in haste and distraction, our messages become more fragmentary, and lose something of the letter's status as a "life's  ... 
doi:10.5281/zenodo.13889 fatcat:mzjqiccd55cmvj7yvm67wzvnlm
« Previous Showing results 1 — 15 out of 128 results