-
1
المؤلفون: Damian Frolich, L. Thomas Van Binsbergen
المصدر: Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering.
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c3d37bf1d2261238cef3a89e78317875
https://doi.org/10.1145/3567512.3567529 -
2
المصدر: 2022 IEEE 18th International Conference on e-Science (e-Science).
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4ce3c6f2ef099a2cf9ed90f56f5caa46
https://doi.org/10.1109/escience55777.2022.00086 -
3
المؤلفون: L. Thomas van Binsbergen, Elizabeth Scott, Adrian Johnstone
المصدر: Science of Computer Programming. 175:63-84
مصطلحات موضوعية: Theoretical computer science, Parsing, Computer science, Binary number, 020207 software engineering, 02 engineering and technology, computer.software_genre, Continuation, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Graph (abstract data type), Combinatory logic, computer, Software
-
4
المؤلفون: Adrian Johnstone, Elizabeth Scott, L. Thomas van Binsbergen
المصدر: Journal of Computer Languages, 58
مصطلحات موضوعية: Parsing, Syntax (programming languages), Computer Networks and Communications, Programming language, Computer science, Recursive descent parser, computer.software_genre, Top-down parsing, Parser combinators, Human-Computer Interaction, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Parser combinator, Functional programming, Combinator library, Generalised parsing, Syntax descriptions, Haskell, Combinatory logic, computer, Software, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::74e4de56e6e18911a980eee0503e3ac1
https://ir.cwi.nl/pub/29663 -
5
المؤلفون: Peter D. Mosses, Neil Sculthorpe, L. Thomas van Binsbergen
المصدر: Journal of Logical and Algebraic Methods in Programming, 103
Journal of Logical and Algebraic Methods in Programming, 103, 184-212مصطلحات موضوعية: Development environment, formal semantics, Logic, business.industry, Computer science, Programming language, Formal semantics (linguistics), computer.file_format, Modular design, Reuse, computer.software_genre, Operational semantics, Theoretical Computer Science, reuse, components, Computational Theory and Mathematics, Abstract syntax, programming languages, tool support, Executable, business, computer, Software, Interpreter
وصف الملف: application/pdf
-
6
المؤلفون: L. Thomas van Binsbergen
المصدر: GPCE
مصطلحات موضوعية: Computer science, Programming language, Semantics (computer science), 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, Semantics, Metaprogramming, 01 natural sciences, Computer Graphics and Computer-Aided Design, Operational semantics, Denotational semantics, Development (topology), 010201 computation theory & mathematics, Component (UML), Code (cryptography), 0202 electrical engineering, electronic engineering, information engineering, computer, Generative grammar, Software
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d645b1f12bcfbdacfb1bb4f7580b205f
https://ir.cwi.nl/pub/29665 -
7
المؤلفون: Elizabeth Scott, Adrian Johnstone, L. Thomas van Binsbergen
المصدر: SLE
مصطلحات موضوعية: Structure (mathematical logic), Parsing, Grammar, Computer science, Programming language, media_common.quotation_subject, 020207 software engineering, 02 engineering and technology, computer.software_genre, Expression (mathematics), TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Rule-based machine translation, Parser combinator, Combinator library, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Combinatory logic, computer, media_common
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8bd6e76c2f48270815d11970d2bc4df5
https://ir.cwi.nl/pub/29666 -
8
المصدر: PEPM
مصطلحات موضوعية: Computer science, Programming language, business.industry, Short paper, 020206 networking & telecommunications, 020207 software engineering, Cryptography, 02 engineering and technology, Extension (predicate logic), ENCODE, computer.software_genre, JavaScript, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), Line (text file), business, Typed lambda calculus, computer, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::94aa5645b7dffa58861ad4a7fcbb7aac
https://doi.org/10.1145/3162071 -
9
المؤلفون: Neil Sculthorpe, Peter D. Mosses, L. Thomas van Binsbergen
المساهمون: Fuentes, L, Batory, D, Czarnecki, K
المصدر: MODULARITY (Companion)
مصطلحات موضوعية: Parsing, Computer science, Programming language, Formal semantics (linguistics), 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Language documentation, computer.software_genre, 01 natural sciences, Operational semantics, Action semantics, Denotational semantics, 010201 computation theory & mathematics, Well-founded semantics, Computational semantics, 0202 electrical engineering, electronic engineering, information engineering, computer
وصف الملف: application/pdf
-
10مؤتمر
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.