Clang Static Analyzer
The Clang Static Analyzer is a source code analysis tool that finds bugs in C, C++, and Objective-C programs. Currently it can be run either from the command line or if you use macOS then within Xcode. When invoked from the command line, it is intended to be run in tandem with a build of a codebase. The analyzer is 100% open source and is part of the Clang project. Like the rest of Clang, the anal
Objective-C ARC下での強参照、弱参照、循環参照について学ぼう - Qiita
objcにARCが導入されてから久しいですが、開発者がメモリ管理から解放されたかというと、そうでもないです。strongとweakの導入によって、少し抽象化がなされましたが、オブジェクトのallocate/releaseは意識してプログラムする必要があります。この記事は、ARC環境下での強参照/弱参照/循環参照についてイマイチ理解が及ばないという人のための記事であると同時に、私の個人的なまとめでもあります。 循環参照とは？ 循環参照という現象は、私も最初はなかなか理解できませんでした。まず、文字的な定義から言うと、循環参照（retain cycle）とは 「オブジェクト同士がお互いに強い参照を持っているからどちらも解放されない」という現象のことです。 iOSにはObjective-C 2.0のランタイムが実装されていますが、ガベージコレクションは存在しません。理由はよく知らないですがシステ
Separation logic and bi-abduction | Infer
Separation logic Bi-abduction Technical papers Separation logic Separation logic is a novel kind of mathematical logic which facilitates reasoning about mutations to computer memory. It enables scalability by breaking reasoning into chunks corresponding to local operations on memory, and then composing the reasoning chunks together. Separation logic is based on a logical connective \( * \) called
USB-Programming on iPhone
MFI membership is not needed for software developers its only needed for hardware developer. Also what USB port are you referring? are you referring the iPhone's 32 pin connector? You can always send data to hardware device using bluetooth. update 1 - First of all Sorry the code may look complex I am pasting this from my current project. Post comment if you want a sample project. first you need to
Objective-Cの『遅さ』を計測したら、JavaやC++の5倍も遅かった
なお、メモリ消費量はtopコマンドで測ったので、かなり大雑把な数字だ。また、Cで同様の処理のコードを書くと、ほぼC++と同じ速度になる。 追記(2011/02/17 8:50)：Rubyによるベンチマークを追加。 追記(2011/02/17 11:00)：Smalltalkによるベンチマークを追加。ソースコードは「Smalltalkのtは小文字です」のループ回数を修正した。 追記(2011/02/17 16:00)：Perlによるベンチマークを追加。 追記(2011/02/18 10:30)：Java 1.6.0_22で実行した、Scalaによるベンチマークを追加。また、clang/llvmでC++とObjective Cの値を取り直し、改善が見られないのを確認。 追記(2011/02/18 14:30)：Ruby 1.8.7によるベンチマークを追加。1.9.2との速度差については、@IT
【コラム】ダイナミックObjective-C (48) F-Script - CocoaとObjective-Cのスクリプティング環境 | エンタープライズ | マイコミジャーナル
今回は、F-Scriptを紹介しよう。CocoaとObjective-Cを操作する、スクリプティング言語環境だ。もちろん、動的なObjective-Cの特性を利用して、他のアプリケーションへの侵入もできる。オープンソースプロジェクトなので、ソースコードを見れるのもポイントだ。 F-Script言語とインタプリタ まず、F-Scriptでは、独自のスクリプト言語を実装している。言語仕様によれば、文法はSmalltalkをベースにしており、SelfとAPLからも影響を受けているらしい。Smalltalkのように、制御文を使わずに、論理値とブロックを使って記述を行うところが面白い。詳しくは、言語仕様を参照してほしい。 このように、文法はSmalltalkの影響を強く受けているが、ランタイムはObjective-Cと密接な関係がある。F-Scriptにはインタプリタが付属するのだが、ここからObj
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - mchakravarty/language-c-inline: Inline C & Objective-C in Haskell
GitHub - yaakaito/NLTQuickCheck: like haskell quickcheck
NameBright - Coming Soon
Cappuccino Web Framework