A more formal treatment of a less simple example

Lecture Notes in Computer Science - Program Construction ◽

10.1007/bfb0014650 ◽

2005 ◽

pp. 1-20

Author(s):

Edsger W. Dijkstra

Keyword(s):

Formal Treatment

Download Full-text

For a Formal Treatment of Premonition (V) The New Invariant - Quotients Binomial Distribution

SSRN Electronic Journal ◽

10.2139/ssrn.2828801 ◽

2016 ◽

Author(s):

G. Arcolini ◽

M. Caselli ◽

Marco Maestro

Keyword(s):

Binomial Distribution ◽

Formal Treatment

Download Full-text

For a Formal Treatment of Premonition (VI) Some Conclusive Observations

SSRN Electronic Journal ◽

10.2139/ssrn.2828786 ◽

2016 ◽

Author(s):

G. Arcolini ◽

M. Caselli ◽

Marco Maestro

Keyword(s):

Formal Treatment

Download Full-text

A Formal Treatment of the Pragmatics of Questions and Attitudes*

Linguistics and Philosophy ◽

10.1007/s10988-005-1160-4 ◽

2005 ◽

Vol 28 (5) ◽

pp. 505-539 ◽

Cited By ~ 6

Author(s):

Maria Aloni

Keyword(s):

Formal Treatment

Download Full-text

Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning

Formal Aspects of Computing ◽

10.1007/s001650050011 ◽

1998 ◽

Vol 10 (3) ◽

pp. 193-213 ◽

Cited By ~ 15

Author(s):

J. Dingel ◽

D. Garlan ◽

S. Jha ◽

D. Notkin

Keyword(s):

Formal Treatment

Download Full-text

A Formal Treatment of Deterministic Wallets

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security ◽

10.1145/3319535.3354236 ◽

2019 ◽

Cited By ~ 2

Author(s):

Poulami Das ◽

Sebastian Faust ◽

Julian Loss

Keyword(s):

Formal Treatment

Download Full-text

Garbage collection via dynamic type inference - A formal treatment -

Lecture Notes in Computer Science - Types in Compilation ◽

10.1007/bfb0055520 ◽

1998 ◽

pp. 215-239 ◽

Cited By ~ 1

Author(s):

Haruo Hosoya ◽

Akinori Yonezawa

Keyword(s):

Garbage Collection ◽

Type Inference ◽

Formal Treatment ◽

Dynamic Type

Download Full-text

A formal treatment of the causative constructions in Chinese

Frontiers of Philosophy in China ◽

10.1007/s11466-008-0020-z ◽

2008 ◽

Vol 3 (2) ◽

pp. 307-316

Author(s):

Chongli Zou ◽

Nianxi Xia

Keyword(s):

Formal Treatment ◽

Causative Constructions

Download Full-text

The Jasper Framework: Towards a Platform Independent, Formal Treatment of Web Programming

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.98.5 ◽

2012 ◽

Vol 98 ◽

pp. 31-45

Author(s):

James Smith

Keyword(s):

Formal Treatment ◽

Web Programming

Download Full-text

Interval rough mereology and description logic: An approach to formal treatment of imprecision in the Semantic Web ontologies

Web Intelligence and Agent Systems: An International Journal ◽

10.3233/wia-2008-0135 ◽

2008 ◽

Vol 6 (2) ◽

pp. 157-174 ◽

Cited By ~ 3

Author(s):

Pavel Klinov ◽

Julia M. Taylor ◽

Lawrence J. Mazlack

Keyword(s):

Semantic Web ◽

Description Logic ◽

Formal Treatment

Download Full-text

A Formal Treatment of Context-Awareness

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24721-0_2 ◽

2004 ◽

pp. 12-36 ◽

Cited By ~ 19

Author(s):

Gruia-Catalin Roman ◽

Christine Julien ◽

Jamie Payton

Keyword(s):

Context Awareness ◽

Formal Treatment

Download Full-text