Programming Language Semantics with Isabelle/HOL

2013 2nd Workshop-School on Theoretical Computer Science ◽

10.1109/weit.2013.29 ◽

2013 ◽

Author(s):

Alfio Martini

Keyword(s):

Programming Language ◽

Programming Language Semantics ◽

Language Semantics

Download Full-text

Using the Synthesizer-Generator to teach principles of programming language semantics

ACM SIGCSE Bulletin ◽

10.1145/135250.134552 ◽

1992 ◽

Vol 24 (1) ◽

pp. 207-212

Author(s):

B. L. Kurtz ◽

J. B. Johnston

Keyword(s):

Programming Language ◽

Programming Language Semantics ◽

Language Semantics

Download Full-text

Can partial correctness assertions specify programming language semantics?

Lecture Notes in Computer Science - Theoretical Computer Science 4th GI Conference ◽

10.1007/3-540-09118-1_3 ◽

1979 ◽

pp. 25-26 ◽

Author(s):

Irene Greif ◽

Albert R. Meyer

Keyword(s):

Programming Language ◽

Partial Correctness ◽

Programming Language Semantics ◽

Language Semantics

Download Full-text

Mathematical Foundations of Programming Language Semantics

10.1007/3-540-19020-1 ◽

1988 ◽

Keyword(s):

Programming Language ◽

Programming Language Semantics ◽

Language Semantics ◽

Mathematical Foundations

Download Full-text

Theorem-proving support in programming language semantics

From Semantics to Computer Science ◽

10.1017/cbo9780511770524.016 ◽

2010 ◽

pp. 337-362

Author(s):

Yves Bertot

Keyword(s):

Programming Language ◽

Theorem Proving ◽

Programming Language Semantics ◽

Language Semantics

Download Full-text

Secrecy in Programming-Language Semantics

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(04)80068-9 ◽

1999 ◽

Vol 20 ◽

pp. 80-94 ◽

Author(s):

Martín Abadi

Keyword(s):

Programming Language ◽

Programming Language Semantics ◽

Language Semantics

Download Full-text

Complementary Definitions of Programming Language Semantics

10.1007/bfb0025364 ◽

1976 ◽

Keyword(s):

Programming Language ◽

Programming Language Semantics ◽

Language Semantics

Download Full-text

Using the Synthesizer-Generator to teach principles of programming language semantics

Proceedings of the twenty-third SIGCSE technical symposium on Computer science education - SIGCSE '92 ◽

10.1145/134510.134552 ◽

1992 ◽

Author(s):

B. L. Kurtz ◽

J. B. Johnston

Keyword(s):

Programming Language ◽

Programming Language Semantics ◽

Language Semantics

Download Full-text

On the Learnability of Programming Language Semantics

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.261.7 ◽

2017 ◽

Vol 261 ◽

pp. 57-75

Author(s):

Dan R. Ghica ◽

Khulood Alyahya

Keyword(s):

Programming Language ◽

Programming Language Semantics ◽

Language Semantics

Download Full-text

Towards Meta-interpretive Learning of Programming Language Semantics

Inductive Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-49210-6_2 ◽

2020 ◽

pp. 16-25

Author(s):

Sándor Bartha ◽

James Cheney

Keyword(s):

Programming Language ◽

Programming Language Semantics ◽

Language Semantics

Download Full-text

Mathematical concepts in programming language semantics

10.1145/1478873.1478903 ◽

1971 ◽

Author(s):

Dana Scott

Keyword(s):

Programming Language ◽

Mathematical Concepts ◽

Programming Language Semantics ◽

Language Semantics

Download Full-text