DEVHIDE
Login Or Sign up

List Question

20
1.9k
Views

PHP formal semantics?

Published on
#php #formal-semantics
151
Views

What type of semantics is used in Perl?

Published on
#perl #semantics #formal-semantics #denotational-semantics
328
Views

How to create a lattice-type data structure in Haskell?

Published on
#haskell #ontology #lattice #formal-semantics
228
Views

Why don't I have to declare that x is reusable/duplicable with affine semantics and function types?

Published on
#rust #logic #move-semantics #type-theory #formal-semantics
2.6k
Views

Is static analysis really formal verification?

Published on
#static-analysis #formal-verification #formal-semantics
120
Views

What does InjL and InjR operator means in coq-Iris?

Published on
#coq #formal-verification #formal-semantics
299
Views

How to describe the semantics of a language?

Published on
#semantics #execution #formal-semantics
526
Views

What Is the Difference Between semantic and concept?

Published on
#uml #semantics #semantic-web #formal-semantics
6.1k
Views

What is "formal semantics"?

Published on
#formal-semantics
336
Views

is there a Universal Model for languages?

Published on
#language-agnostic #programming-languages #formal-semantics
88
Views

How to define an expression translator?

Published on
#isabelle #theorem-proving #formal-methods #formal-semantics
1.6k
Views

What is the difference between operational, denotational and axiomatic semantics?

Published on
#programming-languages #computer-science #semantics #formal-semantics
139
Views

Formalise the following requirement in propositional logic using suitable propositions for the component statements

Published on
#formal-languages #formal-verification #formal-methods #formal-semantics
219
Views

How to define a recursive function in Isabelle/HOL?

Published on
#recursion #transformation #isabelle #formal-verification #formal-semantics
112
Views

Given a function in Agda, some argument, and a new value, how to generate new function where the result for this argument will be the new value

Published on
#function-definition #agda #formal-verification #formal-semantics
937
Views

PLT Redex: parameterizing a language definition

Published on
#racket #formal-semantics #plt-redex
332
Views

How do I denote this syntax's semantics?

Published on
#bnf #formal-semantics #denotational-semantics
171
Views

adding variables/types to a typing environment

Published on
#functional-programming #inference #formal-languages #formal-semantics
130
Views

How to go from type theory to first-order logic lambda-expressions

Published on
#types #nlp #nltk #formal-semantics #nltk-book
169
Views

Coq: prove while is equivalent to repeat

Published on
#coq #semantics #coq-tactic #formal-semantics

Trending Questions

Popular # Hahtags

javascript python java c# php android html jquery c++ css ios sql mysql r reactjs node.js arrays c asp.net json python-3.x ruby-on-rails .net sql-server swift django angular objective-c pandas excel

Popular Questions

Copyright © 2021 Jogjafile Inc.