-
1
المؤلفون: Bradford Larsen, EW Davis, Evan A. Sultanik, Carson Harmon, Walter Woods, Nichole Schimanski, Sam Cowger, Trent Brunson, William R. Harris, Mark Tullsen, Yerim Lee, Richard Jones
المصدر: SP Workshops
مصطلحات موضوعية: Grammar, Computer science, Programming language, media_common.quotation_subject, 0202 electrical engineering, electronic engineering, information engineering, 020207 software engineering, 02 engineering and technology, computer.software_genre, computer, media_common
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::29d1bed88fb19fe885333ad9c7244a25
https://doi.org/10.1109/spw50608.2020.00067 -
2
المؤلفون: Aaron Tomb, Lee Pike, Mark Tullsen, Nathan Collins
المصدر: Computer Aided Verification ISBN: 9783319961415
CAV (2)مصطلحات موضوعية: Correctness, Computer science, Programming language, computer.internet_protocol, Symbolic simulation, 020206 networking & telecommunications, Data_CODINGANDINFORMATIONTHEORY, 02 engineering and technology, computer.software_genre, Symbolic execution, Formal specification, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Compiler, Abstract Syntax Notation One, computer, Memory safety, Formal verification
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::9b705a8833c80b494356566d356e963a
https://doi.org/10.1007/978-3-319-96142-2_25 -
3
المؤلفون: Mark Tullsen, Matthew J. Sottile
المصدر: IPDPS Workshops
مصطلحات موضوعية: Domain-specific language, Theoretical computer science, Computer science, Programming language, Loop fusion, Program transformation, Processing, Data structure, computer.software_genre, Graph, Linear algebra, Computer Science::Programming Languages, Adjacency matrix, computer, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::967d1a361123591014d9aa5727b278a2
https://doi.org/10.1109/ipdpsw.2016.37 -
4
المؤلفون: James Bielman, Jamey Sharp, Pat Hickey, Lee Pike, Mark Tullsen
المصدر: IEEE Software. :1-1
مصطلحات موضوعية: Engineering, business.industry, business, Computer security, computer.software_genre, computer, Software
-
5
المؤلفون: Mark Tullsen
المصدر: Lecture Notes in Computer Science ISBN: 9783540677277
MPCمصطلحات موضوعية: Functional programming, Parsing, Computer science, Program transformation, computer.software_genre, Data type, Dependent type, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Polymorphism (computer science), TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Calculus, Tuple, Typed lambda calculus, computer, Type constructor
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::977dfe35647df63e466c282703d3d464
https://doi.org/10.1007/10722010_3 -
6
المؤلفون: Mark Tullsen
المصدر: Practical Aspects of Declarative Languages ISBN: 9783540669920
PADLمصطلحات موضوعية: Functional programming, Theoretical computer science, Computer science, Programming language, Type (model theory), computer.software_genre, First class, Software design pattern, Haskell, Pattern matching, Combinatory logic, computer, Language construct, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0a4878c30e0820462f4e780f25cb4052
https://doi.org/10.1007/3-540-46584-7_1