Suchergebnisse - "programming language implementation"

How to Implement Words (Efficiently)

Autoren: Ertl, M. Anton

Schlagwörter: return-address stack, programming language implementation, false sharing, Forth, performance pitfalls, branch prediction

Deep specification and proof preservation for the CoqTL transformation language

Autoren: Zheng Cheng Massimo Tisi Proof-oriented development of computer-based systems (MOSEL) et al.

Weitere Verfasser: Zheng Cheng Massimo Tisi Proof-oriented development of computer-based systems (MOSEL) et al.

Quelle: Software and Systems Modeling. 21:1831-1852

Schlagwörter: Programming Language Implementation, MDE, Certification, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Model Transformation, Theorem Proving, 0202 electrical engineering, electronic engineering, information engineering, Coq, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO]Computer Science [cs], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology

Gforth

Autoren: Ertl, M. Anton Paysan, Bernd M. Anton Ertl and Bernd Paysan

Weitere Verfasser: Ertl, M. Anton Paysan, Bernd M. Anton Ertl and Bernd Paysan

Schlagwörter: Programming language implementation, Forth

Relation: https://drops.dagstuhl.de/entities/document/10.4230/artifacts.22514

Verfügbarkeit: https://doi.org/10.4230/artifacts.22514
https://nbn-resolving.org/urn:nbn:de:0030-drops-225149
https://drops.dagstuhl.de/entities/document/10.4230/artifacts.22514

Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch

Autoren: Tarau, Paul

Quelle: Electronic Proceedings in Theoretical Computer Science. 345:141-154

Schlagwörter: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, embedded logic programming languages, ground term fact database indexing, Computer Science - Programming Languages, Computer Science - Artificial Intelligence, 02 engineering and technology, Machine Learning (cs.LG), Logic in Computer Science (cs.LO), logic programming, Artificial Intelligence (cs.AI), 0202 electrical engineering, electronic engineering, information engineering, neuro-symbolic logic programming, Python-based logic programming systems, logic programming language implementation, Python, Programming Languages (cs.PL)

Dateibeschreibung: Text

Zugangs-URL: https://arxiv.org/pdf/2109.08291
http://arxiv.org/abs/2109.08291
https://arxiv.org/abs/2109.08291
http://arxiv.org/pdf/2109.08291.pdf

Free Objects in Constraint-logic Object-oriented Programming

Autoren: Dageförde, J.C. (Jan) Kuchen, H. (Herbert) Universitäts- und Landesbibliothek Münster

Weitere Verfasser: Dageförde, J.C. (Jan) Kuchen, H. (Herbert) Universitäts- und Landesbibliothek Münster

Schlagwörter: Constraint-logic object-oriented programming, reference-type logic variables, programming language implementation, runtime systems, ddc:004, info:eu-repo/classification/ddc/004, Computer science, ddc:330, info:eu-repo/classification/ddc/330, Economics

Dateibeschreibung: application/pdf

Relation: https://nbn-resolving.org/urn:nbn:de:hbz:6-54539528383; info:eu-repo/semantics/reference/urn/urn:nbn:de:hbz:6-54539528383

Verfügbarkeit: https://nbn-resolving.org/urn:nbn:de:hbz:6-25928628394
https://doi.org/10.17879/25928629014
https://miami.uni-muenster.de/Record/1cf5de13-1ffb-4da7-b63f-3318f07bd328
https://repositorium.uni-muenster.de/transfer/miami/1cf5de13-1ffb-4da7-b63f-3318f07bd328

Powerlang: a Vehicle for Lively Implementing Programming Languages

Autoren: Pimás, Javier Chari, Guido Czech Technical University in Prague (CTU)

Weitere Verfasser: Pimás, Javier Chari, Guido Czech Technical University in Prague (CTU)

Quelle: International Workshop on Smalltalk Technologies '19 ; International Workshop on Smalltalk Technologies ; https://hal.science/hal-04053314 ; International Workshop on Smalltalk Technologies, Aug 2019, Koln, Germany

Schlagwörter: programming language implementation virtual machines live environments, programming language implementation, virtual machines, live environments, [INFO]Computer Science [cs]

Geographisches Schlagwort: Koln, Germany

Relation: hal-04053314; https://hal.science/hal-04053314; https://hal.science/hal-04053314/document; https://hal.science/hal-04053314/file/IWST19_paper_11.pdf

Verfügbarkeit: https://hal.science/hal-04053314
https://hal.science/hal-04053314/document
https://hal.science/hal-04053314/file/IWST19_paper_11.pdf

μ -DSU: A Micro-Language Based Approach to Dynamic Software Updating

Autoren: W. Cazzola R. Chitchyan A. Rashid et al.

Quelle: Computer Languages, Systems & Structures. 51:71-89

Schlagwörter: name=Bristol Interaction Group, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Domain-Specific Language, Dynamic Software Updating, Programming Languages, Programming Language Implementation, Software Evolution

Dateibeschreibung: application/pdf

Zugangs-URL: https://eprints.lancs.ac.uk/id/eprint/87087/1/1_s2.0_S1477842417300416_main.pdf
https://www.eprints.lancs.ac.uk/id/eprint/87087/
https://www.sciencedirect.com/science/article/pii/S1477842417300416
https://doi.org/10.1016/j.cl.2017.07.003
https://research-information.bris.ac.uk/en/publications/dsu(106cfebd-abf3-4c13-a675-a95d7ad121cf).html
https://dblp.uni-trier.de/db/journals/cl/cl51.html#CazzolaCRS18
http://www.sciencedirect.com/science/article/pii/S1477842417300416
https://hdl.handle.net/2434/527911
https://doi.org/10.1016/j.cl.2017.07.003
https://eprints.lancs.ac.uk/id/eprint/87087/

Remote-scope promotion: clarified, rectified, and verified

Autoren: Wickerson, J Batty, M Beckmann, BM et al.

Weitere Verfasser: Wickerson, J Batty, M Beckmann, BM et al.

Quelle: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)

Schlagwörter: 2. Zero hunger, Technology, Science & Technology, OpenCL, Formal methods, Software Engineering, 02 engineering and technology, Computer Science, Software Engineering, QA76, programming language implementation, Computer Science, graphics processing unit (GPU), 0202 electrical engineering, electronic engineering, information engineering, Isabelle, work stealing, weak memory models

Dateibeschreibung: application/pdf

Zugangs-URL: https://kar.kent.ac.uk/51384/2/OOPSLA.pdf
https://spiral.imperial.ac.uk/bitstream/10044/1/32079/2/OOPSLA.pdf
http://johnwickerson.github.io/papers/rsp.pdf
https://www.cs.kent.ac.uk/people/staff/mjb211/docs/rsp.pdf
https://www.doc.ic.ac.uk/~afd/homepages/papers/pdfs/2015/OOPSLA.pdf
https://dblp.uni-trier.de/db/conf/oopsla/oopsla2015.html#WickersonBBD15
https://johnwickerson.github.io/papers/rsp.pdf
http://hdl.handle.net/10044/1/32079

Free objects in constraint-logic object-oriented programming

Autoren: Dageförde, Jan C. Kuchen, Herbert

Schlagwörter: ddc:650, constraint-logic object-oriented programming, reference-type logic variables, programming language implementation, runtime systems

Relation: Series: ERCIS Working Paper; No. 32; http://hdl.handle.net/10419/223243; RePEc:zbw:ercisw:32

Verfügbarkeit: http://hdl.handle.net/10419/223243

Implementing Dynamic-Cut in TOY

Autoren: Rafael Caballero Yolanda García-Ruiz

Quelle: Electronic Notes in Theoretical Computer Science. 177:153-168

Schlagwörter: functional-logic Programming, program analysis, programming language implementation, 0202 electrical engineering, electronic engineering, information engineering, determinism, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Zugangs-URL: https://www.sciencedirect.com/science/article/pii/S1571066107002198
http://gpd.sip.ucm.es/rafa/papers/wflp06b.pdf
https://www.sciencedirect.com/science/article/abs/pii/S1571066107002198
https://dblp.uni-trier.de/db/journals/entcs/entcs177.html#CaballeroG07

Quantifying and evaluating the space overhead for alternative C++ memory layouts

Autoren: Peter F. Sweeney Michael Burke

Quelle: Software: Practice and Experience. 33:595-636

Schlagwörter: programming language implementation, Theory of programming languages, 0202 electrical engineering, electronic engineering, information engineering, object-oriented optimizations, 02 engineering and technology, C++

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/1968035
https://doi.org/10.1002/spe.519
https://dblp.uni-trier.de/db/journals/spe/spe33.html#SweeneyB03
https://doi.org/10.1002/spe.519
https://onlinelibrary.wiley.com/doi/10.1002/spe.519

Implementing Domain-Specific Languages with Xtext and Xtend, Second Edition

Autoren: BETTINI, LORENZO

Schlagwörter: Xtext, DSL, Programming Language Implementation

Zugangs-URL: https://hdl.handle.net/2158/1074296
https://www.packtpub.com/application-development/implementing-domain-specific-languages-xtext-and-xtend-second-edition

Strong categorical datatypes II: A term logic for categorical programming

Autoren: Dwight Lewis Spencer J. Robin B. Cockett

Quelle: Theoretical Computer Science. 139:69-113

Schlagwörter: Logic in computer science, categorical programming language implementation, Theory of programming languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Dateibeschreibung: application/xml

Zugangs-URL: https://www.sciencedirect.com/science/article/pii/0304397594000995
https://www.sciencedirect.com/science/article/abs/pii/0304397594000995
https://dblp.uni-trier.de/db/journals/tcs/tcs139.html#CockettS95
https://core.ac.uk/display/24327240

One Approach to Aspect-Oriented Programming Implementation for the C programming language

Autoren: Eugene, Novikov

Schlagwörter: aspect-oriented programming join point pointcut advice aspect weaving the C programming language implementation

Dateibeschreibung: text/html

Verfügbarkeit: http://cyberleninka.ru/article/n/one-approach-to-aspect-oriented-programming-implementation-for-the-c-programming-language
http://cyberleninka.ru/article_covers/14987482.png

Implementing Domain-Specific Languages with Xtext and Xtend

Autoren: BETTINI, LORENZO

Schlagwörter: Programming Language Implementation

Zugangs-URL: https://hdl.handle.net/2158/1039598
http://www.packtpub.com/implementing-domain-specific-languages-with-xtext-and-xtend/book
http://www.packtpub.com/implementing-domain-specific-languages-with-xtext-and-xtend/book
https://hdl.handle.net/2318/140332

Bridging the Gaps in Software Engineering Education -- A Course on Trustworthy Computing with Virtual Machines

Autoren: n.n. The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: n.n. The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.facweb.iitkgp.ernet.in/~rkumar/oosi/resources/softee.pdf.

Schlagwörter: Software engineering, computer science curriculum, formal method, software verification, programming language implementation, virtual system

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.1984; http://www.facweb.iitkgp.ernet.in/~rkumar/oosi/resources/softee.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.1984
http://www.facweb.iitkgp.ernet.in/~rkumar/oosi/resources/softee.pdf

The development of the HiPE system: Design and experience report

Autoren: Erik Johansson Mikael Pettersson Konstantinos Sagonas et al.

Weitere Verfasser: Erik Johansson Mikael Pettersson Konstantinos Sagonas et al.

Quelle: http://user.it.uu.se/~kostis/Papers/hipe-sttt.pdf.

Schlagwörter: Programming language implementation – Concurrent programming – Functional programming – Erlang – Vir

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.6578
http://user.it.uu.se/~kostis/Papers/hipe-sttt.pdf

The development of the HiPE system: design and experience report

Autoren: Erik Johansson Mikael Pettersson Konstantinos Sagonas et al.

Weitere Verfasser: Erik Johansson Mikael Pettersson Konstantinos Sagonas et al.

Quelle: http://user.it.uu.se/~kostis/Papers/hipe-sttt.pdf.

Schlagwörter: Programming language implementation – Concurrent programming – Functional programming – Erlang – Vir

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.4883
http://user.it.uu.se/~kostis/Papers/hipe-sttt.pdf

Compiler to Interpreter: Experiences with a Distributed Programming Language

Autoren: Robert Gebala Carole M. Mcnamee Ronald A. et al.

Weitere Verfasser: Robert Gebala Carole M. Mcnamee Ronald A. et al.

Quelle: http://www.cs.ucdavis.edu/~olsson/pubs/2001/sri.ps.

Schlagwörter: Interpreters, concurrent programming languages, concurrent programming language implementation, process communication and synchronization 1

Dateibeschreibung: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.9866; http://www.cs.ucdavis.edu/~olsson/pubs/2001/sri.ps

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.9866
http://www.cs.ucdavis.edu/~olsson/pubs/2001/sri.ps

Compiling Mercury to high-level C code

Autoren: Fergus Henderson Zoltan Somogyi The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Fergus Henderson Zoltan Somogyi The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.mercury.cs.mu.oz.au/information/papers/hlc_cc.ps.gz.

Schlagwörter: compilation techniques, programming language implementation, logic programming, Mercury, GNU C

Dateibeschreibung: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.7865; http://www.mercury.cs.mu.oz.au/information/papers/hlc_cc.ps.gz

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.7865
http://www.mercury.cs.mu.oz.au/information/papers/hlc_cc.ps.gz