Some applications of topology to program semantics

Rohit Parikh

doi:10.1007/bf01744573

Some applications of topology to program semantics

Mathematical Systems Theory ◽

10.1007/bf01744573 ◽

1983 ◽

Vol 16 (1) ◽

pp. 111-131 ◽

Cited By ~ 5

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

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

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

Fuzzy rewriting - soft program semantics for children

IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003 ◽

10.1109/hcc.2003.1260200 ◽

2004 ◽

Cited By ~ 6

Author(s):

Y. Harada ◽

R. Potter

Keyword(s):

Program Semantics

Download Full-text

Decidability of logic program semantics and applications to testing

The Journal of Logic Programming ◽

10.1016/s0743-1066(99)00067-9 ◽

2000 ◽

Vol 46 (1-2) ◽

pp. 103-137 ◽

Cited By ~ 2

Author(s):

Salvatore Ruggieri

Keyword(s):

Logic Program ◽

Program Semantics

Download Full-text