Computational Artifacts
Latest Publications

TOTAL DOCUMENTS

30

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662555644, 9783662555651

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Semantic Theories

Computational Artifacts ◽

10.1007/978-3-662-55565-1_9 ◽

2018 ◽

pp. 77-83

Author(s):

Raymond Turner

Download Full-text

The Design of Programming Languages

Computational Artifacts ◽

10.1007/978-3-662-55565-1_19 ◽

2018 ◽

pp. 161-167

Author(s):

Raymond Turner

Keyword(s):

Programming Languages

Download Full-text

Modularity

Computational Artifacts ◽

10.1007/978-3-662-55565-1_17 ◽

2018 ◽

pp. 141-149

Author(s):

Raymond Turner

Download Full-text

The Ontology of Programs

Computational Artifacts ◽

10.1007/978-3-662-55565-1_5 ◽

2018 ◽

pp. 43-52

Author(s):

Raymond Turner

Download Full-text

Computational Artifacts

Computational Artifacts ◽

10.1007/978-3-662-55565-1_3 ◽

2018 ◽

pp. 25-29

Author(s):

Raymond Turner

Download Full-text

The Simple Mapping Account

Computational Artifacts ◽

10.1007/978-3-662-55565-1_27 ◽

2018 ◽

pp. 219-224

Author(s):

Raymond Turner

Keyword(s):

Simple Mapping

Download Full-text

Computability

Computational Artifacts ◽

10.1007/978-3-662-55565-1_22 ◽

2018 ◽

pp. 189-195

Author(s):

Raymond Turner

Download Full-text

Formal Methods

Computational Artifacts ◽

10.1007/978-3-662-55565-1_18 ◽

2018 ◽

pp. 151-160

Author(s):

Raymond Turner

Keyword(s):

Formal Methods

Download Full-text

The Philosophy of Design

Computational Artifacts ◽

10.1007/978-3-662-55565-1_15 ◽

2018 ◽

pp. 129-132

Author(s):

Raymond Turner

Download Full-text

Formal Semantics

Computational Artifacts ◽

10.1007/978-3-662-55565-1_10 ◽

2018 ◽

pp. 85-94

Author(s):

Raymond Turner

Keyword(s):

Formal Semantics

Download Full-text