Zobrazeno 1 - 10
of 90
pro vyhledávání: '"Scott F. Smith"'
Autor:
Leonardo Veliz, Scott F. Smith
Publikováno v:
Colombian Applied Linguistics Journal, Vol 23, Iss 2, Pp 141-154 (2021)
Colombian Applied Linguistics Journal, Volume: 23, Issue: 2, Pages: 141-154, Published: 15 JUL 2021
Colombian Applied Linguistics Journal, Volume: 23, Issue: 2, Pages: 141-154, Published: 15 JUL 2021
Resumen El presente trabajo da cuenta de un estudio cualitativo que examinó las percepciones de profesores de inglés sobre la ‘enseñabilidad’ del lenguaje metafórico en aulas chilenas de EFL. El estudio tuvo como objetivo obtener una mejor co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2f91bdf44a1ee6d9f78711ede637a9b8
https://revistas.udistrital.edu.co/index.php/calj/article/view/17071
https://revistas.udistrital.edu.co/index.php/calj/article/view/17071
Autor:
A. Kuo, Scott F. Smith, H. Daoud, Doletha M. E. Szebenyi, Saeed Oghbaey, A.D. Finke, Irina A. Kriksunov, Oliver P. Ernst, Sol M. Gruner, Antoine Sarracini, Olivier Paré-Labrosse, Jessica E. Besaw, Jennifer L. Wierman, Michael Cook, Pedram Mehrabi, R.J.D. Miller, David J. Schuller
Publikováno v:
IUCrJ, Vol 6, Iss 2, Pp 305-316 (2019)
IUCrJ
IUCrJ
The combination of oscillation data collection with fixed-target microchips for regular crystal dispersion is an efficient method for collecting serial crystallography data at synchrotrons. Background scatter from noncrystal substrates is especially
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d78894037e59c8c61c2fd53aef8bde7a
http://scripts.iucr.org/cgi-bin/paper?S2052252519001453
http://scripts.iucr.org/cgi-bin/paper?S2052252519001453
Symbolic backwards execution (SBE) is a useful variation on standard forward symbolic evaluation; it allows a symbolic evaluation to start anywhere in the program and proceed by executing in reverse to the program start. SBE brings goal-directed reas
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::712f3764acbeaba47f3343be423e024a
Publikováno v:
Programming Languages and Systems ISBN: 9783030644369
APLAS
APLAS
In program analysis, the design of context models is an understudied topic. This paper presents a study of context models for higher-order program analyses and develops new approaches. We develop a context model which equates control flows with the s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c5162917086da3a9fe379020a8a4f782
https://doi.org/10.1007/978-3-030-64437-6_1
https://doi.org/10.1007/978-3-030-64437-6_1
Publikováno v:
HotOS
Systems software today is composed of numerous modules and exhibits complex failure modes. Existing failure detectors focus on catching simple, complete failures and treat programs uniformly at the process level. In this paper, we argue that modern s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a151fc99b1f7f9e05fed8422d4b71189
https://doi.org/10.1145/3317550.3321440
https://doi.org/10.1145/3317550.3321440
Autor:
Scott F. Smith, Kenneth Roe
Publikováno v:
MEMOCODE
While automated static analysis tools can find many useful software bugs, there are still bugs that are beyond the reach of these tools. Most large software systems have complex data structures with complex invariants, and many bugs can be traced to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::de9880d3db405c6b77ea7698ee9eb567
https://doi.org/10.1145/3127041.3127061
https://doi.org/10.1145/3127041.3127061
Publikováno v:
Static Analysis ISBN: 9783319667058
SAS
SAS
A singleton abstraction occurs in a program analysis when some results of the analysis are known to be exact: an abstract binding corresponds to a single concrete binding. In this paper, we develop a novel approach to constructing singleton abstracti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c75ab0c6bf7170471048b75bf662cd86
https://doi.org/10.1007/978-3-319-66706-5_6
https://doi.org/10.1007/978-3-319-66706-5_6
Autor:
Scott F. Smith, Carolyn L. Talcott
Publikováno v:
Formal Methods for Open Object-Based Distributed Systems IV ISBN: 9781475710182
Erratum to: S.F. Smith and C.L. Talcott (Eds.) Formal Methods for Open Object-Based Distributed Systems IV DOI: 10.1007/978-0-387-35520-7
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3735d8531bf43d77f03e675c1fd942ee
https://doi.org/10.1007/978-0-387-35520-7_21
https://doi.org/10.1007/978-0-387-35520-7_21
Autor:
Kenneth Roe, Scott F. Smith
Publikováno v:
Interactive Theorem Proving ISBN: 9783319431437
In this paper we present CoqPIE(CoqPIE is available for download at http://github.com/kendroe/CoqPIE), a new development environment for Coq which delivers editing functionality centered around common prover usage workflow not found in existing tools
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::816c453bdffa6ea0f722501411caaa96
https://doi.org/10.1007/978-3-319-43144-4_32
https://doi.org/10.1007/978-3-319-43144-4_32
Publikováno v:
WGP@ICFP
Staging is a powerful language construct that allows a program at one stage of evaluation to manipulate and specialize a program to be executed at a later stage. We propose a new staged language calculus, ?ML?, which extends the programmability of st
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::edde80a743c5a2dafcdb6090804d0685
https://doi.org/10.1007/s10990-012-9089-0
https://doi.org/10.1007/s10990-012-9089-0