10 Hits in 8.0 sec

Gradually typed symbolic expressions

David Broman, Jeremy G. Siek
2018 Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM '18  
We introduce a host language called Modelyze that is based on , and evaluate the approach by embedding a series of equation-based domain-specic modeling languages, all within the domain of physical modeling  ...  The key idea is to combine the strengths of dynamic and static typing in the context of deep embedding of DSLs.  ...  Acknowledgments This research is in part nancially supported by the Swedish  ... 
doi:10.1145/3162068 dblp:conf/pepm/BromanS18 fatcat:7ir4mnvhprgpbktg52iutufqtu

Fostering Program Comprehension in Novice Programmers - Learning Activities and Learning Trajectories

Cruz Izu, Carsten Schulte, Ashish Aggarwal, Quintin Cutts, Rodrigo Duran, Mirela Gutica, Birte Heinemann, Eileen Kraemer, Violetta Lonati, Claudio Mirolo, Renske Weeda
2019 Proceedings of the Working Group Reports on Innovation and Technology in Computer Science Education  
In Proceedings of the 49th ACM Technical Symposium on Computer Science Education, SIGCSE ’18, page 8–13, New York, NY, USA, 2018.  ...  In Proceedings of the 2018 ACM Conference on International Computing Education Research, ICER ’18, pages 31–39, New York, NY, USA, 2018. ACM. [256] Greg L.  ... 
doi:10.1145/3344429.3372501 dblp:conf/iticse/IzuSACDGHKLMW19a fatcat:ylcbps6pynbrfhlxtt6z3qmlza

Astor: Exploring the Design Space of Generate-and-Validate Program Repair beyond GenProg

Matias Martinez, Martin Monperrus
2019 Journal of Systems and Software  
Each of those repair approaches is a point in the design space of program repair.  ...  Astor includes 6 Java implementation of repair approaches, including one of the pioneer: GenProg.  ...  In Proceedings of the 11th Interna- tional Workshop on Automation of Software Test, AST ’16, pages 85–91, New York, NY, USA, 2016. ACM. [12] S. Forrest, T.V. Nguyen, W. Weimer, and C.  ... 
doi:10.1016/j.jss.2019.01.069 fatcat:tau7eocfdngctltavr72eksk64

RustHorn: CHC-based Verification for Rust Programs (full version) [article]

Yusuke Matsushita and Takeshi Tsukada and Naoki Kobayashi
2020 arXiv   pre-print
This paper proposes a novel translation of pointer-manipulating Rust programs into CHCs, which clears away pointers and heaps by leveraging ownership.  ...  The current CHC-based methods for pointer-manipulating programs, however, are not very scalable.  ...  This work was supported by JSPS KAKENHI Grant Number JP15H05706 and JP16K16004. We are grateful to the anonymous reviewers for insightful comments.  ... 
arXiv:2002.09002v1 fatcat:ojcskexscbdvhk336t5qprcusq

Computer algebra in gravity research

Malcolm A. H. MacCallum
2018 Living Reviews in Relativity  
In: Petrick SR (ed) SYMSAC ’71, Proceedings of the second ACM symposium on symbolic and algebraic manipulation, Los Angeles, California, USA, 23–25 March 1971.  ...  In: Proceedings of HOPL-II, the second ACM SIGPLAN conference on history of programming languages.  ... 
doi:10.1007/s41114-018-0015-6 pmid:30174551 pmcid:PMC6105178 fatcat:tips42zoyrbvtfvvxp6p37gzxe

Dagstuhl Reports, Volume 8, Issue 2, February 2018, Complete Issue [article]

Dagstuhl Reports, Volume 8, Issue 2, February 2018, Complete Issue  ...  For example, there was a backlash in the UIST community when it became expected that authors include an A/B study of their work because some authors felt that this was inappropriate for their work.  ...  Seventh ACM Symposium on Cloud Computing, Santa Clara, CA, USA, October 5-7, 2016, pp. 17-28, ACM, 2016.  ... 
doi:10.4230/dagrep.8.2 fatcat:6kf77nt6j5g2jatriorn72fafm

Dagstuhl Reports, Volume 7, Issue 8, August 2017, Complete Issue [article]

Dagstuhl Reports, Volume 7, Issue 8, August 2017, Complete Issue  ...  The unique scientific atmosphere and the historic building provided not only all the room we needed for our program and the working groups, but also plenty of opportunities for continued discussions and  ...  On behalf of all participants the organizers want to express their deep gratitude to the entire Dagstuhl staff for their outstanding support and service accompanying this seminar.  ... 
doi:10.4230/dagrep.7.8 fatcat:gksmijgk5ff6reblxsqnt33aze

Academic Legitimacy of the Software Engineering Discipline

Daniel M. Berry
This report examines the academic substance of software engineering. It identifies the basic research questions and the methods used to solve them.  ...  What is learned during this research constitutes the body of knowledge of software engineering.  ...  I was on the faculty of the Computer Science Department at the University of California in Los Angeles, California, USA. for 16 years.  ... 
doi:10.1184/r1/6571808 fatcat:ni4i6oj7gnflhpffvljeahirhq

Mechanising syntax with binders in Coq [article]

Kathrin Stark, Universität Des Saarlandes, Universität Des Saarlandes
Yet binders, substitutions, and instantiation of terms with substitutions are a critical ingredient of many programming languages.  ...  We investigate the topic from three angles: First, we realise formal systems with binders based on both pure and scoped de Bruijn algebras together with basic syntactic rewriting lemmas and automation.  ...  First, I want to thank my advisor Gert Smolka for both his invaluable advice and the great amount of freedom given in his group.  ... 
doi:10.22028/d291-30298 fatcat:7sjtq3piinbrncwv5wdverv42y

ZMK Zeitschrift für Medien- und Kulturforschung. Ontography

(:Unkn) Unknown, Mediarep.Org, Lorenz Engell, Bernhard Siegert
Ross: Origins of the APT Language for Automatically Programmed Tools, in: ACM Sigplan Notices 13/8 (1978), S. 61-99, hier S. 65.  ...  Ross: Gestalt Programming: A New Concept in Automatic Programming, in: AFIPS Proceedings, WJCC Westerns Point Computer Conference from 7.-9.  ... 
doi:10.25969/mediarep/18777 fatcat:esvgaho3sjdjnmckn2x3vuciay