-
1دورية أكاديمية
المؤلفون: Ken Madlener, Sjaak Smetsers, Marko van Eekelen
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 62, Iss Proc. SOS 2011, Pp 17-29 (2011)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2
-
3
-
4
المؤلفون: Sjaak Smetsers, Erik Barendsen, Renske Talsma
المساهمون: Stikkolorum, D.
المصدر: CSERC
Stikkolorum, D. (ed.), CSERC '20: Proceedings of the 9th Computer Science Education Research Conference, Virtual Event Netherlands October 19-20, 2020, pp. 1-10مصطلحات موضوعية: Source code, Computer science, media_common.quotation_subject, 05 social sciences, 050301 education, Context (language use), Comprehension, Science Education, Block (programming), Reading (process), Eye tracking, 0501 psychology and cognitive sciences, Think aloud protocol, 0503 education, 050107 human factors, Syntax highlighting, media_common, Cognitive psychology
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b1d399341c677fef0792f00cac05eab4
https://doi.org/10.1145/3442481.3442505 -
5
المؤلفون: Sjaak Smetsers, Marko van Eekelen, Ken Madlener
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 62, Iss Proc. SOS 2011, Pp 17-29 (2011)
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Semantics (computer science), Programming language, business.industry, Computer science, lcsh:Mathematics, Type (model theory), Modular design, computer.software_genre, lcsh:QA1-939, Determinism, lcsh:QA75.5-76.95, Logic in Computer Science (cs.LO), Theorem provers, Automated theorem proving, Component (UML), TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Scalability, lcsh:Electronic computers. Computer science, business, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cde90390b82485693efa6b8529a0085d
https://doaj.org/article/811c7b0a92d94eaf824429e6989a46d8 -
6
المؤلفون: Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer
المصدر: Electronic Notes in Theoretical Computer Science, 238, 59-70
Electronic Notes in Theoretical Computer Science, 238, 2, pp. 59-70مصطلحات موضوعية: SQL, type inference, Theoretical computer science, General Computer Science, Relational database, Computer science, functional programming, computer.software_genre, Data type, Theoretical Computer Science, Reactive programming, Data control language, Programming domain, Composite data type, computer.programming_language, Programming language, Data manipulation language, Type inference, data storage/sequentialization, Abstract data type, Data structure, Data model, Programming paradigm, Digital Security, Polytypic/generic programming, computer, Computer Science(all)
وصف الملف: application/pdf
-
7
المؤلفون: Sjaak Smetsers, Bart Jacobs, Ronny Wichers Schreur
المصدر: Formal Aspects of Computing, 19, 2, pp. 191-203
Formal Aspects of Computing, 19, 191-203
Formal Aspects of Computing, 19(2), 191-203. Springerمصطلحات موضوعية: Functional programming, Correctness, Unification, Computer science, Programming language, computer.file_format, ACL2, computer.software_genre, Theoretical Computer Science, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Theory of computation, Code (cryptography), Code generation, Executable, computer, Software, Security of Systems, computer.programming_language
وصف الملف: application/pdf
-
8
المؤلفون: Sjaak Smetsers, Marko van Eekelen
المساهمون: RS-Research Line Resilience (part of LIRS program), Academic Field Technology
المصدر: Computer Languages, Systems & Structures, 44, Part B, pp. 166-180
Computer Languages, Systems & Structures, 44, 166-180
Computer Languages Systems & Structures, 44, 166-180. PERGAMON-ELSEVIER SCIENCE LTD
Smetsers, S & van Eekelen, M 2015, ' Derivation and inference of higher-order strictness types ', Computer Languages Systems & Structures, vol. 44, pp. 166-180 . https://doi.org/10.1016/j.cl.2015.07.004مصطلحات موضوعية: Soundness, Computer Networks and Communications, Programming language, Computer science, Proof assistant, Inference, Typing, computer.software_genre, Operational semantics, Formal proof, Automated theorem proving, Strictness analysis, Digital Security, Lambda calculus, computer, Software, computer.programming_language
وصف الملف: application/pdf
-
9
المؤلفون: Ken Madlener, Sjaak Smetsers, Marko van Eekelen
المساهمون: Bois, A. du
المصدر: Programming Languages ISBN: 9783642409219
SBLP
Bois, A. du (ed.), Programming languages : 17th brazilian symposium, sblp 2013, brasília, brazil, september 29-october 4, 2013, proceedings, pp. 46-60
Lecture notes in computer science, 46-60. Berlin : Springer
STARTPAGE=46;ENDPAGE=60;TITLE=Lecture notes in computer scienceمصطلحات موضوعية: Algebraic laws, Computer science, business.industry, Programming language, Semantics (computer science), Lecture notes in computer science, Modular design, computer.software_genre, Unobservable, Operational semantics, Computer Science::Programming Languages, Digital Security, business, computer
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::11f0e9c51c044ae26f0bb128aea73ad0
https://hdl.handle.net/2066/119899 -
10
المصدر: Lecture Notes in Computer Science ISBN: 9783642380877
NASA Formal Methodsمصطلحات موضوعية: Model checking, Operations research, Computer science, Pairing, Distributed computing, Wi-Fi Protected Setup, Spin-½, Vulnerability (computing)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2ff38ad4008a6b0d9ba22470efa0d6d3
https://doi.org/10.1007/978-3-642-38088-4_5