ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
◽
Cited By ~ 1
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
◽
Cited By ~ 3
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
◽
Cited By ~ 4
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
◽
Cited By ~ 1
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
◽
Cited By ~ 3
Author(s):
Dana Scott
Keyword(s):
Programming Language
◽
Mathematical Concepts
◽
Programming Language Semantics
◽
Language Semantics
Download Full-text
Computability concepts for programming language semantics
10.1145/800116.803757
◽
1975
◽
Cited By ~ 1
Author(s):
Herbert Egli
◽
Robert L. Constable
Keyword(s):
Programming Language
◽
Programming Language Semantics
◽
Language Semantics
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close
Theorem-proving support in programming language semantics
