Some applications of topology to program semantics

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/bfb0025791 ◽

2005 ◽

pp. 375-386 ◽

Cited By ~ 2

Author(s):

Rohit Parikh

Keyword(s):

Program Semantics

Download Full-text

Program Semantics-based Task Decomposition

Journal of Physics Conference Series ◽

10.1088/1742-6596/1684/1/012051 ◽

2020 ◽

Vol 1684 ◽

pp. 012051

Author(s):

Zhiming Wang

Keyword(s):

Task Decomposition ◽

Program Semantics

Download Full-text

Runtime Program Semantics Based Malware Detection in Virtual Machines of Cloud Computing

Communications in Computer and Information Science - Data Science and Computational Intelligence ◽

10.1007/978-3-030-91244-4_1 ◽

2021 ◽

pp. 3-16

Author(s):

Harsha Dudeja ◽

Chirag Modi

Keyword(s):

Cloud Computing ◽

Virtual Machines ◽

Malware Detection ◽

Program Semantics

Download Full-text

Computer Program Semantics in Space and Time

Selected Papers on Automath - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70233-7 ◽

1994 ◽

pp. 947-972

Author(s):

N.G. de Bruijn

Keyword(s):

Computer Program ◽

Space And Time ◽

Program Semantics

Download Full-text

Predicate Calculus and Program Semantics

10.1007/978-1-4612-3228-5 ◽

1990 ◽

Cited By ~ 326

Author(s):

Edsger W. Dijkstra ◽

Carel S. Scholten

Keyword(s):

Predicate Calculus ◽

Program Semantics

Download Full-text

Logic and Program Semantics

10.1007/978-3-642-29485-3 ◽

2012 ◽

Keyword(s):

Program Semantics

Download Full-text

The Advanced Programmer's Reliance on Program Semantics: Evidence from some Cognitive Tasks

International Journal of Psychology ◽

10.1080/002075998400303 ◽

1998 ◽

Vol 33 (4) ◽

pp. 259-268 ◽

Cited By ~ 1

Author(s):

Siu-Yee Wong Him Cheung Hsuan-Chih Chen

Keyword(s):

Cognitive Tasks ◽

Program Semantics

Download Full-text

Exploiting Program Semantics to Place Data in Hybrid Memory

2015 International Conference on Parallel Architecture and Compilation (PACT) ◽

10.1109/pact.2015.10 ◽

2015 ◽

Cited By ~ 28

Author(s):

Wei Wei ◽

Dejun Jiang ◽

Sally A. McKee ◽

Jin Xiong ◽

Mingyu Chen

Keyword(s):

Hybrid Memory ◽

Program Semantics

Download Full-text