المؤلفون: Vincenzo Arceri, Sergio Maffeis

المساهمون: Engineering & Physical Science Research Council (EPSRC), GCHQ

المصدر: Numerical and Symbolic Abstract Domains (NSAD)

مصطلحات موضوعية: General Computer Science, Computer science, Formal semantics (linguistics), Real-time computing, Static program analysis, 02 engineering and technology, PHP, computer.software_genre, JavaScript, Computation Theory & Mathematics, Theoretical Computer Science, Type conversions, 0202 electrical engineering, electronic engineering, information engineering, Web application, computer.programming_language, 0802 Computation Theory And Mathematics, business.industry, Programming language, 0803 Computer Software, 020207 software engineering, Abstract interpretation, 1702 Cognitive Science, Static analysis, Scripting language, 020201 artificial intelligence & image processing, business, computer, PHP, Static analysis, Abstract interpretation, Type conversions, Computer Science(all)

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ffe18ca664fef4c1878759fdb9416d38Test

المؤلفون: Pilu Crescenzi, Theodore S. Norvell, Michael Bruce-Lockhart

المصدر: Electronic Notes in Theoretical Computer Science. 224:115-124

مصطلحات موضوعية: Creative visualization, General Computer Science, Computer science, Program animation, Programming language, media_common.quotation_subject, Teaching machine, program animation, self-assessment, computer.software_genre, Field (computer science), Theoretical Computer Science, Visualization, Scripting language, Algorithms and data structure, ComputingMilieux_COMPUTERSANDEDUCATION, Plug-in, computer, visualization, Computer Science(all), media_common

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d26bb85582b66818970aa8c076227e72Test
https://doi.org/10.1016/j.entcs.2008.12.055Test

المؤلفون: Stephan Mehlhase, Guido Rößling, Jens Pfau

المصدر: Electronic Notes in Theoretical Computer Science. 224:15-25

مصطلحات موضوعية: AnimalScript, General Computer Science, Java, Programming language, Computer science, Scalable Vector Graphics, Animation, BasicCard, computer.file_format, computer.software_genre, Theoretical Computer Science, Java API for XML-based RPC, Scripting language, API, Code (cryptography), Look and feel, computer, Computer Science(all), computer.programming_language

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::182181dcb81864ea93d3a3139022205dTest
https://doi.org/10.1016/j.entcs.2008.12.045Test

المؤلفون: Scott Grissom, Thomas L. Naps, Myles McNally

المصدر: Electronic Notes in Theoretical Computer Science. 178:129-135

مصطلحات موضوعية: Visual analytics, General Computer Science, computer.internet_protocol, Computer science, 02 engineering and technology, xml, computer.software_genre, Theoretical Computer Science, Information visualization, Streaming XML, 0202 electrical engineering, electronic engineering, information engineering, Pseudocode, visualization, algorithm, Programming language, business.industry, 05 social sciences, 050301 education, 020207 software engineering, Visualization, Scripting language, business, 0503 education, computer, XML, Computer Science(all)

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bb0556f283d822e5ef4181eefd909b36Test

المؤلفون: Stefano Zacchiroli, Enrico Tassi, Claudio Sacerdoti Coen

المساهمون: SACERDOTI COEN, Claudio, Tassi, Enrico, Zacchiroli, Stefano

المصدر: Electronic Notes in Theoretical Computer Science. 174(2):125-142

مصطلحات موضوعية: Small Step Semantics, General Computer Science, Programming language, Computer science, Proof assistant, ComputerApplications_COMPUTERSINOTHERSYSTEMS, computer.software_genre, Tacticals, Field (computer science), Operational semantics, Theoretical Computer Science, Scripting language, Interactive Theorem Proving, Key (cryptography), computer, Computer Science(all)

وصف الملف: ELETTRONICO

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::51694831c21655d4af984ff9803bc34dTest

المؤلفون: Norman F. Ramsey

المصدر: Electronic Notes in Theoretical Computer Science. 148:181-209

مصطلحات موضوعية: Theoretical computer science, General Computer Science, Computer science, scripting languages, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Extensibility, Theoretical Computer Science, Type safety, 0202 electrical engineering, electronic engineering, information engineering, higher-order functors, Recursion, Functor, Programming language, embedded interpreters, 020207 software engineering, extensible interpreters, 010201 computation theory & mathematics, Scripting language, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Programming Languages, ML modules, computer, Interpreter, Computer Science(all), Knot (mathematics)

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4c91fe6ea7451f6e7059a930aea1323aTest
https://doi.org/10.1016/j.entcs.2005.11.045Test

المؤلفون: Luigi Liquori

المصدر: Electronic Notes in Theoretical Computer Science. 135:85-94

مصطلحات موضوعية: Parsing, General Computer Science, Computer science, business.industry, Programming language, Proof assistant, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Python (programming language), computer.software_genre, 01 natural sciences, Natural semantics, Theoretical Computer Science, Software, 010201 computation theory & mathematics, Scripting language, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 0202 electrical engineering, electronic engineering, information engineering, business, computer, Interpreter, Computer Science(all), computer.programming_language, Agile software development

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e513c98641b26a8d3b23c5083e91eea4Test
https://doi.org/10.1016/j.entcs.2005.09.023Test

المؤلفون: David Delahaye

المساهمون: Chalmers University of Technology [Göteborg]

المصدر: Proceedings of Logical Frameworks and Meta-Languages (LFM)
Proceedings of Logical Frameworks and Meta-Languages (LFM), Jan 2002, Copenhagen, Denmark. ⟨10.1016/S1571-0661(04)80508-5⟩

مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], General Computer Science, Syntax (programming languages), Computer science, Interface (Java), Programming language, Proof assistant, Metalanguage, Context (language use), computer.software_genre, Theoretical Computer Science, Scripting language, Code (cryptography), [INFO]Computer Science [cs], Layer (object-oriented design), computer

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8ecad06b58aa1634bd54ee29e41e1e04Test
https://doi.org/10.1016/s1571-0661Test(04)80508-5

المؤلفون: Peter Thiemann

المصدر: Electronic Notes in Theoretical Computer Science. 76:233-251

مصطلحات موضوعية: Domain-specific language, Theoretical computer science, General Computer Science, Programming language, Computer science, media_common.quotation_subject, Type (model theory), computer.software_genre, Expression (mathematics), Theoretical Computer Science, Consistency (database systems), Scripting language, Component (UML), Haskell, Function (engineering), computer, Host (network), Computer Science(all), media_common, computer.programming_language

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::12d3b8b466eb196fd393e031e9356becTest
https://doi.org/10.1016/s1571-0661Test(04)80796-5

المؤلفون: Danny van Velzen, Meijer Erik

المصدر: Electronic Notes in Theoretical Computer Science. 41(1)

مصطلحات موضوعية: Functional programming, Battle, General Computer Science, Computer science, Programming language, media_common.quotation_subject, Dynamic web page, computer.software_genre, Theoretical Computer Science, Task (computing), Scripting language, Middle tier, Haskell, Programmer, computer, media_common, computer.programming_language, Computer Science(all)

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::74621dd10c7d07c92d40fc3f87f17fa0Test