المؤلفون: Faria, Daniel, Baptista, Tiago João, Henriques, Pedro Rangel

المساهمون: Daniel Faria and Tiago João Baptista and Pedro Rangel Henriques

مصطلحات موضوعية: Formal Language Specification, Formal Language Processing, Attribute Grammars, Compiler Generation, Lark

وصف الملف: application/pdf

Relation: Is Part Of OASIcs, Volume 120, 13th Symposium on Languages, Applications and Technologies (SLATE 2024); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2024.7

الاتاحة: https://doi.org/10.4230/OASIcs.SLATE.2024.7
https://nbn-resolving.org/urn:nbn:de:0030-drops-220787
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2024.7

المؤلفون: Sestoft, Peter, Søndergaard, Harald

المصدر: Sestoft , P & Søndergaard , H 2024 , The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation : Invited Contribution) . in 2024 ACM SIGPLAN International Work- shop on Partial Evaluation and Program Manipulation (PEPM ’24) . Association for Computing Machinery . https://doi.org/10.1145/3635800.3637445

مصطلحات موضوعية: Partial evaluation, mixed computation, Lisp, self- application, auto-projector, compilation, compiler generation

وصف الملف: application/pdf

Relation: https://pure.itu.dk/portal/da/publications/88bb5d01-eb12-4000-8143-c8ce327eea19; urn:ISBN:979-8-4007-0487-1/24/01

الاتاحة: https://pure.itu.dk/portal/da/publications/88bb5d01-eb12-4000-8143-c8ce327eea19
https://doi.org/10.1145/3635800.3637445
https://pure.itu.dk/ws/files/102597804/mix-history-20231218T0709.pdf

المؤلفون: Camarão, Carlos, Figueiredo, Lucilia, Rodrigues, Hermann

المصدر: Journal of the Brazilian Computer Society. November 2003 9(1)

مصطلحات موضوعية: Compiler generation, monadic parsing

وصف الملف: text/html

URL الوصول: http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002003000200004

المؤلفون: Husar, Adam, Trmac, Miloslav, Hranac, Jan, Hruska, Tomas, Masarik, Karel

المساهمون: Adam Husar and Miloslav Trmac and Jan Hranac and Tomas Hruska and Karel Masarik

مصطلحات موضوعية: ISAC architecture, compiler generation

وصف الملف: application/pdf

Relation: Is Part Of OASIcs, Volume 16, Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers (2011); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.47

الاتاحة: https://doi.org/10.4230/OASIcs.MEMICS.2010.47
https://nbn-resolving.org/urn:nbn:de:0030-drops-30654
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.47

المؤلفون: Adam, Laura

Thesis Advisors: Animal and Poultry Sciences, Peccoud, Jean, Bevan, David R., Garner, Harold Ray, Ramakrishnan, Naren, Kepes, Francois, Tyson, John J.

مصطلحات موضوعية: Synthetic Biology, Genotype, Phenotype, Formal Language, Attribute Grammar, Compilation, Compiler Generation, Prolog, SBML

وصف الملف: ETD; application/pdf

الاتاحة: http://hdl.handle.net/10919/51768

المؤلفون: Graf, Alexander

مصطلحات موضوعية: processor description language, compiler generation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3f0b9fe2fba37210beebf303c0323750

المؤلفون: Stephan Diehl

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://rw4.cs.uni-sb.de/~diehl/pubs/SCPorig2000.pdf.

مصطلحات موضوعية: Abstract machines, Natural semantics, Compiler generation

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.4475; http://rw4.cs.uni-sb.de/~diehl/pubs/SCPorig2000.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.4475
http://rw4.cs.uni-sb.de/~diehl/pubs/SCPorig2000.pdf

المؤلفون: Fuller, David, Abramsky, Samson

مصطلحات موضوعية: Partial Evaluation, Self-Application, Compiler Generation, Correctness, Prolog, Ciencias de la computación

Time: 000

وصف الملف: 22 páginas; application/pdf

Relation: https://repositorio.uc.cl/handle/11534/27080; http://link.springer.com/article/10.1007/BF03037134; https://doi.org/10.1007/BF03037134

الاتاحة: https://repositorio.uc.cl/handle/11534/27080
https://doi.org/10.1007/BF03037134
http://link.springer.com/article/10.1007/BF03037134

المؤلفون: Sheng Liang, Paul Hudak

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.swiss.ai.mit.edu:8000/users/dae/related-papers/liang2.ps.Z.

مصطلحات موضوعية: denotational semantics, monads, compiler generation

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.2308; http://www.swiss.ai.mit.edu:8000/users/dae/related-papers/liang2.ps.Z

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.2308
http://www.swiss.ai.mit.edu:8000/users/dae/related-papers/liang2.ps.Z

المؤلفون: Anthony M. Sloane

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.jcu.edu.au/ftp/pub/techreports/94-6.ps.gz.

مصطلحات موضوعية: compiler generation, programming language implementation, performance evaluation

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.5223; http://www.cs.jcu.edu.au/ftp/pub/techreports/94-6.ps.gz

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.5223
http://www.cs.jcu.edu.au/ftp/pub/techreports/94-6.ps.gz

المؤلفون: Olivier Danvy

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: ftp://ftp.daimi.au.dk/pub/empl/danvy/Papers/danvy-ipl91.ps.gz

مصطلحات موضوعية: partial evaluation, program derivation, compiler generation

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.4204

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.4204

المؤلفون: Duane Szafron, Randy Ng

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.ualberta.ca/~duane/publications/papers-ps/SPE90.ps.

مصطلحات موضوعية: KEY WORDS, Scanner Generation, Compiler Generation, Smalltalk-80, Incremental, Interactive

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.5746; http://www.cs.ualberta.ca/~duane/publications/papers-ps/SPE90.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.5746
http://www.cs.ualberta.ca/~duane/publications/papers-ps/SPE90.ps

المؤلفون: Williams, Brandon, Perugini, Saverio

المصدر: Computer Science Faculty Publications

مصطلحات موضوعية: compilation, compiler generation, Futamura Projections, Graal, interpretation, partial evaluation, program transformation, PyPy, Truffle, Computer Sciences, Graphics and Human Computer Interfaces, Other Computer Sciences

وصف الملف: application/pdf

Relation: https://ecommons.udayton.edu/cps_fac_pub/88; https://ecommons.udayton.edu/context/cps_fac_pub/article/1087/viewcontent/Revisiting_the_Futamura_Projections_A_Diagrammatic_Approach.pdf

الاتاحة: https://ecommons.udayton.edu/cps_fac_pub/88
https://ecommons.udayton.edu/context/cps_fac_pub/article/1087/viewcontent/Revisiting_the_Futamura_Projections_A_Diagrammatic_Approach.pdf

المؤلفون: Anthony M. Sloane, Shirley N. Goldrei

المصدر: Electronic Notes in Theoretical Computer Science. 110:33-54

مصطلحات موضوعية: formal methods, General Computer Science, Computer science, Attribute grammar, Mildly context-sensitive grammar formalism, Grammar systems theory, computer.software_genre, Theoretical Computer Science, Adaptive grammar, Rule-based machine translation, Formal specification, software verification, Regular tree grammar, Context-sensitive language, Unrestricted grammar, attribute grammars, Programming language, Specification language, Formal grammar, Extended Affix Grammar, Affix grammar, Compiler generation, Regular grammar, L-attributed grammar, computer, Computer Science(all)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5582ccc3a1fc5bc8dc10f6ffde622cb5

المؤلفون: Paulson, Lawrence C.

مصطلحات موضوعية: Compiler generation, PSP

وصف الملف: ASCII text files. Software coded in Pascal; application/zip

Relation: https://doi.org/10.1145/582153.582178; https://www.repository.cam.ac.uk/handle/1810/254672

الاتاحة: https://www.repository.cam.ac.uk/handle/1810/254672
https://doi.org/10.17863/CAM.68995

المؤلفون: Maurice Bruynooghe, Wim Vanhoof, Michael Leuschel, Jesper Tranekjær Jørgensen

المصدر: University of Namur

مصطلحات موضوعية: FOS: Computer and information sciences, mercury, GeneralLiterature_INTRODUCTORYANDSURVEY, Computer Science - Artificial Intelligence, Computer science, compiler generation, partial evaluator, Software_PROGRAMMINGTECHNIQUES, D.1.6, D.1.2, I.2.2, F.4.1, I.2.3, termination analysis, computer.software_genre, USable, Partial evaluation, Theoretical Computer Science, Prolog, Artificial Intelligence, partial evaluation, abstract interpretation, program specialisation, computer.programming_language, partial deduction, Computer Science - Programming Languages, Programming language, binding-time analysis, tool, Abstract interpretation, Artificial Intelligence (cs.AI), Imperative programming, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Computational Theory and Mathematics, Hardware and Architecture, Termination analysis, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, compilation, logic programs, Compiler, Mercury (programming language), computer, Software, Programming Languages (cs.PL)

وصف الملف: text

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f30dc0028bae59e8f5a9a990acf0d660
https://researchportal.unamur.be/en/publications/e69b015a-d23f-4829-910d-54b028633841

المؤلفون: Stephan Diehl

المصدر: Science of Computer Programming. 38:125-142

مصطلحات موضوعية: Generator (computer programming), Programming language, Computer science, Novelty, computer.software_genre, Abstract machine, Fully automated, Core (graph theory), Compiler generation, Computer Science::Programming Languages, Natural semantics, Compiler, Abstract machines, Design methods, computer, Software, Generative grammar

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cea341e39d564a402a3d8b272a4957c9
https://doi.org/10.1016/s0167-6423(99)00047-7

المؤلفون: Leuschel, Michael, Jørgensen, Jesper, Vanhoof, Wim, Bruynooghe, Maurice

مصطلحات موضوعية: partial evaluation, partial deduction, program specialisation, compiler generation, abstract interpretation, binding-time analysis, logic programs, partial evaluator, termination analysis, compilation, mercury, tool

Relation: Theory and practice of logic programming vol:4 issue:1 pages:139-191; https://lirias.kuleuven.be/handle/123456789/124896; https://lirias.kuleuven.be/bitstream/123456789/124896/1//38686.pdf

الاتاحة: https://lirias.kuleuven.be/handle/123456789/124896
https://doi.org/10.1017/S1471068403001662
https://lirias.kuleuven.be/bitstream/123456789/124896/1//38686.pdf

المؤلفون: Hermann Rodrigues, Carlos Camarão, Lucília Figueiredo

المصدر: Journal of the Brazilian Computer Society v.9 n.1 2003
Journal of the Brazilian Computer Society
Sociedade Brasileira de Computação (SBC)
instacron:UFRGS
Journal of the Brazilian Computer Society, Volume: 9, Issue: 1, Pages: 27-40, Published: NOV 2003

مصطلحات موضوعية: monadic parsing, Parsing, Theoretical computer science, General Computer Science, Syntax (programming languages), Programming language, Semantics (computer science), Computer science, Context-free grammar, computer.software_genre, Formal grammar, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Compiler generation, Haskell, Compiler, Combinatory logic, computer, computer.programming_language

وصف الملف: text/html

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b46f1ac8750cdab4798090396ce68a0d
http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002003000200004

المؤلفون: Bernd Grobauer, Zhe Yang

المصدر: BRICS Report Series; No 40 (1999): RS-40 The Second Futamura Projection for Type-Directed Partial Evaluation
BRICS Report Series; Nr. 40 (1999): RS-40 The Second Futamura Projection for Type-Directed Partial Evaluation
Grobauer, B & Yang, Z 2001, ' The Second Futamura Projection for Type-Directed Partial Evaluation ' Higher-Order and Symbolic Computation, vol. 14, no. 2-3, pp. 173-219 .
PEPM
BRICS Report Series; No 44 (2000): RS-44 The Second Futamura Projection for Type-Directed Partial Evaluation
BRICS Report Series; Nr. 44 (2000): RS-44 The Second Futamura Projection for Type-Directed Partial Evaluation

مصطلحات موضوعية: typed functional language, Programming language, Computer science, generating extension, Process (computing), Context (language use), self-application, Extension (predicate logic), Type (model theory), computer.software_genre, Computer Graphics and Computer-Aided Design, computational effects, Partial evaluation, Imperative programming, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Compiler generation, partial evaluation, Compiler, Projection (set theory), Algorithm, computer, Software, Mathematics

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::22a5bcb4fbb641c7cfbcd2603cfede84
https://igi.indrastra.com/items/show/17102