المؤلفون: Thomas Baar, Horst Schulte

المصدر: Моделирование и анализ информационных систем, Vol 28, Iss 4, Pp 326-336 (2021)

مصطلحات موضوعية: cyber physical system, control theory, lyapunov function, imperative programming language, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/1563; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/11cd679b7a5c4381aa8592fd10259101

المؤلفون: Matos A. B., Paolini L., Roversi L.

المساهمون: Ivan Lanese, Mariusz Rawski, Matos A.B., Paolini L., Roversi L.

مصطلحات موضوعية: Decidability, Imperative programming language, Primitive recursive function, Reversible programming languages

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-52481-4; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-52482-1; ispartofbook:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 12th International Conference on Reversible Computation,RC 2020; volume:12227; firstpage:128; lastpage:143; numberofpages:16; serie:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; alleditors:Ivan Lanese, Mariusz Rawski; http://hdl.handle.net/2318/1747639; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85088600282; https://link.springer.com/chapter/10.1007/978-3-030-52482-1_7

الاتاحة: http://hdl.handle.net/2318/1747639
https://doi.org/10.1007/978-3-030-52482-1_7
https://link.springer.com/chapter/10.1007/978-3-030-52482-1_7

المؤلفون: Franch Gutiérrez, Javier

المساهمون: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació, Universitat Politècnica de Catalunya. GESSI - Grup d'Enginyeria del Software i dels Serveis

مصطلحات موضوعية: Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, Modular imperative programming language, Non-functional properties

وصف الملف: 76 p.

Relation: LSI-95-44-R; Franch, X. "Dealing with non-functional properties in an imperative programming language". 1995.; http://hdl.handle.net/2117/96878

الاتاحة: http://hdl.handle.net/2117/96878

المؤلفون: Becker, J., Stripf, T., Oey, O., Huebner, M., Derrien, S., Menard, D., Sentieys, O., Rauwerda, G., Sunesen, K., Kavvadias, N., Masselos, K., Goulas, G., Alefragis, P., Voros, N. S., Kritharidis, D., Mitas, N., Goehringer, D.

مصطلحات موضوعية: ALMA European project, architecture oriented parallelization, chip design, compilation framework, Data mining, embedded systems, Hardware, high performance embedded mapping process, high performance embedded multicore systems, multi-processor system on chip, Multicore processing, multiprocessing systems, multiprocessor platforms, multiprocessor system, optimization, optimized parallel code generation, parallel architectures, parallel processing, power consumption, Program processors, pure imperative programming language, Scilab, Scilab ALMA approach, Scilab-based toolchain, ddc:620, Engineering & allied operations, info:eu-repo/classification/ddc/620

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-076954798-5; https://publikationen.bibliothek.kit.edu/1000079187

الاتاحة: https://publikationen.bibliothek.kit.edu/1000079187

المؤلفون: Büttner, Fabian, Gogolla, Martin

المساهمون: Modeling Technologies for Software Production, Operation, and Evolution (ATLANMOD), Laboratoire d'Informatique de Nantes Atlantique (LINA), Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes (UN), Technologie-Zentrum Informatik und Informationstechnik (TZi), University of Bremen, Computer science departement Bremen, Universität Bremen

المصدر: ISSN: 0167-6423 ; Science of Computer Programming ; https://hal.inria.fr/hal-00876206 ; Science of Computer Programming, Elsevier, 2013.

مصطلحات موضوعية: OCL, Imperative programming language, UML, Embedding, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Relation: hal-00876206; https://hal.inria.fr/hal-00876206

الاتاحة: https://hal.inria.fr/hal-00876206

المؤلفون: Wang, Yuting

المصدر: Master's Theses

مصطلحات موضوعية: AMIBE, Imperative Programming Language, Non-deterministic, First Class Continuation, CPS, Programming Languages and Compilers

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

Relation: https://digitalcommons.lib.uconn.edu/gs_theses/142; https://digitalcommons.lib.uconn.edu/context/gs_theses/article/1180/viewcontent/yuting_thesis_order.pdf

الاتاحة: https://digitalcommons.lib.uconn.edu/gs_theses/142
https://digitalcommons.lib.uconn.edu/context/gs_theses/article/1180/viewcontent/yuting_thesis_order.pdf

المؤلفون: 황의권

المساهمون: 이광근, 전기. 컴퓨터공학부

مصطلحات موضوعية: 프로그램 분석, Program Analysis, 요약해석, Abstract Interpretation, 메모리, Memory, 명령형 프로그래밍 언어, Imperative Programming Language

وصف الملف: iv, 27 p.

Relation: http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000043980; http://hdl.handle.net/10371/50048

الاتاحة: http://hdl.handle.net/10371/50048
http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000043980

المؤلفون: 신재호

المساهمون: 이광근., 전기. 컴퓨터공학부

مصطلحات موضوعية: 명령형 프로그래밍 언어, Imperative Programming Language, 요약해석, Abstract Interpretation, 안전성 증명, Soundness Proof

وصف الملف: v, 69 leaves

Relation: http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000049349; http://hdl.handle.net/10371/52577

الاتاحة: http://hdl.handle.net/10371/52577
http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000049349

المؤلفون: Porkoláb, Zoltán, Pataki, Norbert, Sinkovics, Ábel, Baráth, Áron, Brunner, Tibor, Cséri, Tamás, Márton, Gábor, Parragi, Zsolt

مصطلحات موضوعية: FSA 2015, óravázlat, jegyzet, informatics, programming, C++ programming language, static typing, structure of C++ programs, imperative programming language, life and scope, encapsulation, templates

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

Relation: http://hdl.handle.net/10831/31261; LOMS: https://edit.elte.hu/xmlui/bitstream/10831/31261/1/ModernC%2b%2b-lecture01.pdf.pdf; LOMS: https://edit.elte.hu/xmlui/bitstream/10831/31261/2/ModernC%2b%2b-lecture02.pdf.pdf; LOMS: https://edit.elte.hu/xmlui/bitstream/10831/31261/3/ModernC%2b%2b-lecture03.pdf.pdf; LOMS: https://edit.elte.hu/xmlui/bitstream/10831/31261/4/ModernC%2b%2b-lecture04.pdf.pdf; LOMS: https://edit.elte.hu/xmlui/bitstream/10831/31261/5/ModernC%2b%2b-lecture05.pdf.pdf; LOMS: https://edit.elte.hu/xmlui/bitstream/10831/31261/6/ModernC%2b%2b-lecture06.pdf.pdf; LOMS: https://edit.elte.hu/xmlui/bitstream/10831/31261/7/ModernC%2b%2b-lecture07.pdf.pdf; LOMS: https://edit.elte.hu/xmlui/bitstream/10831/31261/8/ModernC%2b%2b-lecture08.pdf.pdf; LOMS: https://edit.elte.hu/xmlui/bitstream/10831/31261/9/ModernC%2b%2b-lecture09.pdf.pdf; LOMS: https://edit.elte.hu/xmlui/bitstream/10831/31261/10/ModernC%2b%2b-lecture10.pdf.pdf; LOMS: https://edit.elte.hu/xmlui/bitstream/10831/31261/11/ModernC%2b%2b-lecture11.pdf.pdf; LOMS: https://edit.elte.hu/xmlui/bitstream/10831/31261/12/ModernC%2b%2b-lecture12.pdf.pdf; LOMS: https://edit.elte.hu/xmlui/bitstream/10831/31261/13/ModernC%2b%2b-lecture13.pdf.pdf; LOMS: https://edit.elte.hu/xmlui/bitstream/10831/31261/14/ModernC%2b%2b-lecture14.pdf.pdf; LOMS: https://edit.elte.hu/xmlui/bitstream/10831/31261/15/ModernC%2b%2b-lecture15.pdf.pdf; LOMS: https://edit.elte.hu/xmlui/bitstream/10831/31261/16/ModernC%2b%2b-lecture16.pdf.pdf; LOMS: https://edit.elte.hu/xmlui/bitstream/10831/31261/17/ModernC%2b%2b-lecture17.pdf.pdf; LOMS: https://edit.elte.hu/xmlui/bitstream/10831/31261/18/ModernC%2b%2b-lecture18.pdf.pdf; LOMS: https://edit.elte.hu/xmlui/bitstream/10831/31261/19/ModernC%2b%2b-lecture19.pdf.pdf; LOMS: https://edit.elte.hu/xmlui/bitstream/10831/31261/20/ModernC%2b%2b-lecture20.pdf.pdf

الاتاحة: http://hdl.handle.net/10831/31261

المؤلفون: Franch Gutiérrez, Javier|||0000-0001-9733-8830

المساهمون: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació, Universitat Politècnica de Catalunya. inSSIDE - integrated Software, Service, Information and Data Engineering

المصدر: Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

مصطلحات موضوعية: Informàtica::Informàtica teòrica [Àrees temàtiques de la UPC], Modular imperative programming language, Non-functional properties

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::67cbfeb24429102d761ce455844058e8
http://hdl.handle.net/2117/96878

المؤلفون: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació, Universitat Politècnica de Catalunya. inSSIDE - integrated Software, Service, Information and Data Engineering, Franch Gutiérrez, Javier

مصطلحات الفهرس: Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, Modular imperative programming language, Non-functional properties, External research report

URL: http://hdl.handle.net/2117/96878
LSI-95-44-R