Works matching DE "PROGRAMMING language semantics"
Results: 238
Probabilistic (logic) programming concepts.
- Published in:
- Machine Learning, 2015, v. 100, n. 1, p. 5, doi. 10.1007/s10994-015-5494-z
- By:
- Publication type:
- Article
Analysis and verification of SMIL documents.
- Published in:
- Multimedia Systems, 2011, v. 17, n. 6, p. 487, doi. 10.1007/s00530-011-0233-1
- By:
- Publication type:
- Article
Research and Experiment of Intelligent Natural Language Processing Algorithms.
- Published in:
- Wireless Personal Communications, 2018, v. 102, n. 4, p. 2927, doi. 10.1007/s11277-018-5316-2
- By:
- Publication type:
- Article
Formalised Composition and Interaction for Heterogeneous Structured Parallelism.
- Published in:
- International Journal of Parallel Programming, 2018, v. 46, n. 1, p. 120, doi. 10.1007/s10766-017-0511-4
- By:
- Publication type:
- Article
Dynamic Data Migration for Structured AMR Solvers.
- Published in:
- International Journal of Parallel Programming, 2007, v. 35, n. 5, p. 477, doi. 10.1007/s10766-007-0056-z
- By:
- Publication type:
- Article
Automatic differentiation for ML-family languages: Correctness via logical relations.
- Published in:
- Mathematical Structures in Computer Science, 2024, v. 34, n. 7, p. 747, doi. 10.1017/S0960129524000215
- By:
- Publication type:
- Article
Preface to the special issue on metric and differential semantics.
- Published in:
- 2023
- By:
- Publication type:
- Editorial
Preface for the special issue in homage to Martin Hofmann Part 2.
- Published in:
- 2022
- By:
- Publication type:
- Editorial
Preface for the special issue in homage to Martin Hofmann Part 1.
- Published in:
- 2021
- By:
- Publication type:
- Editorial
Dynamic game semantics.
- Published in:
- Mathematical Structures in Computer Science, 2020, v. 30, n. 8, p. 892, doi. 10.1017/S0960129520000250
- By:
- Publication type:
- Article
On the computational complexity of dynamic slicing problems for program schemas.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 6, p. 1339, doi. 10.1017/S0960129511000223
- By:
- Publication type:
- Article
Provenance as dependency analysis.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 6, p. 1301, doi. 10.1017/S0960129511000211
- By:
- Publication type:
- Article
Modelling declassification policies using abstract domain completeness.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 6, p. 1253, doi. 10.1017/S096012951100020X
- By:
- Publication type:
- Article
The computational SLR: a logic for reasoning about computational indistinguishability.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 5, p. 951, doi. 10.1017/S0960129510000265
- Publication type:
- Article
Axiomatic semantics of projection temporal logic programs.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 5, p. 865, doi. 10.1017/S0960129510000241
- Publication type:
- Article
Semantical proofs of correctness for programs performing non-deterministic tests on real numbers.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 5, p. 723, doi. 10.1017/S0960129510000186
- Publication type:
- Article
Realisability semantics of parametric polymorphism, general references and recursive types.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 4, p. 655, doi. 10.1017/S0960129510000162
- By:
- Publication type:
- Article
Algebra and logic for resource-based systems modelling.
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 5, p. 959, doi. 10.1017/S0960129509990077
- By:
- 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:
- Publication type:
- Article
Lexical Scope and Statistical Computing.
- Published in:
- Journal of Computational & Graphical Statistics, 2000, v. 9, n. 3, p. 491, doi. 10.2307/1390942
- By:
- 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:
- 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:
- 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:
- Publication type:
- Article
DISAMBIGUATION VIA DEFAULT RULES UNDER ANSWERING COMPLEX QUESTIONS.
- Published in:
- International Journal on Artificial Intelligence Tools, 2005, v. 14, n. 1/2, p. 157, doi. 10.1142/S0218213005002041
- By:
- Publication type:
- Article
A Hierarchical Reasoning System for Automatic Program Parallelization.
- Published in:
- International Journal on Artificial Intelligence Tools, 2000, v. 9, n. 3, p. 417, doi. 10.1142/S0218213000000264
- By:
- Publication type:
- Article
OSYRIS: A NATURE INSPIRED WORKFLOW ENGINE FOR SERVICE ORIENTED ENVIRONMENTS.
- Published in:
- Scalable Computing: Practice & Experience, 2010, v. 11, n. 1, p. 81
- By:
- Publication type:
- Article
Straight-line Instruction Sequence Completeness for Total Calculation on Cancellation Meadows.
- Published in:
- Theory of Computing Systems, 2011, v. 48, n. 4, p. 840, doi. 10.1007/s00224-010-9272-9
- By:
- Publication type:
- Article
Weighted Picture Automata and Weighted Logics.
- Published in:
- Theory of Computing Systems, 2011, v. 48, n. 1, p. 48, doi. 10.1007/s00224-009-9225-3
- By:
- Publication type:
- Article
Weighted Logics for Unranked Tree Automata.
- Published in:
- Theory of Computing Systems, 2011, v. 48, n. 1, p. 23, doi. 10.1007/s00224-009-9224-4
- By:
- 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:
- 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:
- Publication type:
- Article
A semantics based approach to privacy languages.
- Published in:
- Computer Systems Science & Engineering, 2006, v. 21, n. 5, p. 339
- By:
- 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:
- Publication type:
- Article
Spatially Coherent Interpretations of Videos Using Pattern Theory.
- Published in:
- International Journal of Computer Vision, 2017, v. 121, n. 1, p. 5, doi. 10.1007/s11263-016-0913-6
- By:
- Publication type:
- Article
MATCHING EXACTLY OR SEMANTICALLY? AN EXAMINATION OF THE EFFECTIVENESS OF SYNONYM-BASED MATCHING STRATEGY IN CHINESE PAID SEARCH MARKET.
- Published in:
- Journal of Electronic Commerce Research, 2017, v. 18, n. 1, p. 32
- By:
- Publication type:
- Article
Specification and Enforcement of Semantic Integrity Constraints in Microsoft Access.
- Published in:
- Journal of Information Systems Education, 2007, v. 18, n. 4, p. 393
- By:
- Publication type:
- Article
Review of semantic modelling technologies in support of virtual factory design.
- Published in:
- International Journal of Production Research, 2013, v. 51, n. 14, p. 4388, doi. 10.1080/00207543.2013.778433
- By:
- Publication type:
- Article
Type-directed operational semantics for gradual typing.
- Published in:
- Journal of Functional Programming, 2024, v. 34, p. 1, doi. 10.1017/S0956796824000078
- Publication type:
- Article
PhD Abstracts.
- Published in:
- Journal of Functional Programming, 2024, v. 34, p. 1, doi. 10.1017/S0956796824000108
- Publication type:
- Article
Programming language semantics: It's easy as 1,2,3.
- Published in:
- Journal of Functional Programming, 2023, v. 33, p. 1, doi. 10.1017/S0956796823000072
- By:
- Publication type:
- Article
Taming the Merge Operator.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000186
- By:
- Publication type:
- Article
Verified secure compilation for mixed-sensitivity concurrent programs.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000162
- By:
- Publication type:
- Article
Gradual type theory.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000125
- By:
- Publication type:
- Article
StkTokens : Enforcing well-bracketed control flow and stack encapsulation using linear capabilities.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S095679682100006X
- By:
- Publication type:
- Article
Proof-directed program transformation: A functional account of efficient regular expression matching.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796820000295
- By:
- Publication type:
- Article
A lightweight approach to datatype-generic rewriting.
- Published in:
- Journal of Functional Programming, 2010, v. 20, n. 3/4, p. 375, doi. 10.1017/S0956796810000183
- By:
- Publication type:
- Article
Generic programming with C++ concepts and Haskell type classes--a comparison.
- Published in:
- Journal of Functional Programming, 2010, v. 20, n. 3/4, p. 271, doi. 10.1017/S095679681000016X
- By:
- Publication type:
- Article
Coherence of subsumption for monadic types.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 2, p. 157, doi. 10.1017/S0956796808006886
- By:
- Publication type:
- Article
An operational semantics for Scheme1.
- Published in:
- Journal of Functional Programming, 2008, v. 18, n. 1, p. 47
- By:
- Publication type:
- Article
Semantic framework for mapping object-oriented model to semantic web languages.
- Published in:
- Frontiers in Neuroinformatics, 2015, v. 9, p. 1, doi. 10.3389/fninf.2015.00003
- By:
- Publication type:
- Article