Výsledky vyhľadávania - "Programming Language Theory and its Implementation"

Programming Language Theory and Its Implementation

Autori: Stefan SokoŁowski

Zdroj: Science of Computer Programming. 13:119-122

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Software

Prístupová URL adresa: https://www.sciencedirect.com/science/article/pii/0167642389900191

Programming language theory and its implementation

Zdroj: Computer Languages. 13:107

Specification and Verification I

Autori: Mike Gordon The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Mike Gordon The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cl.cam.ac.uk/teaching/mjcg/Lectures/SpecVer1/Notes/Notes.pdf.

Predmety: 1 M.J.C. Gordon, Programming Language Theory and its Implementation

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.217.1250; http://www.cl.cam.ac.uk/teaching/mjcg/Lectures/SpecVer1/Notes/Notes.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.217.1250
http://www.cl.cam.ac.uk/teaching/mjcg/Lectures/SpecVer1/Notes/Notes.pdf

Specification and Verification I

Autori: Mike Gordon The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Mike Gordon The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cl.cam.ac.uk/Teaching/mjcg/Lectures/SpecVer1/Notes03/Notes.pdf.

Predmety: 1 M.J.C. Gordon, Programming Language Theory and its Implementation

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.210.3040; http://www.cl.cam.ac.uk/Teaching/mjcg/Lectures/SpecVer1/Notes03/Notes.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.210.3040
http://www.cl.cam.ac.uk/Teaching/mjcg/Lectures/SpecVer1/Notes03/Notes.pdf

Specification and Verification I

Autori: Mike Gordon The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Mike Gordon The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cl.cam.ac.uk/~mjcg/Teaching/SpecVer1/Notes/Notes.pdf.

Predmety: 1 M.J.C. Gordon, Programming Language Theory and its Implementation

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.8006; http://www.cl.cam.ac.uk/~mjcg/Teaching/SpecVer1/Notes/Notes.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.8006
http://www.cl.cam.ac.uk/~mjcg/Teaching/SpecVer1/Notes/Notes.pdf

I. The Slow and Imprecise Art of Cyber Warfare.

Autori: Bronk, Justin Watling, Jack

Zdroj: Whitehall Papers; Dec 2021, Vol. 99 Issue 1, p11-23, 13p

Predmety: MILITARY science, COMPUTER passwords, MULTI-factor authentication, CYBERTERRORISM, DEPLOYMENT (Military strategy), MILITARY communications

Individualität im Quellcode? Softwareschutz und Urheberrecht. (German)

Autori: Hoeren, Thomas Wehkamp, Nils

Zdroj: Computer und Recht; Jan2018, Vol. 34 Issue 1, p1-7, 7p

BackMatter.

Autori: Mouheb, Djedjiga Debbabi, Mourad Pourzandi, Makan a ďalší

Zdroj: Aspect-Oriented Security Hardening of UML Design Models; 2015, p221-237, 17p

References.

Autori: Harrison, John

Zdroj: Handbook of Practical Logic & Automated Reasoning; 2009, p631-667, 37p

Understanding Programming Language Concepts Via Operational Semantics.

Autori: Hutchison, David Kanade, Takeo Kittler, Josef a ďalší

Zdroj: Domain Modeling & the Duration Calculus; 2007, p177-235, 59p

A Verified Formal Model of a VC Generator.

Autori: R.D. Arthan

Zdroj: 2006 30th Annual IEEE/NASA Software Engineering Workshop; 2006, p263-271, 9p

BackMatter.

Zdroj: Vorlesungen Über Informatik; 2006, p343-400, 58p

Bibliography.

Zdroj: Formal Semantics of Programming Languages; 1993, p353-356, 4p

Bibliography.

Zdroj: Functional Programming for Loosely-Coupled Multiprocessors; 1989, p225-238, 14p

Bibliography.

Zdroj: Lazy Functional Languages (9780262255875); 1991, p213-223, 11p

References.

Autori: Dasgupta, Subrata

Zdroj: Design Theory & Computer Science; 1991, p381-414, 34p

Generating Model Checkers from Algebraic Specifications.

Autori: Rus, Teodor Van Wyk, Eric Halverson, Tom

Zdroj: Formal Methods in System Design; May2002, Vol. 20 Issue 3, p249-284, 36p

Formalization of the general rules of the Hoare logic using S-formulas.

Autori: Malbaski, Dusan Kupusinac, Aleksandar

Zdroj: 2012 20th Telecommunications Forum (TELFOR); 1/ 1/2012, p1586-1588, 3p

On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend.

Autori: Bhargava, Hemant K. Krishnan, Ramayya Piela, Peter

Zdroj: INFORMS Journal on Computing; Spring98, Vol. 10 Issue 2, p189, 20p, 7 Diagrams

Predmety: ALGORITHMS, MATHEMATICAL optimization

Reviews.

Autori: CIOBANU, GABRIEL

Zdroj: Journal of Logic & Computation; Aug1993, Vol. 3 Issue 4, p444-446, 3p