Filters








22,420 Hits in 4.0 sec

Toward Semantic Foundations for Program Editors [article]

Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer
2017 arXiv   pre-print
This paper serves as a vision statement for a research program that seeks to develop these "missing" semantic foundations.  ...  programs; and (3) the behavior of editor services that suggest likely edit actions to the programmer based on semantic information extracted from the incomplete program being edited, and from programs  ...  Acknowledgments We thank the SNAPL 2017 reviewers and our paper shepherd Nate Foster for the thoughtful comments and suggestions.  ... 
arXiv:1703.08694v1 fatcat:a3spzrnanbfrzi3tqn66viktji

Toward Semantic Foundations for Program Editors *

Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew Hammer, Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues (+2 others)
2017 Leibniz International Proceedings in Informatics Schloss Dagstuhl-Leibniz-Zentrum für Informatik   unpublished
This paper serves as a vision statement for a research program that seeks to develop these "missing" semantic foundations.  ...  programs; and (3) the behavior of editor services that suggest likely edit actions to the programmer.  ...  We thank the SNAPL 2017 reviewers and our paper shepherd Nate Foster for the thoughtful comments and suggestions.  ... 
fatcat:ev57xus4ujhrfpzeapqtmc4cga

Bibliography

2001 Electronical Notes in Theoretical Computer Science  
Towards compositional predicate transformer semantics for concurrent programs. In J.W. de Bakker, 25 jaar Semantiek, pages 111 117, CWI, Amsterdam, 1989. 35] M.M.  ...  Metric predicate transformers: towards a notion of re nement for concurrent programs. In I. Lee and S.A.  ... 
doi:10.1016/s1571-0661(05)82567-8 fatcat:x7qb7rygq5bafjjdmi24lbdlse

Special issue on foundations of aspect-oriented programming

Pascal Fradet, Ralf Lämmel
2006 Science of Computer Programming  
This SCP special collects articles that make contributions to the foundations of aspect-oriented programming (AOP).  ...  ., concerns that crosscut with the primary modularization of a program.  ...  Further, AOP has been primarily driven in a context that is biased towards mainstream, objected-oriented programming; the notion of aspects has been studied much less for languages other than Java and  ... 
doi:10.1016/j.scico.2006.07.001 fatcat:qdobp2cxwfckbnaifplpc6u3le

Abstract State Machines 1988-1998: Commented ASM Bibliography [article]

Egon Boerger, James K. Huggins
1998 arXiv   pre-print
Breuer, editors, Formal Semantics for VHDL, pages 107-139.  ...  Simon, editors, IFIP 13th World Computer Congress, volume I: Technology/Foundations, pages 410-415, 1994.  ... 
arXiv:cs/9811014v1 fatcat:w3vj5i7mzbccbcibroi7dkmhtq

Semantic deltas for live DSL environments

Tijs van der Storm
2013 2013 1st International Workshop on Live Programming (LIVE)  
This paper introduces semantic deltas as a foundation for building live DSL environments to bridge the "gulf of evaluation" between DSL code and the running application.  ...  Domain-specific languages (DSLs) require IDE support, just like ordinary programming languages.  ...  Semantic deltas as a foundation for live DSL enviroments have many potential advantages: • Liveness Changes to the program are immediately applied to the running application.  ... 
doi:10.1109/live.2013.6617347 dblp:conf/icse/Storm13 fatcat:tg7zt4nk4zhmzo74qqrfvpfzk4

On the Frontiers of Software Science and Software Engineering

Yingxu Wang
2022 Frontiers in Computer Science  
mathematical foundations of software, and programming knowledge bases.  ...  FCSS covers not only classical empirical software engineering and industrial processes, but also contemporary topics of software science, intelligent programming languages, autonomous code generation,  ...  mathematical foundations of software, and programming knowledge bases.  ... 
doi:10.3389/fcomp.2021.766053 fatcat:wnhdq4zmlvdkrntveqljokwmiu

Semantically-enhanced authoring of defeasible logic rule bases in the semantic web

Efstratios Kontopoulos, Thetida Zetta, Nick Bassiliades
2012 Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics - WIMS '12  
information, assisting them in explaining their actions and, ultimately, increasing user trust towards the Semantic Web.  ...  However, there is a lack of applications that could contribute towards developing logic-based applications.  ...  For instance, in order to deploy a RuleML rule set, one could make use of an XML editor that indeed offers syntactic support, but there is an evident lack of parallel semantic support.  ... 
doi:10.1145/2254129.2254199 dblp:conf/wims/KontopoulosZB12 fatcat:oa2u3ghebfflljr6plywjybtja

Semantic Descriptions for Logical Content Generation

Thomas Smith, Julian A. Padget
2015 International Conference on Foundations of Digital Games  
By using semantic models as input for a content-agnostic generation system, we hope to provide more domain-general content generation.  ...  Initial results show we can use answer set programming to generate basic roguelike dungeon layouts from a provided semantic knowledge base, and we intend to extend this to generate a range of other content  ...  industry standard editor and an interface for editing semantic data and supporting mixed-initiative work would enable in-editor evaluation by game design professionals.  ... 
dblp:conf/fdg/SmithP15 fatcat:jzq7uzklgjcjpcs7pzjqiipooy

Page 234 of Computational Linguistics Vol. 17, Issue 2 [page]

1991 Computational Linguistics  
Logical foundations for question answering. Ph.D. thesis, University of Groningen. Alice ter Meulen is associate professor of linguistics and philosophy at Indiana University.  ...  Formal semantics and pragmatics for natural languages. Dordrecht: Reidel, 339-358. Karttunen, Lauri (1977). “Syntax and semantics of questions.” Linguistics and Philosophy, 1, 3-44.  ... 

Editorial

Martin Fränzle, Deepak Kapur, Heike Wehrheim, Naijun Zhan
2019 Formal Aspects of Computing  
Toward Automatic Verification of Quantum Programs by Prof.  ...  The paper gives axiomatic semantics of the basic statements in a quantum programming language and proof rules for generating verification conditions.  ...  Toward Automatic Verification of Quantum Programs by Prof.  ... 
doi:10.1007/s00165-018-00477-6 fatcat:ls3rwvdcpjblpbklsyxt32xhwq

Page 308 of The American Journal of Psychiatry Vol. 98, Issue 2 [page]

1941 The American Journal of Psychiatry  
The central theme of the program was methodological foundations for cultural in- tegration.  ...  for the con- trol of neuro-linguistic and neuro-semantic mechanisms towards integration.  ... 

Towards creating specialised integrity checks through partial evaluation of meta-interpreters

Michael Leuschel, Danny De Schreye
1995 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '95  
In [23] we presented a partial evaluation scheme for a "real life" subset of Prolog, cent aining first-order built-in's, simple side-effects and the operational predicate if-then-else.  ...  Two semantics for def- inite meta-programs, using the non-ground representa- tion. In K. R. Apt and F. Turini, editors, Mets-logics and Logic Programming, pages 57-82.  ...  An unfold rule for full Prolog. In K.- K. Lau and T. Clement, editors, Logic Program Syn- thesis and Transformation.  ... 
doi:10.1145/215465.215598 dblp:conf/pepm/LeuschelS95 fatcat:5uqkyyxxezc7xay7qcgtuv4txq

An Inquisitive Code Editor for Addressing Novice Programmers' Misconceptions of Program Behavior [article]

Austin Z. Henley, Julian Ball, Benjamin Klein, Aiden Rutter, Dylan Lee
2021 arXiv   pre-print
We have implemented portions of the concept as plugins for the Atom code editor and conducted informal surveys with students and instructors.  ...  Next steps include deploying the tool prototype to students enrolled in introductory programming courses.  ...  Towards addressing these issues, we propose an inquisitive code editor that elicits information about program behavior from novice programmers to address their misconceptions.  ... 
arXiv:2102.06098v1 fatcat:f37go7tr45hj3j2yuluqvh3jpy

Introduction: Toward a More Library-Like Web via Semantic Knitting

Jane Greenberg, Eva Méndez
2007 Cataloging & Classification Quarterly  
The Editors would also like to thank the Fulbright Program for support that allowed Eva Méndez to work as EU Research Scholar at the SILS Metadata Research Center, University of North Carolina at Chapel  ...  ACKNOWLEDGEMENTS The Editors would like to acknowledge all of the authors for their contributions to this volume.  ...  Introduction: Toward a More Library-Like Web via Semantic Knitting Jane Greenberg Eva Méndez Over the last five years, the library community's attention to the Semantic Web has progressed at a creeping  ... 
doi:10.1300/j104v43n03_a fatcat:notbuubhsfdopj5yq2aebcthme
« Previous Showing results 1 — 15 out of 22,420 results