Search Results - "Programming language implementation"
-
1
-
2
Authors: et al.
Contributors: et al.
Source: Software and Systems Modeling. 21:1831-1852
Subject Terms: 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
-
3
Authors:
Contributors:
Subject Terms: Programming language implementation, Forth
-
4
Authors: Tarau, Paul
Source: Electronic Proceedings in Theoretical Computer Science. 345:141-154
Subject Terms: 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)
File Description: Text
-
5
Authors:
Contributors:
Subject Terms: 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
File Description: 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
-
6
Authors:
Contributors:
Source: 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
Subject Terms: programming language implementation virtual machines live environments, programming language implementation, virtual machines, live environments, [INFO]Computer Science [cs]
Relation: hal-04053314; https://hal.science/hal-04053314; https://hal.science/hal-04053314/document; https://hal.science/hal-04053314/file/IWST19_paper_11.pdf
-
7
Authors: et al.
Source: Computer Languages, Systems & Structures. 51:71-89
Subject Terms: 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
File Description: application/pdf
Access 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/ -
8
Authors: et al.
Contributors: et al.
Source: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
Subject Terms: 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
File Description: application/pdf
Access 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 -
9
Authors:
Subject Terms: 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
Availability: http://hdl.handle.net/10419/223243
-
10
Authors:
Source: Electronic Notes in Theoretical Computer Science. 177:153-168
Subject Terms: 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
-
11
Authors:
Source: Software: Practice and Experience. 33:595-636
Subject Terms: programming language implementation, Theory of programming languages, 0202 electrical engineering, electronic engineering, information engineering, object-oriented optimizations, 02 engineering and technology, C++
File Description: application/xml
-
12
-
13
Authors:
Source: Theoretical Computer Science. 139:69-113
Subject Terms: 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)
File Description: application/xml
-
14
Authors: Eugene, Novikov
Subject Terms: aspect-oriented programming join point pointcut advice aspect weaving the C programming language implementation
File Description: text/html
Availability: http://cyberleninka.ru/article/n/one-approach-to-aspect-oriented-programming-implementation-for-the-c-programming-language
http://cyberleninka.ru/article_covers/14987482.png -
15
Authors: BETTINI, LORENZO
Subject Terms: Programming Language Implementation
-
16
Authors:
Contributors:
Subject Terms: Software engineering, computer science curriculum, formal method, software verification, programming language implementation, virtual system
File Description: 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
-
17
Authors: et al.
Contributors: et al.
Subject Terms: Programming language implementation – Concurrent programming – Functional programming – Erlang – Vir
File Description: application/pdf
-
18
Authors: et al.
Contributors: et al.
Subject Terms: Programming language implementation – Concurrent programming – Functional programming – Erlang – Vir
File Description: application/pdf
-
19
Authors: et al.
Contributors: et al.
Subject Terms: Interpreters, concurrent programming languages, concurrent programming language implementation, process communication and synchronization 1
File Description: 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
-
20
Authors:
Contributors:
Subject Terms: compilation techniques, programming language implementation, logic programming, Mercury, GNU C
File Description: 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
Nájsť tento článok vo Web of Science 
Full Text Finder 