Výsledky vyhledávání - "Adam Fischbach"

Developing Computer Forensics Minor -- Challenges and Opportunities

Autor: Adam Fischbach, Yana Kortsarts, Suk-Chung Yoon

Publikováno v: SIGCSE

This lightning talk will discuss our experience of developing and managing a new Computer Forensics Minor. The Computer Forensics minor is an interdisciplinary program that integrates criminal justice and computer science and combines both theoretica

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4537cc17970917907a4d29fcaf8ed3be
https://doi.org/10.1145/3159450.3162216

Zobrazit plný text záznamu

Developing Interdisciplinary Programs

Autor: Yana Kortsarts, Adam Fischbach, Suk-Chung Yoon

Publikováno v: SIGCSE

We present our experience developing and managing new interdisciplinary programs in computer forensics and digital media informatics -- the results of successful collaboration with social science faculty. The computer forensics minor is an interdisci

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::26f18f696268bf5ff1fae1d35fb823b7
https://doi.org/10.1145/3159450.3162256

Zobrazit plný text záznamu

Specification and correctness of lambda lifting This material is based upon work supported by the National Science Foundation under Grant No. 9900918

Autor: John Hannan, Adam Fischbach

Publikováno v: Journal of Functional Programming. 13:509-543

We present a formal and general specification of lambda lifting and prove its correctness with respect to a call-by-name operational semantics. We use this specification to prove the correctness of a lambda lifting algorithm similar to the one propos

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::d4e3df7b502db62f113000d08763505a
https://doi.org/10.1017/s0956796802004604

Zobrazit plný text záznamu

Type Systems for Useless-Variable Elimination

Autor: John Hannan, Adam Fischbach

Publikováno v: Programs as Data Objects ISBN: 9783540420682
PADO

We present a type-based specification for useless-variable elimination for a higher-order, call-by-value functional language. Utilizing a weak form of dependent types, we introduce a mechanism for eliminating at runtime useless code that is not detec

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::19e72423d47dbf80efc19bc4967c50e8
https://doi.org/10.1007/3-540-44978-7_3

Zobrazit plný text záznamu

Specification and Correctness of Lambda Lifting

Autor: John Hannan, Adam Fischbach

Publikováno v: Lecture Notes in Computer Science ISBN: 9783540410546
SAIG

We present a formal and general specification of lambda lifting and prove its correctness with respect to an operational semantics. Lambda lifting is a program transformation which eliminates free variables from functions by introducing additional fo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::fa2ee08a62509f026a9f78d07162fb35
https://doi.org/10.1007/3-540-45350-4_10

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání