A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Toward Semantic Foundations for Program Editors
[article]
2017
arXiv
pre-print
Preserved Fulltext
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 *
2017
Leibniz International Proceedings in Informatics Schloss Dagstuhl-Leibniz-Zentrum für Informatik
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
1998
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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
2013
2013 1st International Workshop on Live Programming (LIVE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2022
Frontiers in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is text/html.
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
2012
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics - WIMS '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
International Conference on Foundations of Digital Games
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2019
Formal Aspects of Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
1995
Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '95
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2007
Cataloging & Classification Quarterly
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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