Works about PROGRAMMING language semantics

Results: 240

Semantic Evaluation and Deformation of Curves Based on Aesthetic Criteria.

Published in:

Computer-Aided Design & Applications, 2011, v. 8, n. 3, p. 449, doi. 10.3722/cadaps.2011.449-464

By:

Giannini, Franca;
Montani, Erika;
Monti, Marina;
Pernot, Jean-Philippe

Publication type:

Article

uSMIL: Towards secure unbreakable semantics in multimedia web services.

Published in:

Computer Systems Science & Engineering, 2006, v. 21, n. 5, p. 367

By:

Kodali, N.;
Farkas, C.;
Wijesekera, D.

Publication type:

Article

A semantics based approach to privacy languages.

Published in:

Computer Systems Science & Engineering, 2006, v. 21, n. 5, p. 339

By:

Li, N.;
Yu, T.;
Antón, A.

Publication type:

Article

IBM, SGI Earn Top Bragging Rights at SC2004 Conference.

Published in:

Bio-IT World, 2004, v. 3, n. 12, p. 32

By:

Salamone, Salvatore

Publication type:

Article

Getting the Gobbledygook Out of Data Sharing.

Published in:

Bio-IT World, 2004, v. 3, n. 12, p. 1

By:

Salamone, Salvatore

Publication type:

Article

Arguments for pseudo-resultative predicates.

Published in:

Natural Language & Linguistic Theory, 2010, v. 28, n. 1, p. 135, doi. 10.1007/s11049-010-9089-x

By:

Levinson, Lisa

Publication type:

Article

Probabilistic (logic) programming concepts.

Published in:

Machine Learning, 2015, v. 100, n. 1, p. 5, doi. 10.1007/s10994-015-5494-z

By:

De Raedt, Luc;
Kimmig, Angelika

Publication type:

Article

Seeing the forest for the trees: using the Gene Ontology to restructure hierarchical clustering.

Published in:

Bioinformatics, 2009, v. 25, n. 14, p. 1789, doi. 10.1093/bioinformatics/btp327

By:

Dikla Dotan-Cohen;
Simon Kasif;
Avraham A. Melkman

Publication type:

Article

锥形束Micro-CT几何校正方法的实现.

Published in:

Chinese Medical Equipment Journal, 2018, v. 39, n. 5, p. 29, doi. 10.7687/j.issn1003-8868.2018.05.029

By:

鄢苏鹏;
刘正明

Publication type:

Article

Temporal reasoning in trajectories using an ontological modelling approach.

Published in:

Control & Cybernetics, 2012, v. 41, n. 4, p. 761

By:

Malki, Jamal;
Wannous, Rouaa;
Bouju, Alain;
Vincent, Cécile

Publication type:

Article

The Semantics of Metaprogramming in Prolog.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 4, p. 885, doi. 10.1017/S1471068424000243

By:

WARREN, DAVID SCOTT

Publication type:

Article

Exploring college students' conceptions of learning computer science: a draw-a-picture technique study.

Published in:

Computer Science Education, 2021, v. 31, n. 1, p. 60, doi. 10.1080/08993408.2020.1783155

By:

Xu, Zhen;
Ritzhaupt, Albert D.;
Umapathy, Karthikeyan;
Ning, Yang;
Tsai, Chin-Chung

Publication type:

Article

Categorizing student software designs: Methods, results, and implications.

Published in:

Computer Science Education, 2006, v. 16, n. 3, p. 197, doi. 10.1080/08993400600912376

By:

Eckerdal, Anna;
McCartney, Robert;
Moström, Jan Erik;
Ratcliffe, Mark;
Zander, Carol

Publication type:

Article

NONDETERMINISTIC SEMANTICS OF COMPOUND DIAGRAMS.

Published in:

Discrete & Continuous Dynamical Systems - Series S, 2015, v. 8, n. 6, p. 1357, doi. 10.3934/dcdss.2015.8.1357

By:

TCHIER, FAIROUZ

Publication type:

Article

Preface to special issue: EXPRESS/SOS 2016 + 2017.

Published in:

2020

By:

Peters, Kirstin;
Tini, Simone

Publication type:

Editorial

A trace-based service semantics guaranteeing deadlock freedom.

Published in:

Acta Informatica, 2012, v. 49, n. 2, p. 69, doi. 10.1007/s00236-012-0151-5

By:

Stahl, Christian;
Vogler, Walter

Publication type:

Article

Knorc Calculus and Its Formal Semantics.

Published in:

International Journal of Software & Informatics, 2015, v. 9, n. 2, p. 205

By:

Ruqian Lu

Publication type:

Article

Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study.

Published in:

2015

By:

Feliachi, Abderrahmane;
Gaudel, Marie-Claude;
Wolff, Burkhart

Publication type:

Case Study

Reverse Engineering from an XML Document into an Extended DTD Graph.

Published in:

Journal of Database Management, 2009, v. 20, n. 2, p. 38, doi. 10.4018/jdm.2009040103

By:

Shiu, Herbert;
Fong, Joseph

Publication type:

Article

Semantics of the MibML Conceptual Modeling Grammar: An Ontological Analysis Using the Bunge-Wang-Weber Framework.

Published in:

Journal of Database Management, 2007, v. 18, n. 1, p. 1, doi. 10.4018/jdm.2007010101

By:

Hong Zhang;
Kishore, Rajiv;
Ramesh, Ram

Publication type:

Article

Formal Approaches to Systems Analysis Using UML: An Overview.

Published in:

Journal of Database Management, 2000, v. 11, n. 4, p. 4, doi. 10.4018/jdm.2000100101

By:

Whittle, Jon

Publication type:

Article

Realizing Operational Planning and Assessment in the Twenty-First-Century Air Operations Center.

Published in:

Air & Space Power Journal, 2013, v. 27, n. 3, p. 64

By:

Thompson, Redvers T.

Publication type:

Article

How does your model represent the system? A note on model fidelity, underspecification, and uncertainty.

Published in:

Software & Systems Modeling, 2024, v. 23, n. 5, p. 1053, doi. 10.1007/s10270-024-01210-z

By:

Combemale, Benoit;
Gray, Jeff;
Jézéquel, Jean-Marc;
Rumpe, Bernhard

Publication type:

Article

Recommendation algorithm of the app store by using semantic relations between apps.

Published in:

Journal of Supercomputing, 2013, v. 65, n. 1, p. 16, doi. 10.1007/s11227-011-0701-6

By:

Kim, Jognwoo;
Kang, Sanggil;
Lim, Yujin;
Kim, Hak-Man

Publication type:

Article

Concurrent programming constructs for parallel MPI applications.

Published in:

Journal of Supercomputing, 2013, v. 63, n. 2, p. 385, doi. 10.1007/s11227-011-0739-5

By:

Berka, Tobias;
Kollias, Giorgos;
Hagenauer, Helge;
Vajteršic, Marian;
Grama, Ananth

Publication type:

Article

Composition-nominative aspects of address programming.

Published in:

Cybernetics & Systems Analysis, 2009, v. 45, n. 6, p. 864, doi. 10.1007/s10559-009-9159-4

By:

Nikitchenko, M.

Publication type:

Article

Properties of a relational framework synthesized over a set of semantically atomic predicates.

Published in:

Cybernetics & Systems Analysis, 2009, v. 45, n. 6, p. 1008, doi. 10.1007/s10559-009-9165-6

By:

Panchenko, B.;
Pysanko, I.

Publication type:

Article

<sc>SymbexNet</sc>: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications.

Published in:

IEEE Transactions on Software Engineering, 2014, v. 40, n. 7, p. 695, doi. 10.1109/TSE.2014.2323977

By:

Song, JaeSeung;
Cadar, Cristian;
Pietzuch, Peter

Publication type:

Article

From mathematical logic to programming-language semantics: a discussion with Tony Hoare.

Published in:

Journal of Logic & Computation, 2015, v. 25, n. 4, p. 1091, doi. 10.1093/logcom/exs071

By:

DAYLIGHT, EDGAR G.

Publication type:

Article

Towards a uniform presentation of logical systems by indexed categories and adjoint situations.

Published in:

Journal of Logic & Computation, 2015, v. 25, n. 1, p. 57, doi. 10.1093/logcom/exs038

By:

Wolter, U.;
Martini, A.;
Häusler, E. H.

Publication type:

Article

Extraction of web service build on Annotated Capability Specifications.

Published in:

International Journal of Advanced Research in Computer Science, 2017, v. 8, n. 5, p. 2148

By:

Satish, N.

Publication type:

Article

Designing Implementation End Server Development Using a Novice Programming Methodologies.

Published in:

International Journal of Advanced Research in Computer Science, 2017, v. 8, n. 3, p. 343

By:

Ranjith, G.;
Reddy, A. Brammananda

Publication type:

Article

The Advanced Programmer's Reliance on Program Semantics: Evidence from some Cognitive Tasks.

Published in:

International Journal of Psychology, 1998, v. 33, n. 4, p. 259, doi. 10.1080/002075998400303

By:

Wong, Siu-Yee;
Cheung, Him;
Chen, Hsuan-Chih

Publication type:

Article

Mapping Modern JVM Language Code to Analysis-Friendly Graphs: A Study with Kotlin.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2022, v. 32, n. 11/12, p. 1667, doi. 10.1142/S0218194022500735

By:

Li, Lu;
Liu, Yan

Publication type:

Article

ENHANCING OWL ONTOLOGIES WITH RELATION SEMANTICS.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2008, v. 18, n. 3, p. 327, doi. 10.1142/S0218194008003660

By:

Kothari, Cartik R.;
Russomanno, David J.

Publication type:

Article

SLICING EXECUTION FOR MODEL CHECKING C PROGRAMS.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2006, v. 16, n. 5, p. 747, doi. 10.1142/S0218194006002987

By:

YI, XIAODONG;
WANG, JI;
YANG, XUEJUN

Publication type:

Article

Extraction and Mining of Video Feature in Sport Videos.

Published in:

International Journal of Performability Engineering, 2018, v. 14, n. 5, p. 1069, doi. 10.23940/ijpe.18.05.p26.10691077

By:

Yang Han

Publication type:

Article

Modal dependence logics: axiomatizations and model-theoretic properties.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 5, p. 773, doi. 10.1093/jigpal/jzx023

By:

FAN YANG

Publication type:

Article

Decidability of interpretability logics ILM<sub>0</sub> and ILW.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 5, p. 758, doi. 10.1093/jigpal/jzx027

By:

MIKEC, LUKA;
PERKOV, TIN;
VUKOVIĆ, MLADEN

Publication type:

Article

Verification of Complex Real-time Systems Using Rewriting Logic.

Published in:

Journal of Computing & Information Technology, 2009, v. 17, n. 3, p. 265, doi. 10.2498/cit.1001272

By:

Bourahla, Mustapha

Publication type:

Article

A Logic with Measurable Spaces for Natural Language Semantics.

Published in:

Applied Mathematics, Informatics & Mechanics, 2020, v. 25, n. 2, p. 1

By:

Bernardy, Jean-Philippe;
Blanck, Rasmus;
Maskharashvili, Aleksandre

Publication type:

Article

Expanding the Extent of a UMLS Semantic Type via Group Neighborhood Auditing.

Published in:

Journal of the American Medical Informatics Association, 2009, v. 16, n. 5, p. 746, doi. 10.1197/jamia.M2951

By:

YAH CHEN;
HUANYING GU;
PERL, YEHOSHUA;
HALPER, MICHAEL;
JUNCHUAN XU

Publication type:

Article

The Use of Controlled Vocabularies and Structured Expressions in the Assurance of CPS.

Published in:

Ada User Journal, 2014, v. 35, n. 4, p. 251

By:

Attwood, Katrina;
Conmy, Philippa;
Kelly, Tim

Publication type:

Article

Dual unbounded nondeterminacy, recursion, and fixpoints.

Published in:

Acta Informatica, 2007, v. 44, n. 5, p. 323, doi. 10.1007/s00236-007-0049-9

By:

Morris, Joseph;
Tyrrell, Malcolm

Publication type:

Article

Computational complexity via programming languages: constant factors do matter.

Published in:

Acta Informatica, 2000, v. 37, n. 2, p. 83, doi. 10.1007/s002360000038

By:

Ben-Amram, Amir M.;
Jones, Neil D.

Publication type:

Article

Generation of similarity knowledge flow for intelligent browsing based on semantic link networks.

Published in:

Concurrency & Computation: Practice & Experience, 2009, v. 21, n. 16, p. 2018, doi. 10.1002/cpe.1460

By:

Xiangfeng Luo;
Zheng Xu;
Qing Li;
Qingliang Hu;
Jie Yu;
Xinhuai Tang

Publication type:

Article

Applying semantics to grid middleware.

Published in:

Concurrency & Computation: Practice & Experience, 2009, v. 21, n. 13, p. 1725, doi. 10.1002/cpe.1395

By:

Vidal, A. C. T.;
Silva, F. J. S.;
Kofuji, S. T.;
Kon, F.

Publication type:

Article

Optimizing description logic reasoning for the large-scale semantic repositories.

Published in:

Concurrency & Computation: Practice & Experience, 2009, v. 21, n. 5, p. 635, doi. 10.1002/cpe.1371

By:

Babík, Marian;
Hluchý, Ladislav

Publication type:

Article

A test suite for parallel performance analysis tools.

Published in:

Concurrency & Computation: Practice & Experience, 2007, v. 19, n. 11, p. 1465, doi. 10.1002/cpe.1124

By:

Gerndt, Michael;
Mohr, Bernd;
Träff, Jesper Larsson

Publication type:

Article

Hoare logic for Java in Isabelle/HOL.

Published in:

Concurrency & Computation: Practice & Experience, 2001, v. 13, n. 13, p. 1173, doi. 10.1002/cpe.598

By:

Von Oheimb, David

Publication type:

Article